Аксиомы отделимости

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

Аксиомы

Введено множество аксиом отделимости, наиболее широко используемых — шесть, обозначаемые соответственно T₀, T₁, T₂, T₃, T_3½, T₄ (от Шаблон:Lang-de); кроме того, иногда используются другие аксиомы и их вариации (R₀, R₁, T_2½, T₅, T₆ и другие).

T₀

Шаблон:Основная статья Шаблон:ЯкорьT₀ (аксиома Колмогорова): для любых двух различных точек $x$ и $y$ по крайней мере одна точка должна иметь окрестность, не содержащую вторую точку.

T₁

Шаблон:ЯкорьT₁ (аксиома Тихонова): для любых двух различных точек $x$ и $y$ должна существовать окрестность точки $x$, не содержащая точку $y$, и окрестность точки $y$, не содержащая точку $x$. Эквивалентное условие: все одноточечные множества замкнуты.

T₂

Шаблон:Основная статья Шаблон:ЯкорьT₂ (аксиома Хаусдорфа): для любых двух различных точек $x$ и $y$ должны найтись непересекающиеся окрестности $U(x)$ и $V(y)$.

T₃

Шаблон:ЯкорьT₃: Для любого замкнутого множества и не содержащейся в нём точки существуют их непересекающиеся окрестности. Эквивалентное условие: для любой точки $x$ и её окрестности $U$ существует окрестность $V$, такая, что $x\in V\subset \overline{V}\subset U$. Иногда в определение аксиомы отделимости T₃ включают требования аксиомы отделимости T₁. Также иногда в определении регулярного пространства не включается требование аксиомы T₁. Регулярное пространство — пространство, удовлетворяющие аксиомам T₁ и T₃.

T_3½

Шаблон:ЯкорьT_3½: для любого замкнутого множества $F$ и не содержащейся в нём точки $a$ существует непрерывная (в данной топологии) числовая функция $f(x)$, заданная на этом пространстве, принимающая значения от $0$ до $1$ на всем пространстве, причем $f(a)=0$ и $f(x)=1$ для всех $x$, принадлежащих $F$. Пространства, удовлетворяющие аксиомам T₁ и T_3½ называются вполне регулярными пространствами или тихоновскими пространствами; при этом иногда выполнение T₁ включают в определение T_3½, а в определении вполне регулярного пространства не включают требование аксиомы T₁ (тогда в определение тихоновского пространства она включается).

T₄

Шаблон:ЯкорьT₄: для любых двух замкнутых непересекающихся множеств существуют их непересекающиеся окрестности. Эквивалентное условие: для любого замкнутого множества $F$ и его окрестности $U$ существует окрестность $V$, такая, что $F\subset V\subset \overline{V}\subset U$ ($\overline{V}$ — замыкание $V$). Нормальное пространство — пространства, удовлетворяющие T₁ и T₄. Иногда в определение T₄ включают требование выполнения T₁, а в определении нормального пространства не включается требование T₁.

Свойства

Некоторые соотношения аксиом отделимости и связанных с ними классов друг с другом:

• $T_0$, $T_1$ и $T_2$ не следуют из остальных аксиом (если в их определение не включается аксиома $T_1$);
• из $T_1$ следует $T_0$;
• регулярные пространства являются хаусдорфовыми;
• вполне регулярные пространства являются регулярными;
• нормальные пространства являются также и вполне регулярными;
• компактные хаусдорфовы пространства являются нормальными.

Литература

• О. Я. Виро, О. А. Иванов, В. М. Харламов и Н. Ю. Нецветаев Задачный учебник по топологии
• Энгелькинг Р. Общая топология: Пер. с англ. — Шаблон:М: Мир, 1986. — 752 с.
• Келли, Дж. Л. Общая топология. — М.: Наука, 1968.
• Шаблон:Книга — статья из математической энциклопедии, автор — В. И. Зайцев