关于“正规空间的子空间必为正规空间”错误证明的问题排查

嘿，这个问题问得特别好——很多初学拓扑的朋友都会掉进这个看似逻辑顺畅的坑里！咱们来一步步拆解这个证明，揪出那个藏起来的漏洞。

首先先明确正规空间的核心要求：任意两个不相交的闭集，都能被两个不相交的开集分别包含分离。现在咱们逐行过一遍这个“伪证明”：

• 第一步：$C_1,C_2$是$Y$中的闭集，因此存在$X$中的闭集$C_1',C_2'$使得$C_i = Y \cap C_i'$，这一步完全没问题，这是子空间闭集的标准定义。
• 第二步：证明里说“因为$X$是正规空间，所以存在不相交的开集$U_1,U_2$满足$C_i' \subset U_i$”——这里就是错误的根源！

问题出在：$C_1$和$C_2$在$Y$中不相交，只能推出$(Y \cap C_1') \cap (Y \cap C_2') = \emptyset$，但这绝对不代表$C_1'$和$C_2'$在$X$中也是不相交的！这两个$X$里的闭集完全可能在$Y$的外部相交，而正规空间的分离性质，只针对本身不相交的闭集生效。如果$C_1'$和$C_2'$在$X$里相交，那$X$根本找不到能分离它们的不相交开集，这一步推导直接就站不住脚了。

给你举个经典反例帮你理解：
取$X = \mathbb{R}^2$（赋予欧氏拓扑，是妥妥的正规空间），$Y = \mathbb{R}^2 \setminus {(0,0)}$（去掉原点的平面）。在$Y$里取两个闭集：
$C_1 = {(x,0) | x \leq 0}$，$C_2 = {(x,0) | x \geq 0} \setminus {(0,0)}$
这两个集合在$Y$里是闭集，而且完全不相交。但它们在$X$中对应的闭集$C_1' = {(x,0)|x \leq 0}$、$C_2' = {(x,0)|x \geq 0}$，是相交于原点的！所以$X$里根本找不到不相交的开集分别包含$C_1'$和$C_2'$，自然也就没法得到$Y$里的分离开集——而实际上$Y$确实不是正规空间。

另外提一句，证明最后那句“$C_i \cap V_i$”应该是笔误，正确表述是$C_i \subset V_i$，但这只是小失误，核心错误还是没意识到$C_1'$和$C_2'$可能相交，不符合正规空间分离性质的前提条件。

备注：内容来源于stack exchange，提问作者Omer