Стоуна — Чеха Бикомпактное Расширение

Наибольшее бикомпактное расширение вполне регулярного топологич. пространства X. Построено Э. Чехом [1] и М. Стоуном [2]. Пусть — множество всех непрерывных функций Отображение где является гомеоморфизмом на свой образ. Тогда, но определению, (где — операция замыкания). Для любого бикомпактного расширения bХ существует непрерывное отображение тождественное на X, что и выражается эпитетом лнаибольшее