В топологии и смежные отраслях математики , A хаусдорфовым , разделенное пространство или T 2 пространства является топологическим пространством , где для любых двух различных точек существует окрестности каждого , которые пересекаются друг от друга. Из многих аксиом разделения, которые могут быть наложены на топологическое пространство, «условие Хаусдорфа» (T 2 ) является наиболее часто используемым и обсуждаемым. Это подразумевает единственность пределов от последовательностей , сеток и фильтров . [1]
Аксиомы сепарации в топологических пространствах | |
---|---|
Классификация Колмогорова | |
Т 0 | (Колмогоров) |
Т 1 | (Фреше) |
Т 2 | (Хаусдорф) |
Т 2 ½ | (Урысон) |
полностью Т 2 | (полностью Хаусдорф) |
Т 3 | (обычный Хаусдорф) |
Т 3½ | (Тихонов) |
Т 4 | (нормальный Хаусдорф) |
Т 5 | (совершенно нормальный Хаусдорф) |
Т 6 | (совершенно нормальный Хаусдорф) |
Хаусдорфовы пространства названы в честь Феликса Хаусдорфа , одного из основоположников топологии. Первоначальное определение топологического пространства Хаусдорфом (в 1914 г.) включало условие Хаусдорфа в качестве аксиомы .
Определения
Точки а также в топологическом пространстве могут быть отделены друг от окрестностей , если существует в окрестности из и окрестности из такой, что а также не пересекаются (). является хаусдорфовым пространством, если все различные точки впопарно окрестностно отделимы. Это условие является третьей аксиомой отделимости (после), поэтому хаусдорфовы пространства еще называют пробелы. Также используется пробел, разделенный именем .
Родственное, но более слабое понятие - это понятие предрегулярного пространства .является предрегулярным пространством, если любые две топологически различимые точки можно разделить непересекающимися окрестностями. Пререгулярные пространства также называютпробелы .
Связь между этими двумя условиями следующая. Топологическое пространство является хаусдорфовым тогда и только тогда, когда оно является одновременно предрегулярным (т. Е. Топологически различимые точки разделены окрестностями) и колмогоровским (т. Е. Различные точки топологически различимы). Топологическое пространство предрегулярно тогда и только тогда, когда его фактор по Колмогорову хаусдорфов.
Эквивалентности
Для топологического пространства , следующие эквиваленты: [2]
- является хаусдорфовым пространством.
- Пределы сетей вуникальны. [3]
- Пределы фильтров науникальны. [4]
- Любой одноэлементный набор равно пересечение всех замкнутых окрестностей из. [5] (Замкнутая окрестность- замкнутое множество , содержащее открытое множество, содержащее x .)
- Диагональ является закрытым , как подмножество пространства продукта .
Примеры и не примеры
Почти все пространства, встречающиеся при анализе , хаусдорфовы; самое главное, действительные числа (при стандартной метрической топологии действительных чисел) являются хаусдорфовым пространством. В более общем смысле все метрические пространства хаусдорфовы. Фактически, во многих областях анализа, таких как топологические группы и топологические многообразия , условие Хаусдорфа явно указано в их определениях.
Простым примером топологии, которая является T 1, но не хаусдорфовой, является конфинитная топология, определенная на бесконечном множестве .
Псевдометрические пространства обычно не хаусдорфовы, но они предрегулярны, и их использование в анализе обычно только при построении калибровочных пространств Хаусдорфа . В самом деле, когда аналитики сталкиваются с нехаусдорфовым пространством, оно, вероятно, все еще является, по крайней мере, дорегулярным, а затем они просто заменяют его на его фактор Колмогорова, которым является Хаусдорф. [6]
Напротив, непререгулярные пространства гораздо чаще встречаются в абстрактной алгебре и алгебраической геометрии , в частности, как топология Зарисского на алгебраическом многообразии или спектр кольца . Они возникают также в теории модели из интуиционистской логики : каждая полная гейтингова алгебра есть алгебра открытых множеств некоторого топологического пространства, но это пространство не должно быть preregular, гораздо меньше Хаусдорфф, а на самом деле , как правило , не является ни. Связанная с этим концепция области Скотта также состоит из непререгулярных пространств.
Хотя существование уникальных пределов для сходящихся сетей и фильтров подразумевает, что пространство является хаусдорфовым, существуют нехаусдорфовы пространства T 1, в которых каждая сходящаяся последовательность имеет единственный предел. [7]
Характеристики
Подпространства и произведения хаусдорфовых пространств хаусдорфовы [8], но факторпространства хаусдорфовых пространств не обязательно должны быть хаусдорфовыми. Фактически, любое топологическое пространство может быть реализовано как фактор некоторого хаусдорфова пространства. [9]
Хаусдорфовы пространства T 1 , что означает, что все синглтоны замкнуты. Точно так же предрегулярные пространства - это R 0 . Каждое хаусдорфово пространство является пространством Собера, хотя обратное, вообще говоря, неверно.
Еще одно приятное свойство хаусдорфовых пространств - это то, что компакты всегда замкнуты. [10] Для нехаусдорфовых пространств все компакты могут быть замкнутыми (например, сосчетная топология на несчетном множестве) или нет (например, конфинитная топология на бесконечном множестве и пространство Серпинского ).
Определение пространства Хаусдорфа гласит, что точки могут быть разделены окрестностями. Оказывается, отсюда следует нечто более сильное: в хаусдорфовом пространстве каждая пара непересекающихся компактов также может быть разделена окрестностями [11], другими словами, существует окрестность одного множества и окрестность другого, такая как что две окрестности не пересекаются. Это пример общего правила, согласно которому компактные множества часто ведут себя как точки.
Условия компактности вместе с предрегулярностью часто подразумевают более сильные аксиомы разделения. Например, любое локально компактное предрегулярное пространство вполне регулярно . Компактные предрегулярные пространства нормальны , что означает, что они удовлетворяют лемме Урысона и теореме о расширении Титце и имеют разбиения единицы, подчиненные локально конечным открытым покрытиям . Хаусдорфовы версии этих утверждений: каждое локально компактное хаусдорфово пространство тихоново , и каждое компактное хаусдорфово пространство нормально хаусдорфово.
Следующие результаты представляют собой некоторые технические свойства, касающиеся отображений ( непрерывных и иных) в хаусдорфовы пространства и обратно.
Позволять - непрерывная функция, и пусть Хаусдорф. Тогда граф из, , является замкнутым подмножеством .
Позволять - функция и пусть его ядро, рассматриваемое как подпространство.
- Если непрерывно и Хаусдорф, то закрыто.
- Если это открытая сюрприз и закрыто тогда Хаусдорф.
- Если - непрерывная открытая сюръекция (т. е. открытое фактор-отображение), то хаусдорфова тогда и только тогда, когда закрыто.
Если являются непрерывными отображениями и Хаусдорфово, то уравнитель закрыт в . Отсюда следует, что если Хаусдорф и а также договориться о плотном подмножестве тогда . Другими словами, непрерывные функции в хаусдорфовых пространствах определяются своими значениями на плотных подмножествах.
Позволять быть закрытой сюръекцию такой , чтоявляется компактным для всех. Тогда если Хаусдорф таков .
Позволять быть факторной картой скомпактное хаусдорфово пространство. Тогда следующие эквиваленты:
- Хаусдорф.
- это замкнутая карта .
- закрыто.
Пререгулярность против регулярности
Все регулярные пространства предрегулярны, как и все хаусдорфовы пространства. Есть много результатов для топологических пространств, которые верны как для регулярных, так и для хаусдорфовых пространств. В большинстве случаев эти результаты верны для всех предрегулярных пространств; они были перечислены отдельно для регулярных и хаусдорфовых пространств, поскольку идея предрегулярных пространств возникла позже. С другой стороны, те результаты, которые действительно касаются регулярности, обычно не применимы и к нерегулярным хаусдорфовым пространствам.
Есть много ситуаций, когда другое условие топологических пространств (такое как паракомпактность или локальная компактность ) будет подразумевать регулярность, если выполняется предварительная регулярность. Такие условия часто бывают двух версий: обычная версия и версия Хаусдорфа. Хотя хаусдорфовы пространства, вообще говоря, не являются регулярными, хаусдорфово пространство, которое также (скажем) локально компактно, будет регулярным, потому что любое хаусдорфово пространство предрегулярно. Таким образом, с определенной точки зрения в этих ситуациях имеет значение скорее предварительная закономерность, чем закономерность. Однако определения обычно по-прежнему формулируются в терминах регулярности, поскольку это условие лучше известно, чем предварительная регулярность.
См. « Историю аксиом разделения» для получения дополнительной информации по этому вопросу.
Варианты
Термины «Хаусдорфовы», «разделены», и «preregular» , также может быть применен к таким вариантам на топологических пространствах , как равномерные пространства , Коши пространств и конвергенции пространства . Характеристика, объединяющая концепцию во всех этих примерах, состоит в том, что пределы сетей и фильтров (если они существуют) уникальны (для разделенных пространств) или уникальны с точностью до топологической неразличимости (для дорегулярных пространств).
Оказывается, однородные пространства и, в более общем смысле, пространства Коши всегда предрегулярны, поэтому условие Хаусдорфа в этих случаях сводится к условию T 0 . Это также те пространства, в которых полнота имеет смысл, и хаусдорфность является естественным спутником полноты в этих случаях. В частности, пространство является полным тогда и только тогда, когда каждая сеть Коши имеет хотя бы один предел, в то время как пространство является хаусдорфовым тогда и только тогда, когда каждая сеть Коши имеет не более одного предела (поскольку только сети Коши могут иметь ограничения в первую очередь).
Алгебра функций
Алгебра непрерывных (вещественных или комплексных) функций на компактном хаусдорфовом пространстве является коммутативной C * -алгеброй , и, наоборот, по теореме Банаха – Стоуна можно восстановить топологию пространства из алгебраических свойств его алгебры непрерывных функций. Это приводит к некоммутативной геометрии , где некоммутативные C * -алгебры рассматриваются как представляющие алгебры функций на некоммутативном пространстве.
Академический юмор
- Условие Хаусдорфа иллюстрируется каламбуром, что в пространствах Хаусдорфа любые две точки могут быть «отделены» друг от друга открытыми множествами . [12]
- В Математическом институте Боннского университета , в котором Феликс Хаусдорф исследовал и читал лекции, есть комната, обозначенная как Хаусдорф-Раум . Это каламбур, так как Raum на немецком означает и комната, и пространство .
Смотрите также
- Квазитопологическое пространство
- Слабое хаусдорфово пространство
- Пространство неподвижной точки , хаусдорфово пространство X такое, что каждая непрерывная функция f : X → X имеет неподвижную точку.
Заметки
- ^ [ необходима ссылка ] https://ncatlab.org/nlab/show/separation+axioms
- ^ "аксиомы разделения в nLab" . ncatlab.org . Проверено 1 января 2020 .
- Перейти ↑ Willard, pp. 86–87.
- Перейти ↑ Willard, pp. 86–87.
- ^ Бурбаки, стр. 75.
- ^ См., Например, пространство Lp # Пространства Lp , компакт Банаха – Мазура и т. Д.
- ^ ван Доувен, Эрик К. (1993). «Антихаусдорфово пространство Фреше, в котором сходящиеся последовательности имеют единственные пределы». Топология и ее приложения . 51 (2): 147–158. DOI : 10.1016 / 0166-8641 (93) 90147-6 .
- ^ «Хаусдорфова собственность наследственная» . PlanetMath .
- ^ Шимрат, М. (1956). «Пространства декомпозиции и разделительные свойства». Кварта. J. Math . 2 : 128–129. DOI : 10.1093 / qmath / 7.1.128 .
- ^ «Доказательство того, что компакт в хаусдорфовом пространстве замкнут» . PlanetMath .
- ^ Уиллард, стр. 124.
- ^ Колин Адамс и Роберт Франзоса. Введение в топологию: чистая и прикладная. п. 42
Рекомендации
- Архангельский А. В., Л. С. , Общая топология I , (1990) Springer-Verlag, Berlin. ISBN 3-540-18178-4 .
- Бурбаки ; Элементы математики: общая топология , Эддисон-Уэсли (1966).
- "Пространство Хаусдорфа" , Энциклопедия математики , EMS Press , 2001 [1994]
- Уиллард, Стивен (2004). Общая топология . Dover Publications. ISBN 0-486-43479-6.