极限证明怎样从目标误差反推起点？¶

先备知识¶

若 \(a_n\to L\)，则对任意 \(\varepsilon>0\)，存在门槛 \(N\)，使每个 \(n\ge N\) 都满足 \(|a_n-L|<\varepsilon\)。三角不等式

能把若干误差合成一个目标误差。若不同条件分别从 \(N_1,N_2\) 起成立，取 \(N=\max\{N_1,N_2\}\) 就可让它们在同一尾部同时成立。

学习目标¶

完成本单元后，你应能：

1. 从证明的最终目标反推误差预算和共同门槛；
2. 完整证明有限极限的唯一性以及收敛数列必有界；
3. 在极限之间存在正间隔时，证明最终严格不等式与最终保号；
4. 正确否定 \(\varepsilon\)--\(N\) 定义并用固定误差构造反例。

牵引问题¶

极限定义只说每个误差都有某个门槛，却没有直接列出“极限唯一”“数列有界”或“最终为正”。这些结论怎样从定义中挖出来？关键不是向前盲推，而是先问：结论所需的最后一个严格不等式是什么？再给各项误差分配足够小的正裕量。

探索与猜想¶

若同一数列既趋于 \(L\) 又趋于 \(K\)，要证明 \(L=K\)，可从

倒推：只要两项误差的总和严格小于 \(|L-K|\)，就会矛盾。于是反设 \(L\ne K\) 后，距离 \(d=|L-K|>0\) 自然给出误差预算，如 \(d/3\)。这就是“从目标反推起点”。

概念与理论¶

反推门槛的证明模板¶

面对一个极限后果，可按以下顺序工作：

1. 写目标。 明确最终要得到的严格不等式或矛盾。
2. 找裕量。 找出一个已知为正的距离 \(d\)，把误差选成 \(d/2,d/3\) 等。
3. 分别调用定义。 每个收敛条件给出自己的门槛。
4. 合并尾部。 取这些门槛的最大值。
5. 正向核验。 任取共同尾部中的 \(n\)，逐步推出目标。

“反推”是发现路线；正式证明仍须从选定的误差和门槛正向走到结论。

定理：有限极限唯一¶

定理。 若 \(a_n\to L\) 且 \(a_n\to K\)，则 \(L=K\)。

障碍。 两个极限陈述可能给出不同门槛，且必须排除任意两个不同实数，而不是只比较几个小数位。

路线。 反设 \(L\ne K\)，令正距离 \(d=|L-K|\)。把两边误差各控制在 \(d/3\) 以内，并合并门槛。

逐步证明。 反设 \(L\ne K\)，则 \(d=|L-K|>0\)。对正误差 \(d/3\)，由 \(a_n\to L\)，存在 \(N_1\)，使 \(n\ge N_1\) 时

由 \(a_n\to K\)，存在 \(N_2\)，使 \(n\ge N_2\) 时

取 \(N=\max\{N_1,N_2\}\) 并令 \(n=N\)。三角不等式给出

矛盾。因此 \(L=K\)。\(\square\)

假设使用。 \(L\ne K\) 产生正裕量 \(d\)；两个收敛假设分别控制三角不等式中的一项；最大门槛使两项控制同时生效。

常见错误。 写“取 \(n\) 足够大”却不合并 \(N_1,N_2\)，没有证明两条估计可用于同一个 \(n\)。

方法迁移。 多个最终条件需要同时使用时，先各取门槛，再取有限多个门槛的最大值。

定理：收敛数列必有界¶

定理。 若 \(a_n\to L\in\mathbb R\)，则存在 \(B>0\)，使每个 \(n\in\mathbb N\) 都有 \(|a_n|\le B\)。

障碍。 极限定义只控制某个尾部；有界性却必须控制包括早期例外在内的每一项。

路线。 用固定误差 \(1\) 控制尾部，再把有限前缀的绝对值和尾部界一起放进一个有限最大值。

逐步证明。 对 \(\varepsilon=1\)，存在 \(N\in\mathbb N\)，使 \(n\ge N\) 时 \(|a_n-L|<1\)。于是

集合

非空且有限，故有最大值。取 \(B=\max S>0\)。当 \(n<N\) 时 \(|a_n|\le B\)；当 \(n\ge N\) 时 \(|a_n|<1+|L|\le B\)。故对所有 \(n\) 都有 \(|a_n|\le B\)。\(\square\)

假设使用。 收敛只负责尾部；“有限多个实数有最大值”负责吸收前缀。

常见错误。 从 \(n\ge N\) 时 \(|a_n|<1+|L|\) 直接宣布整列有界，漏掉了前 \(N-1\) 项。

方法迁移。 “尾部统一控制 + 有限前缀取最大值”是把最终性质升级为全局有界性的常用结构。

定理：正间隔带来最终严格次序¶

