可積控制函數

可積控制函數是使控制收斂定理奏效的那把單一大傘。你有一整列函數在搖擺,而你想讓它們的極限與積分相互配合。訣竅是找到一個固定的可積函數,在絕對值上同時壓在它們全體之上——一道無人能戳穿的天花板。有了這道天花板,便沒有面積能溜向無窮。

確切地說,給定可測函數 f_n,可積控制函數是一個滿足 g 關於 μ 的積分有限的函數 g,使得對所有 n 與(幾乎每個)x 有 |f_n(x)| 小於等於 g(x)。對 n 的一致性正是要點:同一個 g 必須同時控制整個函數族,而非對每個 f_n 各取一界。

尋找控制函數是論證任何極限與積分交換的標準配方,包括積分號下求導以及級數的逐項積分(取 g 為各絕對值之和)。當不存在可積控制函數時,交換可能真的失效——這正是移動凸包與高尖峰反例中的情形,那裡唯一自然的界是不可積的。