Розбиття одиниці

У математиці розбиттям одиниці топологічного простору Шаблон:Tmath називають сімейство неперервних функцій з Шаблон:Tmath в одиничний інтервал одиничний інтервал $[0,1]$, які задовольняють для довільної точки $x\in X$ наступним умовам:

• існує окіл точки Шаблон:Tmath в якому всі, окрім скінченного числа, функції з Шаблон:Tmath дорівнюють нулю
• сума всіх значень функцій в точці Шаблон:Tmath дорівнює 1, тобто $\sum _{\rho \in R}\rho (x)=1.$

Розбиття одиниці на колі породжене чотирма функціями. Коло розгорнуто у відрізок (жирна лінія знизу) для наглядності. Пунктирна лінія зверху є сумою функцій розбиття.

Розбиття одиниці є важливим, оскільки у багатьох випадках дозволяє продовжити локальні конструкції на весь простір. Також розбиття одиниці використовують при інтерполяції інформації, обробці сигналів обробці сигналів та теорії сплайнів.

Існування

Для існування розбиття одиниці розрізняють два підходи:

1. Нехай $\{U_i{\}}_{i\in I}$ - деяке відкрите покриття Шаблон:Tmath, тоді існує розбиття $\{{\rho }_i{\}}_{i\in I}$, проіндексоване тією ж множиною Шаблон:Tmath таке, що $\mathrm{supp}{\rho }_i\subseteq U_i$. Подібне розбиття називають підпорядкованим відкритому покриттю $\{U_i{\}}_{i\in I}$.
2. Якщо простір є локально компактним та задано деяке відкрите покриття $\{U_i{\}}_{i\in I}$, то існує розбиття $\{{\rho }_j{\}}_{j\in J}$ проіндексоване, можливо іншою множиною індексів Шаблон:Tmath, таке що кожна функція ${\rho }_j$ має Шаблон:Нп і для кожного $j\in J$, $\mathrm{supp}{\rho }_j\subseteq U_i$ для деякого $i\in I$.

Отже, або обираємо носії проіндексовані відкритим покриттям, або компактні носії. Якщо простір є компактним, то існують розбиття, які задовольняють обом умовам.

Для скінчених покриттів завжди існує неперервне розбиття одиниці підпорядковане цьому покриттю, якщо відповідний простір є локально компактним та Гаусдорфовим.

Для існування розбиття яке є підпорядкованим довільному відкритому покриттю, простір має бути паракомпактним. В їх побудові використовуються Шаблон:Нп(функції з "горбиком"), котрі існують на гладких але не аналітичних многовидах. Таким чином для відкритого покриття аналітичного многовиду не існує відповідного аналітичного розбиття яке було б підпорядковане цьому покриттю. Див. аналітичне продовження.

Якщо Шаблон:Tmath та Шаблон:Tmath - розбиття одиниці для просторів Шаблон:Tmath та Шаблон:Tmath відповідно, то множина всіх пар $\{\rho \otimes \tau :\rho \in R,\tau \in T\}$ є розбиттям одиниці декартового добутку $X\times Y$. Тензорний добуток функцій має вигляд $(\rho \otimes \tau )(x,y)=\rho (x)\tau (y)$.

Приклад

Ми можемо побудувати розбиття одиниці на $S^1$ розглянувши карту навколо точки $q\in S^1$ з областю визначення $S^1\setminus \{p\}$. Далі, нехай $\mathrm{\Phi }$ функція з горбиком визначена на $ℝ$ наступним чином

$\mathrm{\Phi }(x)=\{\begin{array}{cc}\exp \left(\frac{1}{x^2-1}\right)& x\in (-1,1)\\ 0& \text{в іншому випадку}\end{array}$

тоді функція $\mathrm{\Phi }$ та $1-\mathrm{\Phi }$ можуть бути продовжені єдиним чином на $S^1$ задавши $\mathrm{\Phi }(p)=0$. Тоді множина $\{(S^1\setminus \{p\},\mathrm{\Phi })$, $(S^1\setminus \{q\},1-\mathrm{\Phi })\}$ є розбиттям одиниці над $S^1$.

Варіанти означення

Інколи використовують більш слабке означення: достатньо щоб сума значень функцій у вибраній точці була додатною, на відміну від 1, для кожної точки простору. При цьому, якщо є подібна сім'я функцій $\{{\psi }_i{\}}_{i=1}^{\mathrm{\infty }}$ то ми можемо отримати розбиття одиниці в строгому сенсі поділивши на суму $\sigma (x):=\sum _{i=1}^{\mathrm{\infty }}{\psi }_i(x)$, отримане розбиття $\{{\sigma }^{-}1{\psi }_i{\}}_{i=1}^{\mathrm{\infty }}$ є коректно означеним так як в кожній точці лише скінчена кількість доданків є ненульовою. Більше того, деякі автори опускають умову локальної скінченності носіїв, вимагаючи лише щоб $\sum _{i=1}^{\mathrm{\infty }}{\psi }_i(x)<\mathrm{\infty }$ для всіх точок Шаблон:Tmath.

Застосування

Розбиття одиниці можуть бути використані для визначення інтегралу (відносно форми об'єму) функції визначеної на многовиді: спочатку ми означити інтеграл для функції чий носій повністю міститься в локальній карті; після цього будується розбиття одиниці для того щоб означити інтеграл для довільної функції; нарешті ми можемо показати що визначення не залежить від вибору розбиття.

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

Метод перевалу використовує розбиття одиниці для побудови асимптотик для інтегралів.

Шаблон:Нп є прикладом практичного застосування розбиття одиниці для розділення вхідного сигналу на два сигнали високої та низької частоти.

Поліноми Бернштейна фіксованої степені Шаблон:Tmath є сімейством $m+1$ лінійно незалежних поліномів, які є прозбиттям одиниці на відрізку $[0,1]$.

Розбиття одиниці застосовуються для визначення глобальних гладких апроксимацій для функцій Соболєва на обмежених областях визначення

Див. також

• Шаблон:Нп
• Шаблон:Нп
• Шаблон:Нп

Джерела

• Шаблон:Ляшко.Ємельянов.Боярчук.Математичний аналіз.ч2
• Шаблон:MathWorld