優収束定理

数学の測度論の分野におけるルベーグの優収束定理（ゆうしゅうそくていり、）あるいは単にルベーグの収束定理とは、ある関数列に対して、そのルベーグ積分と、ほとんど至る所での収束という二つの極限操作が可換となるための十分条件について述べた定理である。また後述するこの定理のある特別な場合はしばしば（ルベーグの）有界収束定理と呼ばれる。

リーマン積分に対しては、優収束定理は成立しない。なぜならば、リーマン可積分関数の列の極限は多くの場合、リーマン可積分とはならないからである。優収束定理の持つ威力と有用性は、リーマン積分よりもルベーグ積分が理論的に優れているということを示すものである。ただもちろん有界収束定理の方はリーマン積分においても類似が成り立ち、これはしばしばアルツェラの有界収束定理と呼ばれる。

この定理は、確率変数の期待値の収束のための十分条件を与えるため、確率論の分野において広く利用されている。

定理の内容
 を測度空間  上の実数値可測関数の列とする。この列はある関数  に各点収束し、次に述べる意味である可積分関数  によって支配されるものとする： が、すべての添え字  および  内のすべての点  に対して成り立つ。このとき  は可積分であり、
 
が成り立つ。これはまた
 
であることも意味する。

注意: 
 「 が可積分である」というステートメントはルベーグ積分の意味においてである。すなわち、となることである。
 関数列の収束と  による支配という条件は、次の仮定の下で、（ に関して）ほとんど至る所成立すれば良いという様に緩められる：測度空間  は完備であるか、あるいは、 はほとんど至る所で存在する各点極限とほとんど至る所一致する可測関数である。（これらの条件が必要である理由は、そうでないと零集合  のが存在して  が非可測となりうるからである）。
  のとき、支配的な可積分関数  が存在するという条件は、関数列  が一様可積分であるという条件に緩めることが出来る（ヴィタリの収束定理を参照）。

定理の証明
ルベーグの優収束定理はの特別な場合である。しかし、以下では、ファトゥの補題を本質的な道具として用いた、直接的な証明を行う。

ƒ は、g によって支配される可測関数の列 (fn) の各点収束極限であるため、それ自身もまた g によって支配される可測関数であり、したがって、可積分である。さらに、すべての n に対して
 
が成立し（この不等式は後で必要となる）、また
 
が成立する。この二つ目の等式は、f の定義により自明に分かる。ルベーグ積分の線型性および単調性により、
 
が得られる。逆ファトゥの補題により（ここで上述の、|f-fn| が可積分関数 2g により支配されるという不等式が必要となる）、
 
が得られるが、これはその極限が存在し、消失すること、すなわち
 
を意味し、したがって定理の主張は示される。

もし定理の仮定が μ に関してほとんど至る所でのみ成立するものであれば、ある μ に関する空集合 N ∈ Σ が存在し、関数 ƒn1N は S 上の至る所でそれらの仮定を満たす。すると、 ƒ(x) は x ∈ S−N に対して ƒn(x) の各点収束極限であり、また x ∈ N に対して ƒ(x)  0 であるため、ƒ は可測である。その積分の値は、μ に関する空集合 N には影響されない。

仮定についての考察
関数列がある可積分関数  によって支配されるという仮定を外すことは出来ない。このことは次の例によって分かる。区間  上の関数列  を次で定義する。 内の  に対しては  であり、それ以外の  に対しては  である。この列を支配するような  が存在するとしたら、それは各点上限  も支配しなければならない。今、

であることが、調和級数の発散性により分かる。したがって、ルベーグ積分の単調性により、そのような関数列を  上で支配するような可積分関数は存在しないことが分かる。次のような直接的な計算により、この場合の関数列の積分と各点収束極限の順序は交換できないことが分かる:
 
（この関数列の各点収束の極限はゼロ関数であるから左辺は  である）。関数列  は一様可積分ですらないため、ヴィタリの収束定理を適用することも出来ない。

有界収束定理
優収束定理の一つの系として、次に述べる有界収束定理がある:   が実数値可測関数からなる一様有界な関数列で、有界な測度空間  （すなわち、 が有限）上である関数  に各点収束するならば、この極限  は可積分関数であり、
 
が成り立つ。

注意: この関数列の各点収束性と一様有界性は、次の仮定の下で、（ に関して）ほとんど至る所成立すれば良いという様に緩められる：測度空間  は完備であるか、あるいは、 はほとんど至る所で存在する各点極限とほとんど至る所一致する可測関数である。

空間における優収束（系）
 を測度空間とし、 を  以上の実数とし、 を -可測関数  からなる関数列とする。

関数列  は、 に関してほとんど至る所である -可測関数  に収束し、ある  によって支配される、すなわち、すべての自然数  に対して  が  に関してほとんど至る所で成立する、ということを仮定する。

このとき、すべての  および  は  に属し、関数列  は  の意味において  へと収束する。すなわち
 
が成立する。

証明のアイデア: 関数列  と、それを支配する関数  に対して、元の定理を適用すれば良い。

拡張
優収束定理は、バナッハ空間に値を取る可測関数と上述のような非負かつ可積分である支配関数に対しても、適用可能である。

関連項目 
 確率変数の収束
 単調収束定理（可測関数による上からの支配が必要とされない代わりに、列の単調性が仮定される定理）
 シェッフェの補題
 一様可積分性
 ヴィタリの収束定理（ルベーグの優収束定理の一般化）
 Arzelàの収束定理（有界閉区間上の一様有界なリーマン可積分関数列  がリーマン可積分関数に各点収束するならば  が成り立つ。）

注

参考文献

 
 
 

 

証明を含む記事
確率論の定理
測度論の定理
実解析の定理
数学に関する記事