查看“︁豪斯多夫空间”︁的源代码

{{NoteTA|G1=Math}}
在[[拓扑学]]和相关的[[数学]]分支中，'''豪斯多夫空间'''、'''分离空间'''或'''T<sub>2</sub>空间'''（Hausdorff space, separated space or T2 space）是其中的点都“由邻域分离”的[[拓扑空间]]。在众多可施加在拓扑空间上的[[分离公理]]中，“豪斯多夫条件”是最常使用和讨论的。它蕴涵了[[序列]]、[[网 (数学)|网]]和[[滤子 (数学)|滤子]]的[[极限 (数学)|极限]]的唯一性。直观地讲，这个条件可用个双关语来形容：如果某空间中任两点可用开集合将彼此“豪斯多夫”开来，该空间就是“豪斯多夫”的。

豪斯多夫得名于拓扑学的创立者之一[[费利克斯·豪斯多夫]]。豪斯多夫最初的拓扑空间定义把豪斯多夫条件包括为公理。

==定义==

[[File:Hausdorff space.svg|thumb|200px|两个点x和y，由它们各自的邻域U和V来分离。]]
假设X是[[拓扑空间]]。设x和y是X中的[[点]]。我们称 x 和 y 可以“[[分离集合|由邻域分离]]”，如果存在 x 的[[邻域]] U 和 y 的邻域 V 使得 U 和 V 是[[不交集|不相交]]的（U ∩ V = ∅），且 X 中的任意两个不同的点都可以由这样的邻域分离，那么称 X 是'''豪斯多夫空间'''。这也是豪斯多夫空间叫做 '''T<sub>2</sub>空间'''或'''分离空间'''的原因。

X 是'''预正则空间'''，如果任何两个[[拓扑不可区分性|拓扑可区分]]的点可以由邻域分离。预正则空间也叫做 '''R<sub>1</sub>空间'''。

在这些条件之间的联系如下。拓扑空间是豪斯多夫空间，当且仅当它是预正则空间和[[柯尔莫果洛夫空间]]的二者（就是说独特的点是拓扑可区分的）。拓扑空间是预正则空间，当且仅当它的[[柯尔莫果洛夫商空间]]是豪斯多夫空间。

==等價==

对于拓扑空间X，以下論述等價：

* <math>X</math>是豪斯多夫空间。
* <math>\{(x,x)|x \in X\}</math>是積空間<math>X \times X</math>的閉集。
* X中[[极限 (数学)|极限]]是唯一的(就是[[序列]]、[[网 (数学)|网]]和[[滤子 (数学)|滤子]]收敛于最多一个点)。
* 所有包含在X中的单元素集合都等于包含它的所有闭邻域的交集。

==例子和反例==

在[[数学分析]]所遇到的几乎所有空间都是豪斯多夫空间；最重要的[[实数]]是豪斯多夫空间。更一般的说，所有[[度量空间]]都是豪斯多夫空间。事实上，在分析中用到的很多空间，比如[[拓扑群]]和[[拓扑流形]]在其定义中明确的声明了豪斯多夫条件。

最简单的是 [[T1空間|T<sub>1</sub>空間]]而非 T<sub>2</sub> 空間的拓扑的例子是[[餘有限空間]]。

[[伪度量空间]]典型的不是豪斯多夫空间，但是它们是预正则的，并且它们在分析中通常只用于构造豪斯多夫 [[gauge空间]]。实际上，在分析家处理非豪斯多夫空间的时候，它至少要是预正则的，他们简单的把它替代为是豪斯多夫空间的它的柯尔莫果洛夫商空间。

相反的，在[[抽象代数]]和[[代数几何]]更经常见到非预正则空间，特别是作为在[[代数簇]]或[[交换环谱]]上的[[扎里斯基拓扑]]。他们还出现在[[直觉逻辑]]的[[模型论]]中：所有[[完全格|完全]] [[Heyting代数]]都是某个拓扑空间的[[开集]]的代数，但是这个空间不需要是预正则的，更少见豪斯多夫空间。

