Разбиение единицы

Разбиение единицы — конструкция, используемая в топологии для удобства работы с многообразием как с множеством карт.

С помощью разбиения единицы определяется, в частности, интеграл от дифференциальной формы на многообразии.

Конструкция

Пусть дано открытое покрытие топологического пространства $M$ открытыми множествами $D_{\alpha }$. Разбиением единицы, подчиненным покрытию $\{D_{\alpha }\}$, называется набор неотрицательных непрерывных вещественных функций $f_{\beta }$ на $M$, обладающих следующими свойствами:

• $0⩽f_{\beta }⩽1.$
• Носитель каждой из функций $f_{\beta }$ целиком содержится в одном из множеств $D_{\alpha }$.
• Для любой точки $x\in M$ имеем $\sum _{\beta }{f}_{\beta }(x)=1$ (то есть при любом $x\in M$ для не более, чем счётного множества функций $f_{\beta }(x)$ отлично от нуля и ряд $\sum _{i=1}^{\mathrm{\infty }}{f}_{{\beta }_i}(x)$, где $\{{\beta }_1,{\beta }_2,...\}=\{\beta :f_{\beta }(x)\ne 0\}$ сходится к 1. Этот ряд абсолютно сходится, поэтому сумма ряда не зависит от порядка членов).

Если для любой точки $x\in M$ существует окрестность $W\ni x$, такая что пересечение $W\cap \mathrm{s}\mathrm{u}\mathrm{p}\mathrm{p}{f}_{\beta }$ непусто не более чем для конечного числа индексов $\beta$, то такое разбиение единицы называется локально конечным.

Свойства

• Для всякого открытого покрытия паракомпактного [[аксиомы отделимости|Шаблон:Mathпространства]] существует подчинённое ему локально конечное разбиение единицы. Обратно, если для всякого открытого покрытия $T_1$-пространства существует подчинённое ему разбиение единицы, то это пространство паракомпактно.
• Для всякого открытого покрытия $C^{\mathrm{\infty }}$-многообразия, существует подчинённое покрытию конечное или счётное локально конечное разбиение единицы, состоящее из функций класса $C^{\mathrm{\infty }}$.