可积控制函数

可积控制函数是使控制收敛定理奏效的那把单一大伞。你有一整列函数在摇摆,而你想让它们的极限与积分相互配合。诀窍是找到一个固定的可积函数,在绝对值上同时压在它们全体之上——一道无人能戳穿的天花板。有了这道天花板,便没有面积能溜向无穷。

确切地说,给定可测函数 f_n,可积控制函数是一个满足 g 关于 μ 的积分有限的函数 g,使得对所有 n 与(几乎每个)x 有 |f_n(x)| 小于等于 g(x)。对 n 的一致性正是要点:同一个 g 必须同时控制整个函数族,而非对每个 f_n 各取一界。

寻找控制函数是论证任何极限与积分交换的标准配方,包括积分号下求导以及级数的逐项积分(取 g 为各绝对值之和)。当不存在可积控制函数时,交换可能真的失效——这正是移动凸包与高尖峰反例中的情形,那里唯一自然的界是不可积的。