Хаусдорфово пространство

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

В топологии и смежных разделах математики — хаусдорфово пространство ( / ˈ h aʊ s d ɔːr f / HOWSS -dorf , / ˈ h aʊ z d ɔːr f / HOWZ -dorf ^[1]), разделенное пространство или T ₂ пространство — это топологическое пространство , в котором для любых двух различных точек существуют окрестности каждой, не пересекающиеся друг с другом. Из многих аксиом разделения , которые могут быть наложены на топологическое пространство, «условие Хаусдорфа» (Т ₂ ) является наиболее часто используемым и обсуждаемым. следует единственность пределов последовательностей и , сетей . фильтров Отсюда ^[2]

Пространства Хаусдорфа названы в честь Феликса Хаусдорфа , одного из основоположников топологии. Первоначальное определение топологического пространства, данное Хаусдорфом (в 1914 году), включало условие Хаусдорфа в качестве аксиомы .

Определения

Очки $x$ и $y$ в топологическом пространстве $X$ могут быть разделены окрестностями если существует окрестность , $U$ из $x$ и район $V$ из $y$ такой, что $U$ и $V$ не пересекаются $(U\cap V=\varnothing )$ . $X$ является хаусдорфовым пространством, если любые две различные точки из $X$ разделены кварталами. Это условие является третьей аксиомой отделимости (после T ₀ и T ₁ ), поэтому пространства Хаусдорфа также называют T ₂ пространствами . именем пространство, разделенное Также используется .

Близкое, но более слабое понятие — это предрегулярное пространство . $X$ является предрегулярным пространством, если любые две топологически различимые точки можно разделить непересекающимися окрестностями. также называют R1 _{пространством} Предрегулярное пространство .

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

Эквиваленты

Для топологического пространства $X$ , следующие эквивалентны: ^[2]

$X$ является хаусдорфовым пространством.
Пределы сетей в $X$ уникальны. ^[3]
Ограничения фильтров на $X$ уникальны. ^[3]
Любой одноэлементный набор $\{x\}\subset X$ равно пересечению всех замкнутых окрестностей $x$ . ^[4] (Закрытый район г. $x$ — закрытое множество , содержащее открытое множество, содержащее $x$ .)
Диагональ $\Delta =\{(x,x)\mid x\in X\}$ закрыто пространства как подмножество продукта $X\times X$ .
Любая инъекция из дискретного пространства с двумя точками в $X$ обладает свойством подъема по отношению к отображению конечного топологического пространства с двумя открытыми точками и одной замкнутой точкой в одну точку.

Примеры хаусдорфовых и нехаусдорфовых пространств

Почти все пространства, встречающиеся в анализе, являются хаусдорфовыми; самое главное, действительные числа (в соответствии со стандартной метрической топологией действительных чисел) представляют собой хаусдорфово пространство. В более общем смысле все метрические пространства хаусдорфовы. Фактически, во многих пространствах, используемых в анализе, таких как топологические группы и топологические многообразия , условие Хаусдорфа явно указано в их определениях.

Простым примером топологии, которая является T ₁ , но не является Хаусдорфовой, является коконечная топология, определенная на бесконечном множестве , а также сосчетная топология, определенная на несчетном множестве .

Псевдометрические пространства обычно не являются хаусдорфовыми, но они предрегулярны, и их использование в анализе обычно происходит только при построении калибровочных пространств Хаусдорфа . Действительно, когда аналитики сталкиваются с нехаусдорфовым пространством, оно, вероятно, по крайней мере дорегулярно, а затем просто заменяют его коэффициентом Колмогорова, который является Хаусдорфом. ^[5]

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

Хотя существование уникальных пределов для сходящихся сетей и фильтров подразумевает, что пространство является хаусдорфовым, существуют нехаусдорфовые пространства T ₁ , в которых каждая сходящаяся последовательность имеет уникальный предел. ^[6] Такие пространства называются пространствами США . ^[7] Для секвенциальных пространств это понятие эквивалентно слабому хаусдорфу .

Характеристики

