Хаусдорфово пространство
Материал из Википедии — свободной энциклопедии
В разделе математики под названием общая топология хаусдорфовыми пространствами называются топологические пространства, удовлетворяющие сильной аксиоме отделимости. Названы в честь Ф. Хаусдорфа, одного из основоположников общей топологии. Его первоначальное определение топологического пространства включало в себя требование, которое теперь называется хаусдорфовостью. Иногда для обозначения структуры хаусдорфового топологического пространства на множестве применяется термин хаусдорфова топология.
[править] Определение
Топологическое пространство X называется хаусдорфовым, если любые две различных точки x, y из X обладают непересекающимися окрестностями U(x), V(y).
[править] Примеры и контрпримеры
- Хаусдорфовы
- Хаусдорфовыми являются все метрические пространства и метризуемые пространства, в частности:
- евклидовы пространства
- многообразия
- большинство используемых в в анализе бесконечномерных функциональных пространств, таких, как Lp или
,
.
- евклидовы пространства
- По определению, топологические группы являются хаусдорфовыми.
- Хаусдорфовыми являются все метрические пространства и метризуемые пространства, в частности:
- Нехаусдорфовы
- Не является хаусдорфовой, например, топология Зариского на алгебраическом многообразии.
- Нехаусдорфов, вообще говоря, спектр кольца.
- Простейший (и важный) пример нехаусдорфова пространства — связное двоеточие, а в более общем случае — алгебры Гейтинга.
[править] Свойства
- Единственность предела последовательности (в более общем случае — фильтра), если таковой предел существует.
- Свойство, равносильное определению хаусдорфовости топологии, — замкнутость диагонали
в декартовом квадрате
пространства X.
- В хаусдорфовом пространстве замкнуты все его точки (т.е. одноточечные множества).
- Подпространство и декартово произведение хаусдорфовых пространств тоже хаусдорфовы.
- Вообще говоря, хаусдорфовость не передаётся факторпространствам.