==性质==

豪斯多夫空间的[[子空间 (拓扑学)|子空间]]和[[乘积空间|乘积]]是豪斯多夫空间，<ref>{{planetmath reference|id=7202|title=Hausdorff property is hereditary|urlname=hausdorffpropertyishereditary}}</ref>但是豪斯多夫空间的[[商空间]]不必须是豪斯多夫空间。事实上，所有拓扑空间都可以实现为某个豪斯多夫空间的商。

豪斯多夫空间是[[T1空间|T<sub>1</sub>空间]]，这意味着所有[[单元素集合]]是闭集。类似的，预正则空间是 [[R0空间|R<sub>0</sub>空间]]。

豪斯多夫空间另一个美好的性质是[[紧致集合]]总是闭集<ref>{{planetmath reference|id=4203|title=Proof of A compact set in a Hausdorff space is closed|urlname=proofthatacompactsetinahausdorffspaceisclosed}}</ref>，這是因為假定<math>H</math>是一個豪斯多夫空間，而<math>S</math>是<math>H</math>的一個緊緻集合，那對於任何位於<math>S</math>的[[補集]]<math>\bar{S}</math>中的點<math>x</math>而言，<math>x</math>都會位於一個作為<math>\bar{S}</math>的子集的開集當中所致，而可以利用豪斯多夫空間的定義和緊緻集合對於開覆蓋的定義來證明包含<math>x</math>且作為<math>\bar{S}</math>的子集的開集存在，而這樣的開子集說明了若<math>x</math>是<math>\bar{S}</math>的一個元素，那麼<math>x</math>會是<math>\bar{S}</math>的一個[[內部點]]，因此<math>\bar{S}</math>本身也是個開集合，因此做為<math>\bar{S}</math>補集的<math>S</math>是闭集。但对于非豪斯多夫空间而言，這點可能失效，也就是說一個不是豪斯多夫空間的空間，其緊緻集合未必是閉集，像例如有其失效的T<sub>1</sub>空间的例子。

豪斯多夫空间的定义声称点可以由邻域分离。它蕴涵了表象上更强的东西：在豪斯多夫空间中所有成对的不相交的紧致集合都可以由邻域分离。<ref>{{planetmath reference|id=4193|title=Point and a compact set in a Hausdorff space have disjoint open neighborhoods|urlname=pointandacompactsetinahausdorffspacehavedisjointopenneighborhoods}}</ref>这是紧致集合经常表现得如同点的一般规则的一个例子。

紧致性条件与预正则一起经常蕴涵了更强的分离公理。例如，任何[[局部紧致空间|局部紧致]]预正则空间都是[[完全正则空间]]。[[紧致空间|紧致]]预正则空间是[[正规空间]]，意味着它们满足[[乌雷松引理]]和[[蒂茨扩张定理]]，并且有服从局部有限[[开覆盖]]的[[单位划分]]。这些陈述的豪斯多夫版本是：所有局部紧致豪斯多夫空间是[[吉洪诺夫空间]]，而所有紧致豪斯多夫空间是正规豪斯多夫空间。

下列结果是关于来或到豪斯多夫空间的映射 ([[连续函数 (拓扑学)|连续函数]]和其他) 的技术上的性质。

设 f : X → Y 是连续函数且 Y 是豪斯多夫空间。则 f 的[[函数|图象]]<math>\{(x,f(x)) :x\in X\}</math>是 <math>X \times Y</math>中的闭子集。

设 f : X → Y 是函数并设<math>\mbox{ker}(f) = \{(x,x') :f (x) = f(x')\}</math>是作为 <math>X \times X</math>的子空间的它的[[核 (集合论)|核]]。
*如果f是连续函数并且 Y 是豪斯多夫空间则 ker(f) 是闭集。
*如果f是[[开映射|开]][[满射]]而 ker(f) 是闭集则Y豪斯多夫空间。
*如果f是连续开满射（就是开商映射），则Y是豪斯多夫空间，当且仅当ker(f)是闭集。

