Аксиомы разделения в топологических пространствах | |
---|---|
классификация Колмогорова | |
Т 0 | (Колмогоров) |
Т 1 | (Фреше) |
Т 2 | (Хаусдорф) |
Т 2 ½ | (Урысон) |
полностью Т 2 | (полностью Хаусдорф) |
Т 3 | (обычный Хаусдорф) |
Т 3½ | (Тихонов) |
Т 4 | (нормальный Хаусдорф) |
Т 5 | (совершенно нормальный Хаусдорф) |
Т 6 | (совершенно нормальный Хаусдорф) |
В математике , в частности в топологии , топологическое пространство X является локально нормальным , если интуитивно оно выглядит локально как нормальное пространство . [1] Точнее, локально нормальное пространство удовлетворяет свойству, что каждая точка пространства принадлежит окрестности пространства , которая является нормальной относительно топологии подпространства .
Топологическое пространство X называется локально нормальным тогда и только тогда, когда каждая точка x пространства X имеет окрестность , которая является нормальной относительно топологии подпространства . [2]
Обратите внимание, что не каждая окрестность x должна быть нормальной, но по крайней мере одна окрестность x должна быть нормальной (в топологии подпространства).
Однако следует отметить, что если бы пространство называлось локально нормальным тогда и только тогда, когда каждая точка пространства принадлежала подмножеству пространства, которое было бы нормальным в топологии подпространства, то каждое топологическое пространство было бы локально нормальным. Это потому, что синглтон { x } является пусто нормальным и содержит x . Поэтому определение более ограничительное.
Чех, Эдуард (1937). «О бикомпактных пространствах». Annals of Mathematics . 38 (4): 823–844. doi :10.2307/1968839. ISSN 0003-486X. JSTOR 1968839.