T1 空间 [T1空间]

定义

$T_1$ 空间是满足如下等价条件的拓扑空间 $X$:

• 对任意 $x,y\in X$, 若 $x\neq y$, 则存在 $x$ 的开邻域 $U$ 不包含 $y$.
• $X$ 的每个点作为子集都是闭的.