定理。 若 \(a_n\to a\)、\(b_n\to b\) 且 \(a<b\)，则存在 \(N\)，使每个 \(n\ge N\) 都有 \(a_n<b_n\)。特别地，若 \(a_n\to a>0\)，则 \(a_n>0\) 最终成立；若 \(a_n\to a<0\)，则 \(a_n<0\) 最终成立。

障碍。 接近各自极限不自动给出严格次序；必须保留一段未被误差吃掉的正间隔。

路线与证明。 令 \(d=b-a>0\)，取明确裕量 \(\varepsilon=d/3\)。分别由收敛得到 \(N_1,N_2\)，使

取 \(N=\max\{N_1,N_2\}\)。对 \(n\ge N\)，

其中中间严格不等式等价于 \(2d/3<d\)。故 \(a_n<b_n\) 最终成立。

常数数列 \(c_n\equiv0\) 由定义立即收敛于 \(0\)：对任意 \(\varepsilon>0\)，取 \(N=1\)，则每个 \(n\ge N\) 都有 \(|c_n-0|=0<\varepsilon\)。若 \(a>0\)，把 \((c_n)\) 放在前、把 \((a_n)\) 放在后应用上述结论；由 \(0<a\)，最终 \(c_n<a_n\)，即 \(0<a_n\)。若 \(a<0\)，把 \((a_n)\) 放在常数数列前，同理得到最终 \(a_n<0\)。\(\square\)

假设使用。 严格条件 \(a<b\) 产生正间隔。若只有 \(a\le b\) 且恰有 \(a=b\)，这个证明没有正裕量，结论一般为假：\(a_n=1/n\)、\(b_n=0\) 都趋于 \(0\)，但从不满足 \(a_n<b_n\)。

常见错误与迁移。 不能把非严格极限关系擅自升级为最终严格关系。寻找正间隔并预算误差，也可用于最终保号、最终避开某个闭区间等结论。

收敛定义的否定¶

“\(a_n\) 不收敛于给定的 \(L\)”准确地写为

一个固定的 \(\varepsilon_0\) 必须击穿每个尾部；反例项 \(n\) 可以依赖于 \(N\)。注意 \(|a_n-L|<\varepsilon\) 的否定是 \(|a_n-L|\ge\varepsilon\)，不是 \(>\)。

例题与迁移¶

例：最终保号的门槛¶

设 \(a_n\to5\)。取正裕量 \(\varepsilon=5/2\)。存在 \(N\)，使 \(n\ge N\) 时 \(|a_n-5|<5/2\)，于是

这里选择 \(5/2\) 不是唯一方案；任何严格小于 \(5\) 的正误差都能留下正裕量。

例：用固定误差否定极限¶

证明 \(a_n=(-1)^n\) 不收敛于 \(0\)。取 \(\varepsilon_0=1/2\)。对任意 \(N\in\mathbb N\)，令 \(n=N\)，则 \(n\ge N\) 且

所以固定误差 \(1/2\) 在每个尾部都有反例项，正好满足否定形式。

即时检验与回望¶

1. 唯一性证明中为什么可以取 \(N=\max\{N_1,N_2\}\)？

1. 从 \(a_n\to a\le b\leftarrow b_n\) 能否总推出 \(a_n<b_n\) 最终成立？

习题与答案¶

习题 1：重建唯一性证明¶

设 \(a_n\to L\) 且 \(a_n\to K\)。用误差 \(|L-K|/4\) 重写唯一性证明。

习题 2：补上有限前缀¶

已知 \(a_n\to-3\)，且对 \(n\ge20\) 有 \(|a_n+3|<1\)。写出一个控制全数列的有界常数。

习题 3：最终严格次序¶

若 \(a_n\to-1\)、\(b_n\to2\)，给出一个共同误差预算并证明 \(a_n<b_n\) 最终成立。

习题 4：写出正确否定¶

写出“\(a_n\) 不收敛于 \(7\)”的完整量词形式，并解释哪个量必须固定。

习题 5：反例检验边界¶

反驳错误命题：“若 \(a_n\to a\)、\(b_n\to b\) 且 \(a\le b\)，则 \(a_n<b_n\) 最终成立。”

常见误区与后续¶

• 没有先找正裕量： 唯一性、保号和严格次序都依赖一个明确的正距离。
• 多个门槛不合并： 同一步要用多条尾部估计时，取它们的最大值。
• 有界性漏掉前缀： 极限只直接控制尾部，有限前缀必须另行纳入最大值。
• 把 \(a\le b\) 当作 \(a<b\)： 极限相等时没有可分配的正间隔，最终严格次序可能失败。
• 否定错位： 不收敛于 \(L\) 要有一个固定误差在每个尾部留下反例。

本单元只从定义直接推出结论，没有使用第 6 章的和、积、商等代数极限法则。下一单元将把“不收敛”和“趋于无穷”分开讨论。