单调收敛定理

单调收敛定理 (Monotone Convergence Theorem) 是实分析中最基本也是最重要的定理之一。它建立了单调序列收敛的充分条件：单调递增且上有界的序列必收敛（到其最小上界），单调递减且下有界的序列必收敛（到其最大下界）。该定理是数学分析、勒贝格积分和概率论中诸多结论的基石。

1. 定义与直觉

设 $\{a_n\}_{n=1}^\infty$ 为一个实数序列。若对任意 $n$ 均有 $a_n \le a_{n+1}$，则称该序列单调递增；若对任意 $n$ 均有 $a_n \ge a_{n+1}$，则称该序列单调递减。单调递增和单调递减统称为单调序列。

直觉上：一个单调递增且始终不超过某个界限的序列，其项数不断增加但受到上限约束，因此必然"挤向"某个极限值。例如序列 $a_n = 1 - \frac{1}{n}$ 单调递增，且始终小于 1，其极限恰好为 1（即其上确界）。反之，若一个单调递减序列始终不低于某个下界，必然收敛至其下确界。再如 $b_n = \frac{1}{n}$ 单调递减且以 0 为下界，其极限便是 0。这些直观例子揭示了单调性与有界性共同构成收敛的充分条件。

2. 定理的正式陈述

定理（单调收敛定理，Monotone Convergence Theorem for Sequences）：设 $\{a_n\}$ 是一个实数序列。

• 若 $\{a_n\}$ 单调递增且上有界，则 $\{a_n\}$ 收敛，且 $\displaystyle\lim_{n\to\infty} a_n = \sup\{a_n\}$。
• 若 $\{a_n\}$ 单调递减且下有界，则 $\{a_n\}$ 收敛，且 $\displaystyle\lim_{n\to\infty} a_n = \inf\{a_n\}$。

该定理的逆否命题亦成立：若单调序列不收敛，则其必然无界。换言之，单调序列收敛当且仅当它是有界的。这一等价关系在判断序列发散时尤为便捷——只需验证单调序列是否无界即可。

3. 证明概要（以递增有上界情形为例）

令 $s = \sup\{a_n\}$。由于 $\{a_n\}$ 上有界，$s$ 为有限实数。对于任意 $\varepsilon > 0$，由确界的定义可知存在某个 $N$ 使得 $a_N > s - \varepsilon$。又因为序列单调递增，当 $n \ge N$ 时 $a_n \ge a_N > s - \varepsilon$，同时 $a_n \le s$，故 $|a_n - s| < \varepsilon$ 对所有 $n \ge N$ 成立，即 $\lim a_n = s$。

递减情形同理，只需取 $s = \inf\{a_n\}$ 并对称推理即可。

4. 重要推论与应用

4.0 实数完备性的核心体现

单调收敛定理并非在所有有序域中都成立。在有理数集 $\mathbb{Q}$ 中，我们可以构造一个单调递增序列 $\{a_n\}$，其中 $a_n$ 是 $\sqrt{2}$ 的 $n$ 位十进制近似值（如 1.4, 1.41, 1.414, ...）。该序列在 $\mathbb{Q}$ 中有上界（例如 1.5），但在 $\mathbb{Q}$ 中无极限，因为 $\sqrt{2}$ 不是有理数。这说明单调收敛定理实质上是实数系完备性的直接推论。换言之，正是因为实数系具有完备性——即非空有上界的子集必有上确界——单调收敛定理才能成立。

4.1 闭区间套定理

单调收敛定理可直接推出闭区间套定理 (Nested Intervals Theorem)：若 $\{[a_n, b_n]\}$ 为一列递减闭区间（即 $[a_{n+1}, b_{n+1}] \subseteq [a_n, b_n]$）且长度趋于零，则存在唯一实数属于所有区间。该定理是实数完备性的等价描述之一。证明思路是利用左端点序列 $\{a_n\}$ 单调递增且有上界（例如 $b_1$），故收敛至某极限 $x$，再验证 $x$ 属于所有区间。

4.2 正项级数收敛判别