Подпространства и произведения хаусдорфовых пространств являются хаусдорфовыми, но факторпространства хаусдорфовых пространств не обязательно должны быть хаусдорфовыми. Фактически, любое топологическое пространство можно реализовать как фактор некоторого хаусдорфова пространства. ^[8]

Пространства Хаусдорфа имеют вид T ₁ , что означает, что каждый одноэлементный элемент является замкнутым множеством. Аналогично, предрегулярные пространства — это R ₀ . Каждое хаусдорфово пространство является пространством Трезвия, хотя обратное, вообще говоря, неверно.

Другое свойство хаусдорфовых пространств состоит в том, что каждый компакт является замкнутым множеством. Для нехаусдорфовых пространств может быть так, что каждый компакт является замкнутым множеством (например, косчетная топология на несчетном множестве) или нет (например, коконечная топология на бесконечном множестве и пространство Серпинского ).

Определение хаусдорфова пространства гласит, что точки могут быть разделены окрестностями. Оказывается, из этого следует нечто, казалось бы, более сильное: в хаусдорфовом пространстве каждая пара непересекающихся компактов также может быть разделена окрестностями, ^[9] другими словами, существует окрестность одного множества и окрестность другого множества, причем эти две окрестности не пересекаются. Это пример общего правила, согласно которому компакты часто ведут себя как точки.

Условия компактности вместе с предрегулярностью часто подразумевают более сильные аксиомы разделения. Например, любое локально компактное предрегулярное пространство вполне регулярно . ^[10]^[11] Компактные предрегулярные пространства нормальны , ^[12] это означает, что они удовлетворяют лемме Урысона и теореме расширения Титце и имеют разбиения единицы, подчиненные локально конечным открытым покрытиям . Хаусдорфовые версии этих утверждений таковы: каждое локально компактное хаусдорфово пространство является тихоновским , а каждое компактное хаусдорфово пространство является нормальным хаусдорфовым.

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

Позволять $f\colon X\to Y$ — непрерывная функция и предположим, что $Y$ является Хаусдорф. Тогда график $f$ , $\{(x,f(x))\mid x\in X\}$ , является закрытым подмножеством $X\times Y$ .

Позволять $f\colon X\to Y$ быть функцией и пусть $\ker(f)\triangleq \{(x,x')\mid f(x)=f(x')\}$ быть его ядром, рассматриваемым как подпространство $X\times X$ .

Если $f$ является непрерывным и $Y$ тогда Хаусдорф $\ker(f)$ представляет собой закрытое множество.
Если $f$ является открытой сюръекцией и $\ker(f)$ является замкнутым множеством, тогда $Y$ является Хаусдорф.
Если $f$ является непрерывной открытой сюръекцией (т. е. открытым фактор-отображением), тогда $Y$ является Хаусдорфом тогда и только тогда, когда $\ker(f)$ представляет собой закрытое множество.

Если $f,g\colon X\to Y$ являются непрерывными картами и $Y$ является Хаусдорфом, то эквалайзер ${\mbox{eq}}(f,g)=\{x\mid f(x)=g(x)\}$ представляет собой закрытое множество в $X$ . Отсюда следует, что если $Y$ это Хаусдорф и $f$ и $g$ договориться о плотном подмножестве $X$ затем $f=g$ . Другими словами, непрерывные функции в хаусдорфовых пространствах определяются своими значениями на плотных подмножествах.

Позволять $f\colon X\to Y$ быть замкнутой сюръекцией такой, что $f^{-1}(y)$ компактен всех для $y\in Y$ . Тогда, если $X$ Хаусдорф такой $Y$ .

Позволять $f\colon X\to Y$ быть факторкартой с $X$ компактное хаусдорфово пространство. Тогда следующие условия эквивалентны:

$Y$ является Хаусдорф.
$f$ это закрытая карта .
$\ker(f)$ представляет собой закрытое множество.

Предрегулярность против регулярности

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

