ルベーグの収束定理(優収束定理)は、可測関数列の積分と極限の交換を保証する最も実用的な定理である。可積分な優関数の存在を仮定することで、単調性を課さずに収束定理を得る。
定理の主張
を測度空間とし、 を可測関数の列とする。次の 2 条件を仮定する:
- a.e.(各点収束、または測度収束)
- 可積分関数 が存在して a.e.(優関数条件)
このとき と各 は可積分であり、
が成り立つ。さらに も成り立つ( 収束)。
証明の概略
より a.e. なので、 は可積分である。
と にファトゥの補題を適用する。
を用いて整理すると、
同様に に適用して、
すなわち
2 つの不等式から が従う。
収束は に優収束定理自身を適用して得られる。
優関数条件の必要性
優関数条件は省略できない。ファトゥの補題の反例で見たように、 は a.e. だが である。この列を支配する可積分関数は存在しない。
有界収束定理
優収束定理の特別な場合として、有界収束定理がある。
(有限測度空間)とし、 が一様に成り立つとする。定数関数 は で可積分なので、優収束定理が適用できる。
パラメータ付き積分への応用
優収束定理は、パラメータに関する積分の連続性や微分可能性を示すのに有用である。
とする。 が について連続で、( は可積分)ならば、 は連続である。
また、 が存在し ( は可積分)ならば、
が成り立つ。積分記号下での微分が正当化される。
測度収束の場合
各点収束を測度収束に弱めても定理は成り立つ。 in measure かつ a.e.( 可積分)ならば、 である。
これは、測度収束する列から a.e. 収束する部分列が取れることを用いて証明される。