Нормальное пространство

Чтобы узнать о нормальном векторном пространстве, см. нормальное (геометрия) .

Аксиомы разделения в топологических пространствах
Колмогорова Классификация
Т 0	(Kolmogorov)
Т 1	(Фреше)
Т 2	(Хаусдорф)
T 2 ½	(Урысон)
полностью Т 2	(полностью Хаусдорф)
TТ3	(обычный Хаусдорф)
T 3½	(Тихонов)
Т 4	(обычно Хаусдорф)
TТ5	(совершенно нормально Хаусдорф)
TТ6	(совершенно нормально Хаусдорф)
История

В топологии и смежных разделах математики нормальное пространство — это топологическое пространство X , которое удовлетворяет аксиоме T ₄ : каждые два непересекающихся замкнутых множества X имеют непересекающиеся открытые окрестности . Нормальное хаусдорфово пространство также называют Т ₄ пространством . Эти условия являются примерами аксиом отделимости , а их дальнейшее усиление определяет вполне нормальные хаусдорфовы пространства , или Т ₅ пространства , и совершенно нормальные хаусдорфовы пространства , или Т ₆ пространства .

Определения

Топологическое пространство X является нормальным пространством , если для любых замкнутых множеств E и F существуют окрестности U E и , V F непересекающихся которые также не пересекаются. Более интуитивно это условие говорит о том, что E и F могут быть разделены окрестностями .

Замкнутые множества E и F , представленные здесь закрытыми дисками на противоположных сторонах изображения, разделены соответствующими окрестностями U и V , представленными здесь более крупными, но все еще непересекающимися открытыми дисками.

Пространство T ₄ , — это T ₁ пространство X которое является нормальным; это эквивалентно тому, что X является нормальным и Хаусдорфом .

, Совершенно нормальное пространство или наследственно нормальное пространство это топологическое пространство X такое, что каждое подпространство X — является нормальным пространством. Оказывается, X совершенно нормально тогда и только тогда, когда любые два разделенных множества можно разделить окрестностями. Кроме того, X полностью нормально тогда и только тогда, когда каждое открытое подмножество X нормально с топологией подпространства.

Пространство T ₅ X , или полностью _{T 4} пространство , является вполне нормальным _{T 1} пространством X , из чего следует, что хаусдорфово ; эквивалентно, каждое подпространство X должно быть _{пространством T4} .

— Совершенно нормальное пространство это топологическое пространство. $X$ в котором каждые два непересекающихся замкнутых множества $E$ и $F$ можно точно разделить функцией в том смысле, что существует непрерывная функция $f$ от $X$ к интервалу $[0,1]$ такой, что $f^{-1}(0)=E$ и $f^{-1}(1)=F$. Это более сильное свойство разделения, чем нормальность, поскольку по лемме Урысона непересекающиеся замкнутые множества в нормальном пространстве могут быть разделены функцией в смысле $E\subseteq f^{-1}(0)$ и $F\subseteq f^{-1}(1)$, но не точно разделены вообще. Оказывается, совершенно нормально тогда и только тогда, когда X нормально и каждое замкнутое множество является Gδ _X множеством . Эквивалентно, X совершенно нормально тогда и только тогда, когда каждое замкнутое множество является нулевым множеством непрерывной функции . Эквивалентность между этими тремя характеризациями называется теоремой Веденисова . Каждое совершенно нормальное пространство совершенно нормально, потому что идеальная нормальность — наследственное свойство .

Пространство Т6 _. совершенно , или пространство Т4 _{является} , совершенно нормальным пространством Хаусдорфа

Обратите внимание, что термины «нормальное пространство» и «Т ₄ » и производные понятия иногда имеют разное значение. (Тем не менее, «Т ₅ » всегда означает то же самое, что и «полностью Т ₄ », каким бы оно ни было.) Приведенные здесь определения обычно используются сегодня. Подробнее об этом вопросе см. в разделе « История аксиом разделения» .

В литературе также встречаются такие термины, как «нормальное регулярное пространство » и «нормальное пространство Хаусдорфа» — они просто означают, что пространство является нормальным и удовлетворяет другому упомянутому условию. В частности, нормальное Хаусдорфово пространство — это то же самое, что и _{пространство Т4} . Учитывая историческую путаницу значений терминов, словесные описания, когда это применимо, полезны, то есть «нормальный Хаусдорф» вместо «Т ₄ » или «совершенно нормальный Хаусдорф» вместо «Т ₅ ».

Полностью нормальные пространства и полностью T4 _- пространства обсуждаются в другом месте; они связаны с паракомпактностью .

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

Примеры обычных пространств

Большинство пространств, встречающихся в математическом анализе, являются нормальными пространствами Хаусдорфа или, по крайней мере, нормальными регулярными пространствами:

