Совершенное компактное расширение
Соверше́нное компа́ктное расшире́ние, расширение вполне регулярного пространства такое, что замыкание в границы любого открытого множества служит границей , где – максимально открытое в множество, для которого . Эквивалентные требования: а) для любой пары непересекающихся открытых множеств , ; б) если замкнутое множество разбивает на открытые множества и , то замыкание в разбивает на и ; в) ни в одной из своих точек не разбивает локально. Совершенное компактное расширение характеризуется также как монотонный образ компактного расширения Стоуна – Чеха , причём в том и только в том случае является единственным совершенным компактным расширением , когда , где – компакт, а . Локальная связность влечёт локальную связность любого совершенного расширения с 1-й аксиомой счётности (а также расширений, предшествующих ). Среди всех совершенных компактных расширений минимальное совершенное компактное расширение существует тогда и только тогда, когда у имеется хотя бы одно расширение с пунктиформным наростом. Нарост в пунктиформен, причём является при этом максимальным среди всех расширений с пунктиформными наростами. Всякий гомеоморфизм распространяется до гомеоморфизма , а всякое совершенное отображение на продолжается до отображения на (при условии, что существует).