Компактификация Бора

Компактификация Бора топологической группы G — это бикомпактная топологическая группа H, которая может быть канонически ассоциирована с группой G. Её важность состоит в сведении теории равномерно почти периодических функций на G к теории непрерывных отображений на H. Концепция названа именем датского математика Харальда Бора, который первым начал изучение почти периодических функций на вещественной прямой.

Определения и основные свойства

Если задана топологическая группа G, компактификация Бора группы G — это бикомпактная топологическая группа $𝐁𝐨𝐡𝐫(G)$ и непрерывный гомоморфизмШаблон:Sfn

$𝐛:G\to 𝐁𝐨𝐡𝐫(G),$

который является универсальным по отношению к гомоморфизмам в бикомпактные группы. Это означает, что если K является другой бикомпактной топологической группой и

$f:G\to K$

является непрерывным гомоморфизмом, то имеется единственный непрерывный гомоморфизм

$𝐁𝐨𝐡𝐫(f):\to K,$

такой что $f=𝐁𝐨𝐡𝐫(f)\circ b$f = Bohr(f) ∘ b.

Теорема. Компактификация Бора существуетШаблон:SfnШаблон:Sfn и единственна с точностью до изоморфизма.

Обозначим компактификацию Бора группы G через $𝐁𝐨𝐡𝐫(G),$ а каноническое отображение через

$𝐛:G\to 𝐁𝐨𝐡𝐫(G).$

Соответствие $G\mapsto 𝐁𝐨𝐡𝐫(G)$ определяет ковариантный функтор на категории топологических групп и непрерывных гомоморфизмов.

Компактификация Бора тесно связана с теорией конечномерных Шаблон:Нп5 топологических групп. Ядро группы b состоит в точности из тех элементов группы G, которые не могут быть отделены от тождественного элемента группы G конечномерным унитарным представлением.

Компактификация Бора сводит также многие проблемы теории почти периодических функций на топологических группах к проблемам функций на компактных группах.

Ограниченная непрерывная комплекснозначная функция f на топологической группе G является однородно почти периодической тогда и только тогда, когда множество правых переносов ${}_{g}f$, где

$[{}_{g}f](x)=f(g^{-1}\cdot x),$

относительно компактно в равномерной топологии при изменении g в G.

Теорема. Ограниченная непрерывная комплекснозначная функция f на G равномерно почти периодична, если существует непрерывная функция $f_1$ на $𝐁𝐨𝐡𝐫(G)$ (единственно определённая), такая что

$f=f_1\circ 𝐛.$Шаблон:Sfn

Максимально почти периодические группы

Топологические группы, для которых отображение компактификации Бора инъективно, называются максимально почти периодическими (МПП группами). В случае, если G локально компактная связная группа, МПП группы полностью определены — это в точности произведение компактных групп на векторные группы конечной размерности.

См. также

• Компактное пространство
• Компактификация
• Множество с отмеченной точкой
• Компактификация Стоуна — Чеха
• Шаблон:Нп5

Литература

• Шаблон:Статья
• Шаблон:Книга

• Шаблон:Springer