ファトゥの補題

数学の分野におけるファトゥの補題とは、ある関数列の下極限の積分と、積分の下極限とを関係付ける不等式についての補題である。ピエール・ファトゥの名にちなむ。

ファトゥの補題は、ファトゥ・ルベーグの定理や、ルベーグの優収束定理の証明に使うことが出来る。

1. ファトゥの補題の標準的な内容
-----------------

//f//1, //f//2, //f//3, .   .   . を、測度空間  上の非負可測関数の列とする。関数 //f//   : //S// → 0,   ∞ を各点毎に

と定義する。このとき //f   // は可測であり、

が成立する。

注釈: これらの関数は +∞ の値を取ることも許されており、積分の値も無限となる場合がある。

1.1. 証明
-------

ファトゥの補題は、次に記載する初めの証明のように、直接的に証明することも出来る。この証明は、Roydenにより発見された証明にさらに手を加えたものである。二つ目の証明はより短いが、単調収束定理を必要とするものである。

直接的な証明

ここでは少し弱い意味での補題の証明を行う。すなわち、//f//n が S の部分集合 E 上で μ に関してほとんど至る所収束することも許す。次を示すことを目的とする:

今

とする。このとき、//μ=0// であり、

である。したがって、//E// を //K// に置き換えることで、//f//n が E 上で //f// へと各点収束すると仮定することが出来る。以下、ルベーグ積分の定義により、//f// 以下の任意の非負の単関数 //φ// に対して

が成立することを示せば十分である。

はじめに、 である場合を考える。//a// を、//φ// の非負の値の最小値とする。

を定義する。

であることから、//μ// は無限大ある。ただし //M// は //φ// の到達する最大値とする。

を定義すると

を得る。しかし //An// は入れ子状の集合の増加列であるため、//μ// の下からの連続性により

を得る。同時に

であるため、この場合の主張は証明された。

である場合が残されている。このとき //μ// は有限でなければならない。上述と同様に、//M// を //φ// の最大値とし、//ε>0// を固定する。今

を定義する。このとき、//An// は入れ子状の集合の増加列で、それらの合併は //A// を含む。したがって、//A-An// は集合の減少列で、それらの共通部分は空である。//A// は有限測度を持つため、

を得る。したがって、ある n が存在し

が成立する。したがって、 に対して

が成立する。同時に、

であるため、

が得られる。これらの不等式を組み合わせることで

が得られる。したがって、//ε// を 0 とし、n についての下極限を取ることで、

が得られ、証明は完成される。<WtXmlEndTag /><WtXmlEndTag />

単調収束定理を用いた証明

すべての自然数 //k// に対して、各点毎に関数

を定義する。このとき関数列 //g//1, //g//2, .   .   . は、すべての //k// に対して //gk//   ≤ //g////k//+1 が成立するという意味で、増加であり、下極限 //f// へと各点収束する。

すべての //k//   ≤   //n// に対して、//gk//   ≤   //fn// であるため、積分の単調性により

が得られる。したがって、

が得られる。第一の不等式に対して単調収束定理を用い、第二の不等式および下極限の定理から、

が従う。<WtXmlEndTag /><WtXmlEndTag />

2. 厳密な不等号が成り立つ例
---------------

空間 にボレルσ-代数とルベーグ測度を備える。

確率空間の例: を単位区間とする。すべての自然数 に対してを定義する。
一様収束の例: をすべての実数からなる集合とし、を定義する。これらの関数列 は 上で、ゼロ関数へとそれぞれ各点および一様収束する。その積分の値は 0 であるが、各 の積分の値は 1 である。

3. 反例
-----

関数列 //f//1, //f//2, .   .   . の負の部分に関する適切な仮定は、ファトゥの補題において必要となる。実際、次のような反例がある。//S// を、ボレルσ-代数とルベーグ測度を備える半直線 [0,∞) とする。すべての自然数 //n// に対して、

を定義する。この関数列は、//S// 上でゼロ関数へと一様収束し、またすべての //x//   ≥   0 に対して //f////n//   =   0 //n//   >   //x// さえも成り立つ。しかしながら、各関数 //fn// の積分の値は −1 であるため、ファトゥの補題の不等式は成立しない。

4. 逆ファトゥの補題
-----------

//f//1, //f//2, .   .   . を、測度空間  上で定義される拡張実数値可測関数とする。すべての //n// に対して //f////n//   ≤   //g// が成立するような //S// 上の可積分関数 //g// が存在するなら、

が成立する。

注釈: ここで //g// が//可積分//であるとは、//g// が可測で が成り立つことを言う。

4.1. 証明
-------

非負の関数列 //g//   –   //f////n// に対してファトゥの補題を適用すればよい。

5. ファトゥの補題の拡張と変形
----------------

5.1. 可積分な下界
-----------

//f//1, //f//2, .   .   . を、測度空間  上で定義される拡張実数値可測関数の列とする。すべての //n// に対して //f////n//   ≥   −//g// が成立するような //S// 上の非負可積分関数 //g// が存在するなら、

が成立する。

5.1.1. 証明
---------

非負の関数列 //f////n//   +   //g// に対してファトゥの補題を適用すればよい。

5.2. 各点収束
---------

上と同じ設定のもとで、関数列 //f//1, //f//2, .   .   . が //S// 上で //μ// に関してほとんど至る所で関数 //f// へと各点収束するなら、

が成立する。

5.2.1. 証明
---------

