完备性怎样成为收敛准则？¶

先备知识¶

本章已经完成两次从实数完备性到极限对象的构造：项集的确界成为单调数列的极限，左端点集的确界成为闭区间套的公共点。递推不变量不是新的完备性公理，而是把递推规则转化为单调有界定理所需假设的证明工具。

学习目标¶

完成本单元后，你应能：

画出本章定理的单向证明依赖图；
比较单调有界、递推不变量与区间套证书的适用对象；
为给定问题选择证书并逐项核对假设；
说明本章不能单凭“有界”推出收敛。

牵引问题¶

“用完备性证明收敛”不是一句万能口令。面对数列或逐步缩小的区间，我们究竟要先构造哪个集合、调用哪条定理，又要检查哪些假设？

探索与猜想¶

本章的主线不是三条并列捷径，而是一条有方向的依赖链。递推问题先产生不变区间与单调性，然后进入链条；区间定位问题则把端点数列送入同一链条。

概念与理论¶

本章的证明依赖图¶

核心链条是：

确界原理 → 单调有界定理 → 区间套

每个箭头表示“右边的结论在本章中由左边已经证明的结论推出”，不能反向偷用：

确界原理 → 单调有界定理。 对递增项集取上确界，对递减项集取下确界，再用单调性把一次逼近传播到尾部。
单调有界定理 → 区间套。 嵌套使左端点递增且有上界。上一单元先由单调有界定理得到左端点极限，再固定 \(n\)，用 \(a_n\le a_m\le b_n\)（\(m\ge n\)）验证该极限落在每个闭区间中。

递推不变量位于这条链的入口侧：

\[ \text{递推规则} \longrightarrow \text{不变区间与单调性} \longrightarrow \text{单调有界定理}. \]

它负责制造假设，不取代定理本身。

三类证书怎样选择¶

可见结构	要交付的证明	得到的结论	典型场景
数列有固定方向	递增并有上界，或递减并有下界	数列收敛，极限由确界给出	部分和、显式公式
数列由递推生成	归纳证明不变区间，再证明单调	转入上一行，然后识别极限	根式递推、平均迭代
目标被闭区间逐层包住	非空、闭、嵌套；若要唯一再证长度趋零	公共点存在；长度趋零时唯一	二分定位、误差包围

选择证书时先看对象：若对象是单个数列，就寻找方向和界；若对象是递推，先建立能永久保持的区域；若对象是一串可能位置，就检查闭区间套。证书的价值是把每个逻辑条件变成可审查的清单。

本章结论的边界¶

不能声称“每个有界数列都收敛”。有界只把项限制在某个范围内，并不提供趋近同一目标的方向。例如 \(a_n=(-1)^n\) 满足 \(|a_n|=1\)，却在 \(-1\) 与 \(1\) 之间来回变化，所以不收敛。本章证书是充分条件，不是对任意数列的完整分类；更一般的判定工具留到下一章建立。

例题与迁移¶

例题 1：为两类问题选择证书¶

对 \(x_{n+1}=\sqrt{2+x_n}\)，首先证明 \([1,2]\) 不变并证明递增，随后调用单调有界定理；自然证书是“递推不变量 + 单调有界”。

对每步保留目标的二分区间 \(I_n=[a_n,b_n]\)，若已知闭、嵌套且 \(b_n-a_n\to0\)，自然证书是区间套：它同时给出公共点存在与唯一。两类问题虽共享确界原理，却应交付不同的中间证据。

例题 2：有界数列不保证收敛¶

令 \(a_n=(-1)^n\)。它有上下界 \(-1\le a_n\le1\)。若它收敛到 \(L\)，取 \(\varepsilon=1/2\)，则充分靠后的所有项都应落在 \((L-1/2,L+1/2)\) 中。但任意尾部都同时含 \(-1\) 和 \(1\)；这两数相距 \(2\)，不可能同时落在长度为 \(1\) 的开区间中，矛盾。因此有界不保证收敛，缺少的是把尾部压向同一目标的结构。

即时检验与回望¶

递推不变量是否与确界原理并列为新的完备性原理？

答案

不是。递推不变量由数学归纳法证明，用来保证所有项留在某区间，并帮助建立单调性。随后真正给出极限存在性的是由确界原理推出的单调有界定理。

闭区间套只验证“嵌套”就能得到唯一公共点吗？

答案

不能。非空、闭且嵌套给出公共点存在；要得到唯一性，还必须验证区间长度趋于零。恒定区间 \([0,1]\) 是嵌套但交集不唯一的反例。

习题与答案¶

习题 1：识别依赖方向¶

写出从确界原理到闭区间套非空交的两步依赖，并说明每一步构造的对象。

答案

第一步是“确界原理 → 单调有界定理”：把数列项组成集合，递增时取上确界、递减时取下确界。第二步是“单调有界定理 → 区间套”：嵌套区间的左端点递增且以上端点控制，右端点递减且以下端点控制；端点极限或左端点集上确界给出公共点。

习题 2：显式公式的方法选择¶

对 \(a_n=3-1/n\)，选择本章证书并列出要验证的假设。

答案

选择单调有界证书。计算

\[ a_{n+1}-a_n=\frac1n-\frac1{n+1}>0 \]

得到递增；又 \(a_n<3\)，故有上界。于是数列收敛，其项集上确界为 \(3\)，所以极限为 \(3\)。这里无需构造区间套。

习题 3：递推问题的方法清单¶

对递推 \(y_{n+1}=(y_n+2)/2\)、\(y_1=0\)，按证明顺序列出四项证据。

答案

先归纳证明 \(0\le y_n\le2\)；再由

\[ y_{n+1}-y_n=\frac{2-y_n}{2}\ge0 \]

证明递增；随后用递增且有上界 \(2\) 得到收敛；最后设极限为 \(L\)，由 \(L=(L+2)/2\) 识别 \(L=2\)。不动点方程排在收敛证书之后。

习题 4：区间证书的条件审计¶

某人给出 \(I_n=(0,1/n)\) 并说“区间嵌套且长度趋零，所以有唯一公共点”。指出错误。

答案

这些区间不是闭区间。唯一可能留下的端点 \(0\) 不属于任何 \(I_n\)；任意 \(x>0\) 又会在 \(n>1/x\) 后被排除，所以交集为空。嵌套与长度趋零不能补偿闭性缺失。

习题 5：反驳过强命题¶

用 \(a_n=(-1)^n\) 反驳“每个有界数列收敛”，并指出它为什么不能使用本章的单调证书。

答案

\(|a_n|=1\)，所以数列有界；但相邻项交替为 \(-1\) 与 \(1\)，任意尾部仍包含二者，不可能最终落入同一个半径小于 \(1\) 的邻域，故不收敛。它既不递增也不递减，因此缺少单调有界定理要求的方向性。

常见误区与后续¶

把依赖图当作术语列表。 箭头表示真实证明使用关系，右侧结论不能在左侧证明中提前调用。
把递推不变量当作收敛本身。 不变量只给界或符号区域，还需单调性与单调有界定理。
把“有界”升级为“收敛”。 振荡数列说明范围控制不足以保证唯一目标。
混淆区间套的存在与唯一。 闭、非空、嵌套负责存在；长度趋零负责唯一。下一章将处理本章证书尚未覆盖的一般有界振荡行为，但本单元不预先使用那些结论。