对于正项级数 $\sum_{n=1}^\infty a_n$（$a_n \ge 0$），其部分和序列 $S_n = \sum_{k=1}^n a_k$ 单调递增。因此，正项级数收敛当且仅当其部分和序列有上界——这正是单调收敛定理的直接推论。由此可导出比较判别法、比值判别法和根值判别法等经典收敛判据。例如调和级数 $\sum \frac{1}{n}$ 虽然项趋于零，但其部分和序列无上界，故发散。而 $p$-级数 $\sum \frac{1}{n^p}$ 当 $p>1$ 时有界，故收敛。这些结论最终都归结于单调有界性的判断。

4.3 勒贝格积分中的单调收敛定理

在勒贝格积分理论中，单调收敛定理（亦称 Levi 定理）是一个核心工具。它断言：若一列可测函数 $\{f_n\}$ 单调递增且逐点收敛到 $f$，且所有 $f_n$ 非负，则积分运算与极限运算可交换：

这一结论极大地简化了积分极限的交换过程，是勒贝格积分优于黎曼积分的重要体现之一。与之互补的是法图引理 (Fatou's Lemma) 和控制收敛定理 (Dominated Convergence Theorem)，三者共同构成了勒贝格积分中极限交换问题的完整理论框架。法图引理给出了积分下极限的不等式关系，控制收敛定理则通过可积控制函数来保证极限交换——三者各有适用场景，共同构建了积分极限理论的完整体系。

4.4 概率论中的应用

在概率论中，单调收敛定理常用于处理期望的极限交换问题。若 $X_n$ 是一列非负单调递增的随机变量，且 $X_n \to X$ 几乎必然，则 $\mathbb{E}[X_n] \to \mathbb{E}[X]$。这为建立条件期望的基本性质（如单调收敛性质）以及证明强大数定律提供了关键论证工具。同样地，通过单调收敛定理还可以证明非负随机变量和的期望等于期望的和，无需依赖绝对收敛条件。此外，在测度论构建概率论基础的过程中，单调收敛定理是证明期望线性性质的重要中间环节。

5. 与其他完备性定理的关系

单调收敛定理是实数完备性的等价表述之一。在 $\mathbb{R}$ 中，以下命题彼此等价：

1. 确界存在原理：非空有上界的实数集必有上确界。
2. 单调收敛定理：单调有界序列必收敛。
3. 闭区间套定理：递缩闭区间序列的交集非空。
4. Bolzano-Weierstrass 定理：有界序列必有收敛子列。
5. Cauchy 收敛准则：实数序列收敛当且仅当它是 Cauchy 列。

在有理数集 $\mathbb{Q}$ 中，单调有界序列不一定收敛（例如逼近 $\sqrt{2}$ 的十进制展开序列），这正是 $\mathbb{Q}$ 不完备的体现。因此，单调收敛定理本质上是刻画实数连续性的定理。数学分析中常以确界存在原理作为公理，进而推导出单调收敛定理，再以此为工具证明其他完备性命题。

6. 常见误解与注意

• 单调性不可缺：单调收敛定理要求序列单调。例如 $a_n = (-1)^n$ 有界但不单调，故不收敛。即使是有界序列，若无单调性保证，也可能振荡发散。
• 有界性不可缺：$a_n = n$ 单调递增但无上界，发散至无穷。单调性保证序列变化方向的一致性，但若无界，序列终将超越任何有限数值。
• 定理保证了极限存在且有限：单调递增无上界时，习惯上写 $\lim a_n = \infty$，但这不属于经典意义上的收敛。
• 与勒贝格单调收敛定理的区分：实分析中的基本单调收敛定理指数列的收敛问题；勒贝格积分中的单调收敛定理则涉及函数列的积分与极限交换，二者虽思想相通但适用范围不同。数列版本是实数完备性的直接体现，而函数版本则建立在测度论基础之上。

7. 总结

单调收敛定理以简洁的条件——单调性与有界性——保证了序列收敛，是贯穿整个分析学的基础工具。从数列收敛到正项级数判别，从勒贝格积分到概率期望，它的应用无处不在。理解这一定理，是掌握数学分析、实分析与概率论的第一步，也是认识实数完备性本质的重要窗口。无论在学习微积分还是深入高级概率论时，单调收敛定理始终是值得反复回味的核心概念，它所体现的"单调性加有界性足以保证收敛"这一简洁而深刻的思想，贯穿了整个分析学的方方面面。