Есть много ситуаций, когда другое условие топологических пространств (например, паракомпактность или локальная компактность ) будет подразумевать регулярность, если предрегулярность удовлетворена. Такие условия часто бывают двух версий: обычная версия и версия Хаусдорфа. Хотя хаусдорфово пространство, вообще говоря, не является регулярным, хаусдорфово пространство, которое также (скажем) локально компактно, будет регулярным, поскольку любое хаусдорфово пространство предрегулярно. Таким образом, с определенной точки зрения в таких ситуациях действительно важна предрегулярность, а не регулярность. Однако определения обычно по-прежнему формулируются в терминах регулярности, поскольку это условие более известно, чем предрегулярность.

см. в разделе «История аксиом разделения» Дополнительную информацию по этому вопросу .

Варианты

Термины «Хаусдорф», «отделенный» и «предрегулярный» также могут быть применены к таким вариантам топологических пространств, как равномерные пространства , пространства Коши и пространства сходимости . Характеристика, объединяющая концепцию во всех этих примерах, состоит в том, что пределы сетей и фильтров (если они существуют) единственны (для разделенных пространств) или единственны с точностью до топологической неотличимости (для предрегулярных пространств).

Как оказывается, равномерные пространства и, в более общем смысле, пространства Коши всегда предрегулярны, поэтому условие Хаусдорфа в этих случаях сводится к _{условию T0} . Это также пространства, в которых полнота имеет смысл, и в этих случаях хаусдорфовость является естественным спутником полноты. В частности, пространство является полным тогда и только тогда, когда каждая сеть Коши имеет хотя бы один предел, в то время как пространство является Хаусдорфовым тогда и только тогда, когда каждая сеть Коши имеет не более одного предела (поскольку только сети Коши могут иметь пределы).

Алгебра функций

Алгебра непрерывных (вещественных или комплексных) функций на хаусдорфовом пространстве является коммутативной C*-алгеброй , и наоборот, по теореме Банаха–Стоуна можно восстановить топологию пространства по алгебраическим свойствам его алгебры непрерывных функций. Это приводит к некоммутативной геометрии , где некоммутативные C*-алгебры рассматриваются как представляющие алгебры функций в некоммутативном пространстве.

Академический юмор

Условие Хаусдорфа иллюстрируется каламбуром, согласно которому в пространствах Хаусдорфа любые две точки могут быть «отделены» друг от друга открытыми множествами . ^[13]
В Математическом институте Боннского университета , в котором Феликс Хаусдорф проводил исследования и читал лекции, есть некая комната, получившая название « Хаусдорф-Раум» . Это каламбур , поскольку Раум по-немецки означает и комнату , и пространство .

См. также

Пространство с неподвижной точкой - Пространство, в котором все функции имеют неподвижные точки, хаусдорфово пространство X такое, что каждая непрерывная функция $f : X \to X$ имеет фиксированную точку.
Локально Хаусдорфово пространство
Нехаусдорфово многообразие - обобщение многообразий.
Квазитопологическое пространство - множество X, снабженное функцией, которая сопоставляет каждому компакту Хаусдорфа K набор карт K→C, удовлетворяющих определенным естественным условиям.
Аксиома разделения - аксиомы топологии, определяющие понятие «разделения».
Слабое пространство Хаусдорфа - концепция алгебраической топологии.

Примечания

^ «Определение и значение хаусдорфова пространства» . www.dictionary.com . Проверено 15 июня 2022 г.
^ Jump up to: ^а ^б «Аксиомы разделения в nLab» . ncatlab.org .
^ Jump up to: ^а ^б Уиллард 2004 , стр. 86–87.
^ Бурбаки 1966 , с. 75
^ См., например, пространство Lp # пространства Lp и интегралы Лебега , компакт Банаха – Мазура и т. д.
^ ван Даувен, Эрик К. (1993). «Антихаусдорфово пространство Фреше, в котором сходящиеся последовательности имеют уникальные пределы» . Топология и ее приложения . 51 (2): 147–158. дои : 10.1016/0166-8641(93)90147-6 .
^ Вилански, Альберт (1967). «Между Т ₁ и Т ₂ ». Американский математический ежемесячник . 74 (3): 261–266. дои : 10.2307/2316017 . JSTOR 2316017 .
^ Шимрат, М. (1956). «Пространства разложения и свойства разделения». Ежеквартальный математический журнал . 2 : 128–129. дои : 10.1093/qmath/7.1.128 .
^ Уиллард 2004 , стр. 124.
^ Шехтер 1996 , 17.14(d), с. 460.
^ «Локально компактные предрегулярные пространства вполне регулярны» . math.stackexchange.com .
^ Шехтер 1996 , 17.7(g), с. 457.
^ Адамс, Колин ; Францоза, Роберт (2008). Введение в топологию: чистую и прикладную . Пирсон Прентис Холл . п. 42. ИСБН 978-0-13-184869-6 .

