Hausdorff 空间 [Hausdorff空间]

定义

Hausdorff 空间是满足如下条件的拓扑空间 $X$:

任何两个不同的点 $x,y\in X$ 都被两个不相交的开邻域 $U,V$ 分离 (其中 $U$ 仅包含 $x$, $V$ 仅包含 $y$).
对角线 $\Delta\colon X \to X$ 为闭映射.

相关概念