//f// がほとんど至る所で //f////n// の下極限と一致しなければならないこと、および測度ゼロの集合上での被積分関数の値は積分の値へと影響を与えないことより。

5.3. 測度収束
---------

関数列 //f//1, //f//2, .   .   . が関数 //f// へと測度収束する場合にも、上の主張は成り立つ。

5.3.1. 証明
---------

次のような部分列

が存在する。この部分列も //f// へと測度収束するため、そこからさらに、//f// へとほとんど至る所で各点収束するような部分列を作ることが出来る。この部分列に対して、上のファトゥの補題の変形版を適用することが可能となる。

5.4. 変化する測度の下でのファトゥの補題
----------------------

ファトゥの補題についての上述の議論では、すべて積分は単一の固定された測度 μ に対して実行されていた。ここでは μn を、可測空間  上の測度の列で、

を満たすようなものとする。このとき、非負の可積分関数 //f////n// の列およびその各点毎の下極限 //f// に対して、

が成立する。

{| class="toccolours mw-collapsible mw-collapsed" width="90%" style="text-align:left"!証明 |- |ここでは少し強い意味での証明を行う。すなわち、//f//n が S の部分集合 E 上で μ に関してほとんど至る所収束することも許す。次の不等式を示すことを目的とする:

今

とする。このとき、//μ=0// であり

が成立する。したがって、//E// を //E-K// に置き換えることによって、//f//n が E 上で //f// へと各点収束すると仮定出来る。続いて、任意の単関数 //φ// に対して

であることに注意されたい。したがって、ルベーグ積分の定義により、//φ// を //f// 以下の任意の非負の単関数としたときに

であることを示せば十分である。//a// を、//φ// の取る最小の非負の値とする。

を定義する。

はじめに、 である場合を考える。

が成立することから、//μ// は無限大であることが分かる。ただし、//M// は //φ// の最大値とする。

を定義すると

であることが分かる。しかし、//An// は入れ子状の集合の増加列であるため、//μ// の下からの連続性によって

であることが分かる。したがって

である。同時に

であるため、この場合の主張は証明される。

である場合が残されている。//μ// は有限でなければならない。上述のように //M// を //φ// の最大値とし、//ε>0// を固定する。

を定義する。すると //An// は入れ子状の集合の増加列で、それらの合併は //A// を含むことが分かる。したがって、//A-An// は共通部分が空であるような集合の減少列である。//A// は有限の測度を持っているため

を得る。したがって、

を満たすような n が存在する。したがって、

であることから、

を満たす N が存在することが分かる。したがって、 に対して

が成立する。同時に

も成立するため、

を得る。これらの不等式を組み合わせることで

を得る。//ε// を 0 に近付け、n についての下極限を取ることで、

が得られ、証明は完成される。 |}

6. 条件付き期待値に対するファトゥの補題
---------------------

確率論においては、記号を変えることで、上述のファトゥの補題は、確率空間 上で定義される確率変数の列 //X//1, //X//2, .   .   . に対して適用可能となる。このとき、積分は期待値へと変わる。加えて、条件付き期待値に対するものもある。

6.1. 標準的な場合
-----------

//X//1, //X//2, .   .   . を、確率空間 上の非負の確率変数の列とし、 を部分σ-代数とする。このとき

      almost surelyが成立する。

注釈: 非負の確率変数に対する条件付き期待値は常に well-defind であり、有限な期待値は必ずしも必要ではない。

6.1.1. 証明
---------

記号の変化はあるが、この証明は上述の標準的なファトゥの補題に対する証明と非常によく似ている。しかしながら、ここでは条件付き期待値に対する単調収束定理が必要となる。

//X// を //X////n// の下極限とする。すべての自然数 //k// に対して、確率変数

を各点毎に定義する。このとき、数列 //Y//1, //Y//2, .   .   . は増加であり、//X// へと各点収束する。//k//   ≤   //n// に対して //Y////k//   ≤   //X////n// であることから、

      almost surelyを、条件付き期待値の単調性により、得る。したがって

      almost surelyが、確率ゼロの例外集合の可算個の合併はふたたび空集合であることより、従う。//X// の定義と、その //Y////k// の各点収束としての表現と、条件付き期待値に対する単調収束定理と、上の不等式および下極限の定義によって、ほとんど確実に

が従う。

6.2. 一様可積分な負の部分への拡張
-------------------

//X//1, //X//2, .   .   . を、確率空間 上の確率変数の列とし、 を部分σ-代数とする。もし、負の部分

が条件付き期待値について一様可積分であるなら、すなわち、//ε//   >   0 に対して

      almost surelyを満たすような //c//   >   0 が存在するなら、

      almost surelyが成立する。

注釈:

を満たすような集合

上では、上の不等式の左辺は正の無限大であると見なされる。その下極限の条件付き期待値は、この集合上では、well-defind ではない場合もある。なぜならば、その負の部分の条件付き期待値も正の無限大となる可能性もあるからである。

6.2.1. 証明
---------

//ε//   >   0 とする。条件付き期待値についての一様可積分性により、

を満たすような //c//   >   0 が存在することが分かる。//x//+ := max{//x//,0} を実数 //x// の正の部分としたとき、

であることから、条件付き期待値の単調性と、条件付き期待値に対する標準的なファトゥの補題によって

      almost surelyが得られる。すると

であることから、

      almost surelyを得る。したがって

      almost surelyを得る。これは定理の主張を意味する。

7. 参考文献
-------

8. 外部リンク
--------