第 2–3 章 · 三大收敛定理：分析学的动力核心

极限与积分什么时候能交换？这是分析学一切"合法性"问题的总枢纽。勒贝格理论给出三台发动机：单调收敛、Fatou 引理、控制收敛——顺序固定，逻辑闭环。

单调收敛定理（MCT）

$f_n \ge 0$ 且 $f_n \uparrow f$（逐点单调上升）：

不要求积分有限、不要求一致收敛——单调性一人包打。它是定义层面定理（积分由下方逼近定义，单调逼近的极限自然可交换），是其他定理的基石。

Fatou 引理：不打招呼的版本

$f_n \ge 0$ 任意逐点收敛：

不等式可能严格（$f_n = n\chi_{(0,1/n)}$：各积分 1，极限函数积分 0）——"质量逃逸"是它的几何图像。Fatou 是 MCT 的副产品，本身不常用，主要作为证明工具。

控制收敛定理（DCT）：日常主力

$f_n \to f$ 逐点，且被一个可积函数 $g$ 统一压住（$|f_n| \le g$）：

三大用途：逐项积分（$g = \sum$ 的部分和）、积分号下求导（参数导数被压住）、概率论的期望极限（大数定律的标准证明）。使用前提是找控制函数——应用 DCT 的全部技巧在这一步。

三定理的逻辑与使用手册

MCT ⟹ Fatou ⟹ DCT，一条证明链。实战选择：有单调用 MCT；能找控制用 DCT（90% 的场景）；只差一点点控制时用 Fatou 兜底。

老师的提醒

• 用 DCT 的完整仪式：指明逐点极限、写控制函数、验证控制可积——三行缺一不可，考试按这个格式写。
• 直觉记忆三定理：单调上升不丢质量；没条件时至少有个下界不等式；有总闸（控制）就万事大吉。

自检

• Fatou 引理的严格不等式什么时候发生？
• DCT 的三个前提？举一个逐项积分的应用。
• 三定理的证明依赖顺序是什么？

更深一层：三大定理是"极限-积分交换"的分级许可证

极限与积分交换是分析学的头号合法性问题的原因在于：逐点收敛的函数列，其积分可以完全失真（凸峰变窄变高：每个 $\int f_n = 1$ 但极限 $\int f = 0$——质量逃逸）。三大定理给出三级许可证：单调收敛（MCT）——单调上升 + 非负，无任何附加条件，积分与极限交换；Fatou 引理——无条件但只给下界不等式（$\int \liminf \le \liminf \int$）；控制收敛（DCT）——有可积的控制函数 $g$ 压阵，完全交换。三者的证明链：MCT 由积分定义直接得出，Fatou 是 MCT 的推论，DCT 是 MCT 应用于 $\min(f_n, g)$ 型截断——一条单调逻辑链，三个适用场景。

使用时的分流口诀：序列单调 → MCT；找得到总闸（控制）→ DCT；什么都没有 → Fatou 至少给个不等式。找控制函数是 DCT 应用的全部艺术——而 $L^1$ 收敛 + 子列逐点收敛（Riesz 定理）常是控制函数的供货渠道。

推导细读：质量逃逸的几何画像与"紧性补票"

Fatou 严格不等式的标准画像是"逃跑的凸包"：$f_n = n\chi_{(0, 1/n)}$ 每个积分为 1，极限为零——质量挤进一个越来越窄、越来越高的尖峰，测度极限看不见它。逃逸的两个方向：往"小"逃（支撑集缩为零测集）与往"无穷"逃（$f_n$ 跑向 $\infty$ 处，紧区间上测不到）。对应的补票手段：紧性假设（支撑集一致有界 + 等度可积 → Vitali 收敛定理）或一致可积性（uniform integrability，现代概率论的标准条件）——DCT 的控制函数只是"防逃逸"的充分条件之一， weakening 它是高级概率论（鞅收敛、一致可积鞅）的日常作业。

在真实世界里：交换合法性的三笔工程账

极限-积分交换在工程计算里就是"逐点模拟 vs 总量统计"的合法性。信号处理：采样加密后离散能量是否收敛到连续能量——MCT/DCT 给出"是"的条件（非负 + 单调加密合法；有负频分量需控制）；概率论：大数定律的证明（期望的极限）本质是 DCT/控制收敛的一次调用；数值分析：数值解序列的极限是否满足原方程——弱收敛 + 可积性控制的整套语言都从本章的许可证制度里领照。每次"先取极限再积分"的手滑，都是一次无证驾驶——本章的任务就是发证。

专题深入：三大收敛定理的"逻辑链"完整版

三大收敛定理的逻辑链值得完整勾勒：MCT（单调收敛——由积分定义直接得出，是基石）→ Fatou 引理（MCT 的推论——无条件但只给下界不等式）→ DCT（控制收敛——MCT 应用于 $\min(f_n, g)$ 型截断）。一条单调逻辑链，三个适用场景：序列单调 → MCT；找得到总闸（控制）→ DCT（90% 的场景）；什么都没有 → Fatou 至少给个不等式。找控制函数是 DCT 应用的全部艺术——而 $L^1$ 收敛 + 子列逐点收敛（Riesz 定理）常是控制函数的供货渠道。

数学细节展开：质量逃逸的几何画像与"紧性补票"

Fatou 严格不等式的标准画像是"逃跑的凸包"：$f_n = n\chi_{(0, 1/n)}$ 每个积分为 1，极限为零——质量挤进一个越来越窄、越来越高的尖峰，测度极限看不见它。逃逸的两个方向：往"小"逃（支撑集缩为零测集）与往"无穷"逃（$f_n$ 跑向 $\infty$ 处，紧区间上测不到）。对应的补票手段：紧性假设（支撑集一致有界 + 等度可积 → Vitali 收敛定理）或一致可积性（uniform integrability——现代概率论的标准条件）。DCT 的控制函数只是"防逃逸"的充分条件之一，weakening 它是高级概率论（鞅收敛、一致可积鞅）的日常作业。

工程案例细节：交换合法性的三笔工程账（工程版）

极限-积分交换在工程计算里就是"逐点模拟 vs 总量统计"的合法性。信号处理：采样加密后离散能量是否收敛到连续能量——MCT/DCT 给出"是"的条件（非负 + 单调加密合法；有负频分量需控制）；概率论：大数定律的证明（期望的极限）本质是 DCT/控制收敛的一次调用；数值分析：数值解序列的极限是否满足原方程——弱收敛 + 可积性控制的整套语言都从本章的许可证制度里领照。每次"先取极限再积分"的手滑，都是一次无证驾驶。