• Все метрические пространства (и, следовательно, все метризуемые пространства ) совершенно нормальны Хаусдорфовы;
• Все псевдометрические пространства (и, следовательно, все псевдометризуемые пространства ) совершенно нормальны и регулярны, хотя, вообще говоря, не по Хаусдорфу;
• Все компакты Хаусдорфа нормальны;
• В частности, компактификация Стоуна-Чеха тихоновского пространства является нормальной Хаусдорфовой;
• Обобщая приведенные выше примеры, все паракомпактные хаусдорфовы пространства нормальны, а все паракомпактные регулярные пространства нормальны;
• Все паракомпактные топологические многообразия совершенно нормальны по Хаусдорфу. Однако существуют непаракомпактные многообразия, которые даже не являются нормальными.
• Все порядковые топологии на полностью упорядоченных множествах наследственно нормальны и хаусдорфовы.
• Каждое регулярное пространство со счетом во второй раз вполне нормально, и каждое регулярное пространство Линделефа нормально.

Кроме того, все полностью нормальные пространства нормальны (даже если и не регулярны). Пространство Серпинского — пример нормального пространства, которое не является регулярным.

Примеры ненормальных пространств

Важным примером ненормальной топологии является топология Зарисского на алгебраическом многообразии или на спектре кольца , которая используется в алгебраической геометрии .

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

Свойства

Каждое замкнутое подмножество нормального пространства нормально. Непрерывный и замкнутый образ нормального пространства нормален.

Основное значение нормальных пространств заключается в том, что они допускают «достаточное количество» вещественнозначных функций непрерывных , что выражается следующими теоремами, справедливыми для любого нормального X. пространства

Лемма Урысона :Если A и B — два непересекающихся замкнутых подмножества X , то существует непрерывная функция f от X до вещественной прямой R такая, что f ( x ) = 0 для всех x в A и f ( x ) = 1 для всех x в Б. ​Фактически, мы можем считать, что значения f полностью находятся в пределах единичного интервала [0,1]. Проще говоря, непересекающиеся замкнутые множества разделены не только окрестностями, но и функцией .

В более общем смысле, теорема о расширении Титце :Если A — замкнутое подмножество X и f — непрерывная функция от A до R , то существует непрерывная функция F : X → R , которая расширяет f в том смысле, что F ( x ) = f ( x ) для всех x в А. ​

Карта $\emptyset \rightarrow X$ обладает свойством подъема по отношению к отображению некоторого конечного топологического пространства с пятью точками (двумя открытыми и тремя замкнутыми) в пространство с одной открытой и двумя закрытыми точками.

Если U — локально конечное открытое покрытие нормального пространства X , то существует разбиение единицы, подчиненное U. точно Это показывает связь нормальных пространств с паракомпактностью .

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

Произведение нормальных пространств не обязательно является нормальным. Этот факт впервые доказал Роберт Соргенфри . Примером такого явления является плоскость Соргенфрея . Фактически, поскольку существуют пространства, которые являются Даукером , произведение нормального пространства и [0, 1] не обязательно должно быть нормальным. Кроме того, подмножество нормального пространства не обязательно должно быть нормальным (т.е. не каждое нормальное хаусдорфово пространство является полностью нормальным хаусдорфовым пространством), поскольку каждое тихоновское пространство является подмножеством его компактификации Стоуна-Чеха (которая является нормальным хаусдорфовым пространством). Более явный пример — Тихоновская планка . Единственный большой класс пространств-произведений нормальных пространств, которые, как известно, являются нормальными, — это произведения компактных хаусдорфовых пространств, поскольку и компактность ( теорема Тихонова ), и аксиома Т ₂ сохраняются при произвольных произведениях.

Отношения с

Если нормальное пространство равно , _R0 то оно на самом деле совершенно регулярно .Таким образом, все, от «нормального R ₀ » до «нормального, полностью регулярного», — это то же самое, что мы обычно называем нормальным регулярным .Взяв фактор Колмогорова что все нормальные T ₁ пространства тихоновы , мы видим , .Это то, что мы обычно называем нормальными пространствами Хаусдорфа .

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

Контрпримеры к некоторым вариациям этих утверждений можно найти в списках выше.В частности, пространство Серпинского нормально, но не регулярно, а пространство функций из R в себя тихоновское, но ненормальное.

См. также

• Коллекционное нормальное пространство - свойство топологических пространств, более сильное, чем нормальность.
• Монотонно нормальное пространство - свойство топологических пространств сильнее нормальности.

Ссылки

• Энгелькинг, Рихард , Общая топология , Heldermann Verlag, Берлин, 1989. ISBN   3-88538-006-4
• Кемото, Нобуюки (2004). «Аксиомы высшего разделения». В КП Харт; Дж. Нагата; Дж. Э. Воган (ред.). Энциклопедия общей топологии . Амстердам: Elsevier Science . ISBN  978-0-444-50355-8 .
• Манкрес, Джеймс Р. (2000). Топология (2-е изд.). Прентис-Холл . ISBN  978-0-13-181629-9 .
• Соргенфри, Р.Х. (1947). «О топологическом произведении паракомпактов» . Бык. амер. Математика. Соц . 53 (6): 631–632. дои : 10.1090/S0002-9904-1947-08858-3 .
• Стоун, АХ (1948). «Паракомпактность и продуктовые пространства» . Бык. амер. Математика. Соц . 54 (10): 977–982. дои : 10.1090/S0002-9904-1948-09118-2 .
• Уиллард, Стивен (1970). Общая топология . Ридинг, Массачусетс: Аддисон-Уэсли. ISBN  978-0-486-43479-7 .