点集拓扑讲义 熊金城 《点集拓扑讲义》 · 第 105 页 · 定义 6.1.3 设 $X$ 是一个拓扑空间。如果 $X$ 中任何两个不相同的点各自有一个开邻域使得这两个开邻域互不相交（即如果 $x,y\in X$，$x\neq y$，则点 $x$ 有一个开邻域 $U$，点 $y$ 有一个开邻域 $V$，使得 $U\cap V=\varnothing$），则称拓扑空间 $X$ 是一个 Hausdorff 空间，或 $T_2$ 空间。 查看原书页面 由 admin 提交
