为何T₁空间不必然是Hausdorff（豪斯多夫）空间？

这问题问到点子上了！很多刚接触拓扑的人都会混淆T₁和Hausdorff空间的要求，核心原因是：T₁空间的单点闭性只是最基础的分离条件，而Hausdorff要求的是更强的「点对不相交邻域分离」，两者的强度差了一截。

先把两个定义的核心拎清楚：

• T₁空间：每个单点集${x}$都是闭集。等价于说，对任意两个不同的点$x$和$y$，你能找到一个开集包含$x$但不含$y$，也能找到另一个开集包含$y$但不含$x$——简单说就是“每个点都能单独避开另一个点”。
• Hausdorff空间：对任意两个不同的点$x$和$y$，你能找到完全不相交的两个开集$U$和$V$，让$x$在$U$里，$y$在$V$里——这是“把两个点彻底分开，它们的邻域完全不重叠”。

你提到T₁空间里$\overline{{x}} = {x}$，这确实是单点集闭性的直接结果，但这只说明单点集自己就是最小闭集，和“能不能把两个点用不相交开集分开”没有直接关联。T₁只保证你能避开单个点，但没法保证两个点的邻域完全不碰。

给你举个最经典的反例：无限集合上的余有限拓扑。比如取$X$为自然数集$\mathbb{N}$，我们定义拓扑$\tau$：所有有限子集的补集，再加上空集。

先验证它是T₁空间：对任意$x\in\mathbb{N}$，${x}$的补集是$\mathbb{N}\setminus{x}$，这是有限集（${x}$）的补集，属于我们定义的拓扑$\tau$，所以${x}$是闭集，完全满足T₁的要求。

但它绝对不是Hausdorff空间：假设你取两个不同的点$x$和$y$，随便找一个包含$x$的开集$U$，根据拓扑定义，$U$肯定是某个有限集的补集，也就是说$\mathbb{N}\setminus U$是有限的；同理，包含$y$的开集$V$，$\mathbb{N}\setminus V$也是有限的。那$U\cap V = \mathbb{N}\setminus\left( (\mathbb{N}\setminus U)\cup(\mathbb{N}\setminus V) \right)$，而两个有限集的并还是有限集，$\mathbb{N}$是无限的，所以$U\cap V$肯定是非空的——换句话说，你根本找不到不相交的开集分别装下$x$和$y$，完全不满足Hausdorff的条件。

再结合你提到的那个命题：「拓扑空间$X$是Hausdorff空间当且仅当对每个点$x\in X$，其所有闭邻域的交集为单点集${x}$」。在刚才的余有限拓扑例子里，点$x$的闭邻域是什么呢？闭邻域得是包含$x$的闭集，同时还是$x$的邻域（也就是内部包含$x$）。余有限拓扑里的闭集要么是有限集，要么是整个$X$。有限集的内部是空集，不可能包含$x$，所以$x$的闭邻域只有$X$本身，它们的交集是$X$，而不是${x}$——这正好对应了它不是Hausdorff空间的结论，也侧面说明了T₁空间不一定满足这个Hausdorff的等价条件。

总结一下：T₁空间的单点闭性只是分离性的入门要求，它只解决了“单个点能被避开”的问题，但没解决“两个点能被彻底分开”的问题；Hausdorff是更强的分离公理，所以存在大量T₁但非Hausdorff的空间。

内容的提问来源于stack exchange，提问作者Meagain