如果 f,g : X → Y 是连续映射而 Y 是豪斯多夫空间，则[[均衡子]]<math>\mbox{eq}(f,g) = \{x :f (x) = g (x)\}</math>在 X 中是闭集。因此如果一致于 f 和 g 在某個 X 的[[稠密集|稠密]]子集上有相同的值 ，则 f 和 g 在整個 X 上都是相同的，已就是 f=g。换句话说，若 f 是映射到豪斯多夫空间的连续函数，則函數 f 會被它在稠密子集上的值唯一決定。

设 f : X → Y 是[[闭映射|闭]]满射且对于所有 y ∈ Y，有 f<sup>−1</sup>(y) 是[[紧致空间|紧致]]的。则若 X 是豪斯多夫空间會推得 Y 也是。

设 X 是紧致豪斯多夫空间、 f : X → Y 是[[商映射]] ，则下列是等价的

*Y 是豪斯多夫空间
*f 是[[闭映射]]
*ker(f) 是闭集

==预正则性和正则性==

所有[[正则空间]]都是预正则空间，也都是豪斯多夫空间。有很多拓扑空间的结果对正则空间和豪斯多夫空间二者都成立。多数时候这些结果对于所有预正则空间也成立；它们对正则空间和豪斯多夫空间要分开列出，因为预正则空间的概念要更晚。在另一方面，这些对于正则性为真的结果一般不适用于非正则豪斯多夫空间。

有很多情况拓扑空间的其他条件（比如[[仿紧致性]]或[[局部紧致性]]）也蕴涵正则性，如果它满足预正则性的话。这种条件经常有两个版本：正则版本和豪斯多夫版本。尽管豪斯多夫空间一般不是正则性的，局部紧致的豪斯多夫空间是正则性的，因为任何豪斯多夫空间都是预正则性的。因此从特定角度来看，在有关这些情况的时候它实际是预正则性的，而非正则性的。但是，定义仍依据正则性来措辞，因为这些条件比预正则性更周知。

更详细细节请参见[[分离公理的历史]]。

==变体==

术语“豪斯多夫”、“分离”和“预正则”还可以用于在拓扑空间上的变体如[[一致空间]]、[[完备空间|柯西空间]]和[[收敛空间]]。在所有这些例子中统一的概念特征是网或滤子（在它们存在的时候）的极限是唯一的（对于分离空间）或在拓扑同構意義下唯一的（对于预正则空间）。

这显现出一致空间和更一般的柯西空间总是预正则的，所有在这些情况下豪斯多夫条件简约为T<sub>0</sub>条件。还有[[完备性 (拓扑学)|完备性]]在其中有意义的空间，豪斯多夫性在这些情况下是完备性的自然伙伴。特别是，一个空间是完备的，当且仅当所有柯西网有至少一个极限，而一个空间是豪斯多夫的，当且仅当所有柯西网都有最多一个极限（因为只有柯西网可以首先有极限）。

==注解==
{{reflist}}
==引用==
* Munkres, J. R., 2000, Topology, 2nd edition, Upper Saddle River, NJ: Prentice Hall. ISBN 978-0-13-181629-9
* 趙文敏，《拓扑學導論》，九章出版社，ISBN 978-957-603-018-5
* Arkhangelskii, A.V., L.S.Pontryagin, General Topology I,（1990）Springer-Verlag, Berlin. ISBN 978-3-540-18178-1
* [[Nicolas Bourbaki|Bourbaki]]; Elements of Mathematics: General Topology, Addison-Wesley (1966).
*{{cite book | author=Willard, Stephen | title=General Topology | url=https://archive.org/details/generaltopology0000will | publisher=Dover Publications | year=2004 | id=ISBN 978-0-486-43479-7}}

{{点集拓扑}}
[[Category:分离公理]]
[[Category:拓扑空间性质]]