请指出“每个Hausdorff空间都是正则空间”伪证明中的错误

这是拓扑学分离公理里一个很容易踩的坑，先明确结论：Hausdorff空间不一定是正则空间，所以任何试图证明这个论断的论证肯定存在逻辑漏洞。我们先把定义补全，再拆解常见错误论证的问题：

先把定义补完整 #

Hausdorff空间（$T_2$空间）：拓扑空间$X$是Hausdorff的，当且仅当对任意两个不同的点$x, x' \in X$，总能找到$x$的邻域$U$和$x'$的邻域$U'$，使得$U \cap U' = \emptyset$。

正则空间（$T_3$空间）：拓扑空间$X$是正则的，当且仅当对任意点$x \in X$，以及任意不含$x$的闭集$E \subseteq X$，总能找到$x$的邻域$V$和$E$的邻域$W$，使得$V \cap W = \emptyset$。

常见错误论证的核心漏洞 #

很多错误的证明会这么构造：

取点$x$和不含$x$的闭集$E$，对每个$x' \in E$，因为$X$是Hausdorff的，所以能找到$x$的邻域$U_{x'}$和$x'$的邻域$U'{x'}$，满足$U{x'} \cap U'{x'} = \emptyset$。然后令$V = \bigcap{x' \in E} U_{x'}$，$W = \bigcup_{x' \in E} U'_{x'}$，说$V$是$x$的邻域，$W$是$E$的邻域，且两者不相交，所以$X$是正则的。

这个论证犯了两个关键错误：

• 任意多个邻域的交集不一定还是邻域：拓扑公理只要求有限个邻域的交集是邻域，无限个邻域的交集完全可能不再是该点的邻域。比如如果$E$是无限集，$\bigcap_{x' \in E} U_{x'}$可能会缩小到只包含$x$本身，甚至更小，根本不满足邻域的定义（邻域需要包含一个包含该点的开集）。
• 混淆了单点分离和点-闭集分离的本质：Hausdorff性质只保证“点和点”能被开邻域分离，但正则要求的是“点和闭集”的分离——闭集是单点的推广，但Hausdorff的性质并没有给出处理闭集这种“多点集合”的工具，除非有额外拓扑条件（比如紧致性、第一可数性）加持，否则直接推广是不成立的。

直观反例验证 #

最经典的反例之一是带有特殊邻域的平面子集：
设$X = { (x,y) \in \mathbb{R}^2 \mid y \geq 0 }$，定义拓扑如下：

• 对于$y>0$的点，直接用欧氏拓扑的邻域；
• 对于$y=0$的点$(x,0)$，它的邻域定义为${(x,0)} \cup { (x', y') \mid |x' - x| < y' }$（也就是包含该点的“开口向上的V形区域”加上点本身）。

这个空间是Hausdorff的：任意两个不同的点总能找到不相交的邻域。但它不是正则的——比如取点$(0,0)$和闭集$E = { (x,0) \mid x \neq 0 }$，你根本找不到不相交的邻域分别包含$(0,0)$和$E$，完美印证了Hausdorff推不出正则。

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