求证：度量空间中闭集A与紧集B的交集A∩B是紧集

嘿，你的思路完全找对了！不用Heine-Borel是非常正确的选择——毕竟题目只说是一般度量空间，Heine-Borel性质（紧集=有界闭集）只在特定空间（比如ℝⁿ）里成立，不能随便用。我们就用度量空间的核心定义和基础定理来一步步推导：

先明确几个度量空间里的关键前提（这些都是不依赖Heine-Borel的通用结论）：

• 紧集的核心定义：集合的任意开覆盖都存在有限子覆盖；在度量空间中，等价于“任意序列都有收敛子列，且极限属于该集合”
• 度量空间中紧集必闭：这是度量空间的固有性质，不用依赖任何特殊空间的性质

第一步：证明A∩B是闭集 #

取A∩B的任意聚点( x )，根据聚点定义：( x )的任意邻域都与A∩B有非空交集。

• 因为邻域与B相交，所以( x )是B的聚点；又因为B是紧集，度量空间里紧集必闭，所以( x \in B )
• 同时，邻域与A相交，所以( x )是A的聚点；而A是闭集，闭集包含所有聚点，所以( x \in A )
• 综上，( x \in A \cap B )，即A∩B包含所有聚点，因此A∩B是闭集

第二步：证明紧集的闭子集必紧 #

把B看作子度量空间，它本身是紧的度量空间。而A∩B是B的闭子集（子空间拓扑中，原空间闭集与子空间的交集是子空间的闭集）。

• 假设( {U_\alpha} )是A∩B在原度量空间中的任意开覆盖，那么每个( U_\alpha \cap B )是子空间B中的开集
• 再加上B中开集( B \setminus (A \cap B) )，就构成了紧空间B的一个开覆盖
• 因为B是紧的，这个开覆盖必有有限子覆盖；去掉( B \setminus (A \cap B) )后，剩下的( U_\alpha \cap B )就覆盖了A∩B，对应的原空间中的( U_\alpha )就是A∩B的有限开覆盖
• 这就满足了紧集的定义，因此A∩B是紧集

补充个小例子验证：比如离散度量空间中，紧集只能是有限集，闭集可以是任意集合，A∩B作为闭集+有限集的交集，必然是有限集，也就是紧集，完全符合结论。

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