子度量空间中集合开闭性的证明验证与相关问题咨询

嗨，我来帮你仔细梳理这些关于子度量空间里集合开闭性的问题，先看看你给出的两个证明，再聊聊剩下的两种情况～

一、你的两个证明的正误分析 #

1. 情况iv（C在B中闭 ⇒ C在A中闭）：你的证明有漏洞，结论不成立！ #

你这里的逻辑问题在于，只考虑了B-C中的点，但A-C还包含了A-B中的点，这些点的邻域情况完全没提到。举个反例就能直接推翻这个结论：

• 设A=ℝ（实数集，欧氏度量），B=(0,1)，C=(1/2,1)。C在B中是闭集（因为B-C=(0,1/2)是B中的开集），但C在A中显然不是闭集——1是C的聚点，但1∉C。

正确的补充结论：只有当B本身是A中的闭集时，B中的闭集才一定是A中的闭集；如果B不是A的闭子集，那B中的闭集未必在A中闭。

2. 情况i（C在A中开 ⇒ C在B中开）：你的证明完全正确！ #

从子空间开集的定义来看，B中的开集就是A中开集与B的交集。因为C⊂B，且C在A中开，所以C = C ∩ B，刚好符合B中开集的定义。用开球的角度验证也没问题：对任意c∈C，存在A中的开球$B_A(c,r_c)⊂C$，这个开球和B的交集就是B中的开球$B_B(c,r_c)$，而$B_A(c,r_c)∩B ⊂ C∩B = C$，所以每个c∈C都有B中的开球包含在C里，C确实是B中的开集。

二、剩下两种情况的分析 #

ii) 若C在A中闭，C⊂B⊂A，C在B中是否闭？ #

结论是：一定是闭集。
根据子空间闭集的定义，B中的闭集是A中闭集与B的交集。因为C本身就是A中的闭集，且C⊂B，所以$C = C ∩ B$，完美满足B中闭集的定义。从聚点的角度看：C在A中的所有聚点都在C里，而C⊂B，所以C在B中的聚点必然也是A中的聚点，自然也在C里，因此C在B中是闭集。

iii) 若C在B中开，C⊂B⊂A，C在A中是否开？ #

结论是：不一定，只有当B在A中是开集时才成立。
举个反例：设A=ℝ，B=[0,2]，C=[0,1)。C在B中是开集（因为$C = B ∩ (-1,1)$，而(-1,1)是A中的开集），但C在A中不是开集——0∈C，但0的任何邻域都会包含负数，这些负数不在C里，所以不存在A中的开球完全包含在C中。
如果B本身是A中的开集，那B中的开集C可以写成$C = B ∩ U$（U是A中的开集），而B和U都是A中的开集，它们的交集C自然也是A中的开集。

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