Теорема Хаусдорфа
Учебные материалы


Аксиома Хаусдорфа



Карта сайта natureall.ru

Топологические пространства, в которых выполняется аксиома Хаусдорфа, называют хаусдорфовыми пространствами.

Нетрудно доказать, что любое подпространство хаусдорфова пространства, содержащее не менее двух различных точек, также является хаусдорфовым пространством.

В любом топологическом пространстве можно рассмотреть сходящуюся последовательность точек.

Однако, понятие предела удобно лишь там, где сходящаяся последовательность имеет единственный предел.

Оказывается, аксиома 2 является необходимым и достаточным условием единственности предела сходящейся последовательности.

Пусть в топологическом пространстве (Х, Ф) дана последовательность точек х1, х2, …, хn, … точка х0 называется пределом этой последовательности, если для любой окрестности Ux0 точки х0 найдётся такой номер n0, что для всех n > n0 точки хn Î Ux0 .

При этом последовательность точек {хn} называется сходящейся к точке х0 .

Теорема 2.

В хаусдорфовом пространстве (Х, Ф) сходящаяся последовательность точек {хn} имеет единственный предел.

Доказательство. Допустим, что последовательность точек {хn} имеет два различных предела х0 и у0 . В хаусдорфовом пространстве (Х, Ф) две различные точки имеют непересекающиеся окрестности U и V. По определению предела все члены последовательности точек {хn} , начиная с некоторого номера, должны лежать в U и в V, что невозможно, так как

U Ç V = Æ.

Полученное противоречие доказывает теорему.

Пример 1.

В силу теоремы 2 § 1 любое топологическое пространство, топология которого порождена метрикой, является хаусдорфовым пространством.

Пример 2.

Двуточечное топологическое пространство

Х = , Ф = {Æ, Х, }

не является хаусдорфовым пространством.

Действительно, рассмотрим точки и . Для них нет непересекающихся окрестностей, так как окрестностью точки является сама точка или все Х, а окрестностью точки будет только Х.

Очевидно, Ç Х = и предложение доказано.

Пример 3.

Рассмотрим концентрическое топологическое пространство (Х, Фк). Докажем, что оно не является хаусдорфовым пространством.

Действительно, выберем произвольно две различные точки А и В. Любые окрестности этих точек будут открытыми шарами с центом в точке О. Следовательно, любые окрестности точек А и В пересекаются.

Хаусдорфовым пространством является любое дискретное топологическое пространство, содержащее, по крайней мере, две различные точки. Действительно, любые две различные точки имеют непересекающиеся окрестности, так как этими окрестностями являются сами эти точки.



edu 2018 год. Все права принадлежат их авторам! Главная