Компактификация Стоуна

Компактификация Стоуна

Компактификация Стоуна — Чеха (также стоун-чеховская или чех-стоунова компактификация) — максимальная компактификация вполне регулярного топологического пространства.

Компактификация Стоуна — Чеха пространства X обычно обозначается как \beta X.

Конструкция

Обозначим через A множество всех непрерывных функций \alpha\colon X\to [0,1]. Можно проверить, что отображение F:X\to [0,1]^A (тихоновский куб), определяемое равенством

x\mapsto (\alpha(x))_{\alpha\in A},

является гомеоморфизмом X на свой образ F(X)\subset [0,1]^A. Замыкание F(X) в [0,1]^A и будет искомой компактификацией.

Свойства

  • Любая непрерывная функция f\colon X\to I=[0,1] продолжается до непрерывной функции \tilde f\colon \beta X\to I.
  • Любое непрерывное отображение f\colon X\to Y в компактное хаусдорфово пространство Y продолжается до непрерывного отображения \tilde f\colon \beta X\to Y.

История

Конструкция компактификации Стоуна — Чеха, была впервые рассмотрена Тихоновым.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Полезное


Смотреть что такое "Компактификация Стоуна" в других словарях:

  • Компактификация — В общей топологии компактификация  операция, которая преобразует произвольные топологические пространства в компактные. Формально компактификация пространства определяется как пара , где компактно, гомеоморфизм на свой образ и плотно в …   Википедия

  • Чехстоунова компактификация — В общей топологии компактификация  операция, которая преобразует произвольные топологические пространства в компактные. Формально компактификация пространства X определяется как пара , где Y компактно, гомеоморфизм на свой образ f(X) и f(X)… …   Википедия

  • БИКОМПАКТНОЕ РАСШИРЕНИЕ — (би)компактификация, расширение топологического пространства, являющееся бикомпактным пространством. Б. р. существуют у любого топологич. пространства, у любого T1 пространства есть Б. р., являющиеся T1 пространствами, но наибольший интерес… …   Математическая энциклопедия

  • Компактное пространство — определённый тип топологических пространств, включающий Все пространства с конечным числом точек; Все замкнутые и ограниченные подмножества евклидова пространства. В топологии компактные пространства по своим свойствам напоминают конечные… …   Википедия

  • Бикомпактное пространство — Компактное пространство это топологическое пространство, в любом покрытии которого открытыми множествами найдётся конечное подпокрытие. В топологии, компактные пространства по своим свойствам напоминают конечные множества в теории множеств.… …   Википедия

  • Компактное множество — Компактное пространство это топологическое пространство, в любом покрытии которого открытыми множествами найдётся конечное подпокрытие. В топологии, компактные пространства по своим свойствам напоминают конечные множества в теории множеств.… …   Википедия

  • Локальная компактность — Компактное пространство это топологическое пространство, в любом покрытии которого открытыми множествами найдётся конечное подпокрытие. В топологии, компактные пространства по своим свойствам напоминают конечные множества в теории множеств.… …   Википедия

  • Локально компактное пространство — Компактное пространство это топологическое пространство, в любом покрытии которого открытыми множествами найдётся конечное подпокрытие. В топологии, компактные пространства по своим свойствам напоминают конечные множества в теории множеств.… …   Википедия

  • Ограниченно компактное пространство — Компактное пространство это топологическое пространство, в любом покрытии которого открытыми множествами найдётся конечное подпокрытие. В топологии, компактные пространства по своим свойствам напоминают конечные множества в теории множеств.… …   Википедия

  • Относительная компактность — Компактное пространство это топологическое пространство, в любом покрытии которого открытыми множествами найдётся конечное подпокрытие. В топологии, компактные пространства по своим свойствам напоминают конечные множества в теории множеств.… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»