跳转至

单调收敛定理怎样闭合递增逼近?

先备知识

掌握非负积分定义、积分单调性和简单函数积分。

学习目标

证明非负可测函数递增列可以交换极限与积分。

牵引问题

第 49 章只处理递增简单函数;每项不简单时怎样闭环?

探索与猜想

一个固定的下方简单函数最终应被 f_n 的适当缩放水平集捕获。

概念与理论

单调收敛定理

若 0≤f_n↑f 几乎处处,修改同一零测集后可按处处递增处理,则

\[ \int f\,dm=\lim_{n\to\infty}\int f_n\,dm. \]

证明

由单调性,右侧极限 L 存在且 L≤∫f。反向固定非负简单函数 φ≤f 和 0<c<1,令 A_n={f_n≥cφ}。集合 A_n 递增并覆盖 {φ>0}。于是 cφ1_{A_n}≤f_n,且对 φ 的 有限水平层使用测度从下连续,得到 ∫cφ1_{A_n}↑c∫φ。因此 c∫φ≤L;令 c↑1, 再对全部 φ≤f 取上确界,得 ∫f≤L。两边合并即证。

假设位置

非负性使积分与上确界有序;递增性使 A_n 递增;可测性保证集合与积分合法。

例题与迁移

例 1:区间扩张

1_[0,n]↑1_[0,∞),积分 n↑∞。

例 2:级数

非负可测函数部分和递增,MCT 允许积分与非负级数求和交换。

即时检验与回望

即时检验 1

为何引入 c<1?

答案

当 f_n 只趋近 φ 时,严格缩小保证最终进入水平集。

即时检验 2

结论允许无穷吗?

答案

允许,两边都在扩展非负实数中。

常见误区与后续

  • 递增不能只在积分数值上成立,必须是函数逐点几乎处处递增。
  • 本定理不要求统一控制函数。

习题与答案

习题 1

写出三项核心假设。

答案

非负、可测、几乎处处递增。

习题 2

极限为何可测?

答案

可测函数列逐点极限可测。

习题 3

易方向是什么?

答案

\(\lim\int f_n\le\int f\)

习题 4

A_n 覆盖哪个集合?

答案

φ 的正值集。

习题 5

从下连续用在哪里?

答案

用于 φ 的每个有限水平层与 A_n 的交集。

习题 6

为何可忽略同一零测集?

答案

零测集修改不改变积分。

习题 7

严格递增是必需的吗?

答案

不必,非递减即可。

习题 8

能否直接用于符号变化列?

答案

不能,需另加下界或改写。

习题 9

有限采样能证明 MCT 吗?

答案

不能。

习题 10

MCT 下一步推出什么?

答案

Fatou 引理。