Аксиомы отделимости | это... Что такое Аксиомы отделимости? (original) (raw)

Определению топологического пространства удовлетворяет широкий класс множеств. В частности, оно включает пространства, топология которых мало похожа на топологию метрического пространства. Поэтому, на топологические пространства часто налагают дополнительные требования, в частности, аксиомы отделимости.

Известно множество аксиом отделимости, кроме как по имени, они обозначаются с помощью символов T0, T1, T2, T3, T3½, T4 и т. д. Буква T в этих обозначениях происходит от нем. Trennungsaxiom, что означает аксиома отделимости.

Содержание

T0 — аксиома Колмогорова

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

T1 — аксиома Тихонова

Для любых двух различных точек x и y должна существовать окрестность точки x, не содержащая точку y и окрестность точки y, не содержащая точку x.

T2 — аксиома Хаусдорфа

Для любых двух различных точек x и y должны найтись непересекающиеся окрестности U(x) и V(y).

T3

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

Пространства, удовлетворяющие аксиомам T1 и T3, называются регулярными пространствами.

T3½

Для любого замкнутого множества и не содержащейся в нем точки существует непрерывная числовая функция, равная нулю на множестве и единице в точке. Пространства, удовлетворяющие аксиомам T1 и T3½ называются вполне регулярными пространствами или тихоновскими пространствами.

T4

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

Пространства, удовлетворяющие аксиомам T1 и T4, называются нормальными пространствами.

Свойства

Литература

См. также