Ссылки

Arkhangelskii, A.V.; Pontryagin, L.S. (1990). General Topology I . Springer . ISBN 3-540-18178-4 .
Бурбаки (1966). Элементы математики: Общая топология . Аддисон-Уэсли .
«Хаусдорфово пространство» , Математическая энциклопедия , EMS Press , 2001 [1994]
Шехтер, Эрик (1996). Справочник по анализу и его основам . Сан-Диего, Калифорния: Academic Press. ISBN 978-0-12-622760-4 . OCLC 175294365 .
Уиллард, Стивен (2004). Общая топология . Дуврские публикации . ISBN 0-486-43479-6 .

[1] «Определение и значение хаусдорфова пространства» . www.dictionary.com . Проверено 15 июня 2022 г.

[ncatlab-2] Jump up to: ^а ^б «Аксиомы разделения в nLab» . ncatlab.org .

[Willard04_86_7-3] Jump up to: ^а ^б Уиллард 2004 , стр. 86–87.

[4] Бурбаки 1966 , с. 75

[5] См., например, пространство Lp # пространства Lp и интегралы Лебега , компакт Банаха – Мазура и т. д.

[6] ван Даувен, Эрик К. (1993). «Антихаусдорфово пространство Фреше, в котором сходящиеся последовательности имеют уникальные пределы» . Топология и ее приложения . 51 (2): 147–158. дои : 10.1016/0166-8641(93)90147-6 .

[7] Вилански, Альберт (1967). «Между Т ₁ и Т ₂ ». Американский математический ежемесячник . 74 (3): 261–266. дои : 10.2307/2316017 . JSTOR 2316017 .

[8] Шимрат, М. (1956). «Пространства разложения и свойства разделения». Ежеквартальный математический журнал . 2 : 128–129. дои : 10.1093/qmath/7.1.128 .

[9] Уиллард 2004 , стр. 124.

[FOOTNOTESchechter199617.14(d),_p._460-10] Шехтер 1996 , 17.14(d), с. 460.

[11] «Локально компактные предрегулярные пространства вполне регулярны» . math.stackexchange.com .

[FOOTNOTESchechter199617.7(g),_p._457-12] Шехтер 1996 , 17.7(g), с. 457.

[13] Адамс, Колин ; Францоза, Роберт (2008). Введение в топологию: чистую и прикладную . Пирсон Прентис Холл . п. 42. ИСБН 978-0-13-184869-6 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

v т и Топология
Поля	Общий (набор точек) алгебраический комбинаторный Континуум Дифференциал Геометрический низкоразмерный Гомология когомологии теоретико-множественный Цифровой
Ключевые понятия	Открытый набор / Закрытый набор Интерьер Непрерывность Космос компактный подключен Хаусдорф метрика униформа Гомотопия гомотопическая группа фундаментальная группа Симплициальный комплекс комплекс ХО Полиэдрический комплекс Коллектор Связка (математика) Второе счетное пространство Кобордизм
Метрики и свойства	Эйлерова характеристика Номер Бетти Номер обмотки Число Черна Ориентируемость
Ключевые результаты	Банахова теорема о неподвижной точке Когомологии Де Рама Инвариантность домена Гипотеза Пуанкаре Теорема Тихонова Лемма Урысона
Категория Математический портал Викибук Викиверситет Темы общий алгебраический геометрический Публикации