子列揭示了原数列的什么行为？¶

先备知识¶

数列是按正整数编号的实数族 \((a_n)\)。极限 \(a_n\to L\) 的含义是：任给 \(\varepsilon>0\)，存在 \(N\)，使 \(n\ge N\) 时 \(|a_n-L|<\varepsilon\)。

学习目标¶

1. 用严格递增指标定义子列；2. 递归构造满足指定条件的子列；3. 完证收敛数列的每个子列同极限；4. 只用实数邻域定义聚点。

牵引问题¶

若从无限长记录中不断删项，留下的记录能否产生原数列没有的有限极限？反过来，怎样保证选出的项既满足条件又保持原顺序？

探索与猜想¶

保留偶数项、平方编号项都是子列；倒序选择或重复同一项不是。关键不是“选了无限多项”，而是指标 \(n_1<n_2<\cdots\)。

概念与理论¶

子列与指标增长¶

若 \((n_k)\) 是严格递增正整数列，则 \((a_{n_k})\) 称为 \((a_n)\) 的子列。由归纳法，\(n_k\ge k\)：\(n_1\ge1\)；若 \(n_k\ge k\)，则整数严格递增给出 \(n_{k+1}\ge n_k+1\ge k+1\)。因此 \(k\to\infty\) 时，原指标也必趋向无穷。

递归选择原则¶

设每个正整数 \(r\) 之后都存在指标 \(n>r\) 使性质 \(P(n)\) 成立。先取满足 \(P(n_1)\) 的指标；已取 \(n_k\) 后，在 \(n_k\) 之后取满足 \(P(n_{k+1})\) 的指标。于是 \(n_{k+1}>n_k\)，且每个所选指标都满足 \(P\)。这一步必须把“任意尾部仍可选”写清，不能只说“不断选取”。

收敛对子列的继承¶

定理。 若 \(a_n\to L\)，则任一子列 \(a_{n_k}\to L\)。

证明。 任给 \(\varepsilon>0\)。由 \(a_n\to L\)，存在 \(N\)，使 \(n\ge N\) 时 \(|a_n-L|<\varepsilon\)。上面已证 \(n_k\ge k\)，故当 \(k\ge N\) 时 \(n_k\ge N\)，从而

这正是 \(a_{n_k}\to L\)。注意证明使用的是同一个原数列尾部阈值，而不是假设子列另有极限。\(\square\)

实数聚点¶

实数 \(c\) 称为 \((a_n)\) 的一个聚点，若存在严格递增指标 \((n_k)\) 使 \(a_{n_k}\to c\)。等价地：对每个 \(\varepsilon>0\) 与每个 \(N\)，都存在 \(n\ge N\) 使 \(|a_n-c|<\varepsilon\)。

证明等价性时，子列方向直接成立；反向令 \(n_0=0\)，递归选 \(n_k>n_{k-1}\) 且 \(|a_{n_k}-c|<1/k\)，便有 \(a_{n_k}\to c\)。这里所有对象都在实数与实数邻域中，不引入一般拓扑语言。

例题与迁移¶

例题 1：交替数列的两个聚点¶

令 \(a_n=(-1)^n+1/n\)。取 \(n_k=2k\) 得 \(a_{n_k}=1+1/(2k)\to1\)；取 \(m_k=2k-1\) 得 \(a_{m_k}=-1+1/(2k-1)\to-1\)。因此原数列至少有聚点 \(1\) 与 \(-1\)，也由子列继承定理的逆否思路可知原数列不收敛。

例题 2：从无限命中递归抽取¶

若对每个 \(N\) 都有某个 \(n\ge N\) 满足 \(|a_n-3|<1/N\)，令 \(n_0=0\)。第 \(k\) 步把假设应用于

于是可选 \(n_k\ge N\)，并有

所以指标严格递增且 \(a_{n_k}\to3\)。这里同一个门槛同时负责推进指标与缩小误差。

即时检验与回望¶

1. 为什么“选出无限多个指标”还不够？

1. 若原数列收敛，它能否有两个不同实数聚点？

习题与答案¶

习题 1：指标下界¶

证明严格递增正整数列满足 \(n_k\ge n_1+k-1\)。

习题 2：平方指标¶

若 \(a_n\to L\)，证明 \(a_{k^2}\to L\)。

习题 3：非收敛证书¶

说明有两个极限不同的收敛子列为何足以否定原数列收敛。

习题 4：邻域到子列¶

已知每个 \((c-1/k,c+1/k)\) 都含无穷多个数列项，构造趋于 \(c\) 的子列。

习题 5：聚点计算¶

求 \(a_n=2+(-1)^n/n\) 的所有聚点。

常见误区与后续¶

• 子列指标必须严格递增，不能只保证互异。
• “无限多次靠近”必须能发生在任意尾部，才能递归构造指标。
• 子列收敛不推出原数列收敛；下一单元将证明有界数列至少能抽出一个收敛子列。