優収束定理

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

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

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

定理の内容

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

$\underset{n\to \mathrm{\infty }}{\lim }\underset{S}{\int }|f_n-f|d\mu =0$

が成り立つ。これはまた

$\underset{n\to \mathrm{\infty }}{\lim }\underset{S}{\int }{f}_{n}d\mu =\underset{S}{\int }\underset{n\to \mathrm{\infty }}{\lim }{f}_{n}d\mu =\underset{S}{\int }fd\mu$

であることも意味する。

注意:

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

定理の証明

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

ƒ は、g によって支配される可測関数の列 (f_n) の各点収束極限であるため、それ自身もまた g によって支配される可測関数であり、したがって、可積分である。さらに、すべての n に対して

$|f-f_n|\le |f|+|f_n|\le 2g$

が成立し（この不等式は後で必要となる）、また

$\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}|f-f_n|=0.$

が成立する。この二つ目の等式は、f の定義により自明に分かる。ルベーグ積分の線型性および単調性により、

$|\underset{S}{\int }fd\mu -\underset{S}{\int }{f}_{n}d\mu |=\left|\underset{S}{\int }(f-f_n)d\mu \right|\le \underset{S}{\int }|f-f_n|d\mu$

が得られる。逆ファトゥの補題により（ここで上述の、|f-f_n| が可積分関数 2g により支配されるという不等式が必要となる）、

$\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}\underset{S}{\int }|f-f_n|d\mu \le \underset{S}{\int }\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}|f-f_n|d\mu =0,$

が得られるが、これはその極限が存在し、消失すること、すなわち

$\underset{n\to \mathrm{\infty }}{\lim }\underset{S}{\int }|f-f_n|d\mu =0$

を意味し、したがって定理の主張は示される。

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

仮定についての考察

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

$\underset{0}{\overset{1}{\int }}h(x)dx\ge \underset{1/m}{\overset{1}{\int }}h(x)dx\ge \sum _{n=1}^{m-1}\underset{(1/(n+1),1/n]}{\int }ndx=\sum _{n=1}^{m-1}\frac{1}{n+1}\to \mathrm{\infty }\text{as }m\to \mathrm{\infty }$

であることが、調和級数の発散性により分かる。したがって、ルベーグ積分の単調性により、そのような関数列を テンプレート:Math 上で支配するような可積分関数は存在しないことが分かる。次のような直接的な計算により、この場合の関数列の積分と各点収束極限の順序は交換できないことが分かる:

$\underset{0}{\overset{1}{\int }}\underset{n\to \mathrm{\infty }}{\lim }{f}_n(x)dx=0\ne 1=\underset{n\to \mathrm{\infty }}{\lim }\underset{0}{\overset{1}{\int }}{f}_n(x)dx$

（この関数列の各点収束の極限はゼロ関数であるから左辺は テンプレート:Math である）。関数列 テンプレート:Math は一様可積分ですらないため、ヴィタリの収束定理を適用することも出来ない。

有界収束定理

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

$\underset{n\to \mathrm{\infty }}{\lim }\underset{S}{\int }{f}_{n}d\mu =\underset{S}{\int }fd\mu$

が成り立つ。

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

テンプレート:Math 空間における優収束（系）

$(\mathrm{\Omega },𝒜,\mu )$ を測度空間とし、テンプレート:Mvar を テンプレート:Math 以上の実数とし、テンプレート:Math を $𝒜$-可測関数 $f_n:\mathrm{\Omega }\to ℝ\cup \{\mathrm{\infty }\}$ からなる関数列とする。

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

このとき、すべての テンプレート:Mvar および テンプレート:Mvar は テンプレート:Mvar に属し、関数列 テンプレート:Math は [[Lp空間|テンプレート:Mvar]] の意味において テンプレート:Mvar へと収束する。すなわち

$\underset{n\to \mathrm{\infty }}{\lim }\Vert f_n-f{\Vert }_p=\underset{n\to \mathrm{\infty }}{\lim }{(\underset{\mathrm{\Omega }}{\int }|f_n-f{|}^{p}d\mu )}^{1/p}=0$

が成立する。

証明のアイデア: 関数列 $h_n=|f_n-f{|}^p$ と、それを支配する関数 $(2g{)}^p$ に対して、元の定理を適用すれば良い。

拡張

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

関連項目

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

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book