度量空间的每个可数无穷子集是否均为闭集？求示例思路

你完全正确，答案是否定的，而且从「闭集的补集是开集」这个角度切入思考，确实是个非常精准的思路！

咱们从最经典的度量空间例子说起：

• 考虑实数集$\mathbb{R}$配备标准欧几里得度量，取可数无穷子集$S = {1, \frac{1}{2}, \frac{1}{3}, \dots, \frac{1}{n}, \dots}$。
  • 首先，$S$是可数无穷的——它能和自然数集一一对应，完全符合题目里的条件。
  • 但它绝对不是闭集：0是$S$的极限点（随便取一个正数$\epsilon$，总能找到足够大的$n$，让$\frac{1}{n} < \epsilon$，也就是说0的任何邻域里都有$S$中的点），但0并不在$S$里。而闭集的定义是必须包含自身所有的极限点，所以$S$不符合闭集的要求。
  • 用你提到的补集思路验证：$S$的补集$\mathbb{R}\setminus S$不是开集——0属于补集，但0的任何邻域都包含$S$中的元素（比如$\frac{1}{n}$），也就是说0没有一个完全落在补集里的邻域，所以补集不是开集，反过来$S$自然不是闭集。

再换一个度量空间的例子，帮你拓宽思路：

• 考虑有理数集$\mathbb{Q}$配备欧几里得度量，取可数无穷子集$T = {2, \frac{3}{2}, \frac{4}{3}, \dots, \frac{n+1}{n}, \dots}$。
  • $T$的极限点是1（因为$\frac{n+1}{n} = 1 + \frac{1}{n}$，当$n$趋向无穷时会无限趋近于1），而1属于$\mathbb{Q}$但不属于$T$，所以$T$在$\mathbb{Q}$这个度量空间里也不是闭集。

总结一下：闭集的核心要求是「包含自身所有极限点」，和集合的可数性没有绑定关系。只要构造出一个漏掉了自身极限点的可数无穷子集，就能证明“度量空间的每个可数无穷子集都是闭集”这个结论不成立。

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