Приложение: компактификация Стоуна–Чеха
[8/0%]Если и для всех из , покажите, что .
Докажите, что подмножество вполне регулярного пространства вполне регулярно.
Восполните недостающие детали доказательства теоремы 6.2 (компактификация Стоуна--Чеха): если вполне регулярно, то существует компактное пространство такое, что
существует непрерывное отображение , обладающее тем свойством, что — гомеоморфизм;
плотно в ;
если , то существует непрерывное отображение такое, что .
Более того, если — компактное пространство, обладающее этими свойствами, то гомеоморфно .
Если вполне регулярно, компактно, а непрерывно, покажите, что существует непрерывное отображение такое, что .
Если вполне регулярно, покажите, что открыто в тогда и только тогда, когда локально компактно.
Пусть наделено дискретной топологией. Пусть — перечисление рациональных чисел из . Пусть иррациональные числа из , и для каждого из пусть — подпоследовательность такая, что . Покажите:
если и , то конечно;
если для каждого из положить замыкание в и , то — попарно непересекающиеся подмножества , являющиеся одновременно открытыми и замкнутыми.
Покажите, что если нормально, , и существует последовательность в такая, что в , то . Если не нормально, остаётся ли результат верным?
Пусть — пространство всех порядковых чисел, меньших первого несчётного порядкового числа, и наделим топологией порядка. Покажите, что одноточечная компактификация . (Соответствующие определения можно найти у Kelley [1955].)