关于Munkres拓扑中极限点紧蕴含序列紧证明步骤的疑问

我明白你卡在这个子列构造的环节了——这步确实是把极限点紧的条件转化为序列收敛性的关键，咱们一步步拆解清楚：

先把你提到的原证明段落贴出来：

设X是可度量化空间，若X是极限点紧的，则X是序列紧的。证明：考虑集合A = {$x_n$ | n ∈ Z+ }，其中($x_n$)是X中的某点列。当A为无限集时：若A是无限集，则A有一个极限点x。我们按如下方式定义($x_n$)的收敛到x的子列：首先选取$n_1$使得$$x_{n_1} ∈ B(x,1)$$，接着假设……

核心逻辑拆解 #

首先得抓住两个关键前提：

1. X是可度量化空间：意味着存在度量$d$，我们可以用半径可控的开球$B(x, r)$来描述$x$的任意邻域；
2. x是无限集A的极限点：根据极限点的定义，$x$的每一个邻域都包含A中无穷多个点——这是我们能不断选出符合要求的子列项的根本原因。

补全构造步骤并解释 #

原证明里的“接着假设”部分完整逻辑是这样的：

• 第一步：选取$n_1$，使得$x_{n_1} ∈ B(x, 1)$。这没问题，因为$B(x,1)$是$x$的邻域，必然包含A中至少一个点，随便选一个对应的下标就行。
• 归纳假设：假设我们已经选好了$n_1 < n_2 < ... < n_k$，满足对每个$1 ≤ i ≤ k$，都有$x_{n_i} ∈ B(x, 1/i)$。
• 归纳步骤：要选$n_{k+1} > n_k$，使得$x_{n_{k+1}} ∈ B(x, 1/(k+1))$。为什么能做到？因为$B(x, 1/(k+1))$是$x$的邻域，它包含A中无穷多个点；而我们之前只从原序列的前$n_k$项里选了有限个点，所以肯定存在比$n_k$大的下标$n_{k+1}$，对应的$x_{n_{k+1}}$落在这个更小的开球里。

为什么这个子列收敛到x？ #

对任意给定的$\epsilon > 0$，我们可以取正整数$N$，使得$1/N < \epsilon$。当$k > N$时，$1/(k+1) < 1/N < \epsilon$，而$x_{n_k} ∈ B(x, 1/(k+1))$，这就意味着$d(x_{n_k}, x) < \epsilon$。根据序列收敛的定义，子列$(x_{n_k})$收敛到$x$。

关键提醒 #

这步构造之所以成立，完全依赖于可度量化空间的性质——如果没有度量，我们没法把邻域转化成半径递减的开球，也就没法严格控制子列项到$x$的距离。这也是为什么“极限点紧→序列紧”只在可度量化空间里成立的核心原因之一。

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