Компактификация: различия между версиями
Dmitri83 (обсуждение | вклад) начало |
(нет различий)
|
Версия от 07:12, 6 апреля 2006
В общей топологии компактификация это операция, которая преобразует произвольные топологические пространства в компактные.
Формально компактификация пространства определяется как пара , где компактно, гомеоморфизм и плотно в .
На компактификациях некоторого фиксированного пространства можно ввести частичный порядок. Положим для двух компактификаций , , если существует непрерывное отображение такое, что . Максимальный (с точностью до гомеоморфизма) элемент в этом порядке называется компактификацией Стоуна-Чеха и обозначается . Для того, чтобы у пространства существовала компактификация Стоуна-Чеха, удовлетворяющая аксиоме отделимости Хаусдорфа, достаточно, чтобы удовлетворяло аксиоме отделимости .
Одноточечная компактификация (или компактификация Александрова) устроена следующим образом. Пусть и открытыми множествами в считаются все открытые множества , а также множества вида , где имеет компактное (в ) дополнение. берётся как естественное вложение в . тогда компактификация, причём хаусдорфово тогда и только тогда, когда хаусдорфово и локально компактно.