ファトゥの補題のソースを表示

[[数学]]の分野における'''ファトゥの補題'''（ファトゥのほだい、{{Lang-en-short|Fatou's lemma}}）とは、ある[[関数 (数学)|関数]][[列 (数学)|列]]の[[下極限]]の（[[ルベーグ積分]]の意味での）[[積分]]と、積分の下極限とを関係付ける不等式についての補題である。[[ピエール・ファトゥ]]の名にちなむ。

ファトゥの補題は、{{仮リンク|ファトゥ・ルベーグの定理|en|Fatou–Lebesgue theorem}}や、ルベーグの[[優収束定理]]の証明に使うことが出来る。

== ファトゥの補題の標準的な内容 ==
''f''<sub>1</sub>, ''f''<sub>2</sub>, ''f''<sub>3</sub>, .&nbsp;.&nbsp;. を、[[測度空間]] (''S'',''Σ'',''μ'') 上の[[正の数と負の数|非負]][[可測関数]]の列とする。関数 ''f''&thinsp;: ''S'' → <nowiki>[</nowiki>0,&thinsp;∞<nowiki>]</nowiki> を各点毎に
:<math>
f(s) =\liminf_{n\to\infty} f_n(s),\quad s\in S
</math>
と定義する。このとき ''f&thinsp;'' は可測であり、
:<math>
\int_S f\,d\mu \le \liminf_{n\to\infty} \int_S f_n\,d\mu\,
</math>
が成立する。

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

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

直接的な証明 

ここでは少し弱い意味での補題の証明を行う。すなわち、''f''<sub>n</sub> が S の部分集合 E 上で μ に関して[[ほとんど (数学)|ほとんど至る所]]収束することも許す。次を示すことを目的とする:
:<math>
\int_E f\,d\mu \le \liminf_{n\to\infty} \int_E f_n\,d\mu\,.
</math>
今
:<math> K=\{x\in E|f_n(x)\rightarrow f(x)\} </math>
とする。このとき、''μ(E-K)=0'' であり、
:<math> \int_{E}f\,d\mu=\int_{K}f\,d\mu,\ \ \int_{E}f_n\,d\mu=\int_{K}f_n\,d\mu \quad \forall n\in \N </math>
である。したがって、''E'' を ''K'' に置き換えることで、''f''<sub>n</sub> が E 上で ''f'' へと[[各点収束]]すると仮定することが出来る。以下、ルベーグ積分の定義により、''f'' 以下の任意の非負の[[単関数]] ''φ'' に対して
:<math> 
\int_{E}\varphi \,d\mu\leq \liminf_{n\rightarrow \infty} \int_{E}f_n\,d\mu
</math>
が成立することを示せば十分である。

はじめに、<math>\int_{E}\varphi=\infty</math> である場合を考える。''a'' を、''φ'' の非負の値の最小値（そのような値は ''φ'' の積分が無限大であることより、必ず存在する）とする。
:<math> 
A=\{x\in E |\varphi(x)>a\}
</math>
を定義する。
:<math>\int_{E}\varphi\leq M\mu(A),</math>
であることから、''μ(A)'' は無限大ある。ただし ''M'' は ''φ'' の到達する（必ず有限な）最大値とする。
:<math> 
A_n=\{x\in E |f_k(x)>a~\forall k\geq n \}.
</math>
を定義すると
:<math> 
A\subseteq \bigcup_n A_n \Rightarrow \mu(\bigcup_n A_n)=\infty
</math>
を得る。しかし ''A<sub>n</sub>'' は入れ子状の集合の増加列であるため、''μ'' の下からの連続性により
:<math> 
\lim_{n\rightarrow \infty} \mu(A_n)=\infty
</math>
を得る。同時に
:<math> 
\int_E f_n\, d\mu \geq a \mu(A_n) \Rightarrow \liminf_{n\to \infty} \int_E f_n \, d\mu = \infty = \int_E \varphi\, d\mu,
</math>
であるため、この場合の主張は証明された。

<math>\int_{E}\varphi<\infty</math> である場合が残されている。このとき ''μ(A)'' は有限でなければならない。上述と同様に、''M'' を ''φ'' の最大値とし、''ε>0'' を固定する。今
:<math> 
A_n=\{x\in E|f_k(x)>(1-\epsilon)\varphi(x)~\forall k\geq n\}
</math>
を定義する。このとき、''A<sub>n</sub>'' は入れ子状の集合の増加列で、それらの合併は ''A'' を含む。したがって、''A-A<sub>n</sub>'' は集合の減少列で、それらの共通部分は空である。''A'' は有限測度を持つ（これがこの証明を二つの場合に分けて考えた理由である）ため、
:<math> 
\lim_{n\rightarrow \infty} \mu(A-A_n)=0
</math>
を得る。したがって、ある n が存在し 
:<math> 
\mu(A-A_k)<\epsilon ,~\forall k\geq n
</math>
が成立する。したがって、<math>k\geq n</math> に対して
:<math> 
\int_E f_k \, d\mu \geq \int_{A_k}f_k \, d\mu \geq (1-\epsilon)\int_{A_k}\varphi\, d\mu
</math>
が成立する。同時に、
:<math> 
\int_E \varphi \, d\mu = \int_A \varphi \, d\mu = \int_{A_k} \varphi \, d\mu + \int_{A-A_k} \varphi \, d\mu
</math>
であるため、
:<math> 
(1-\epsilon)\int_{A_k} \varphi \, d\mu \geq (1-\epsilon)\int_E \varphi \, d\mu -  \int_{A-A_k} \varphi \, d\mu
</math>
が得られる。これらの不等式を組み合わせることで
:<math> 
\int_{E} f_k \, d\mu \geq (1-\epsilon)\int_E \varphi \, d\mu -  \int_{A-A_k} \varphi \, d\mu \geq \int_E \varphi \, d\mu -  \epsilon\left(\int_{E} \varphi \, d\mu+M\right)
</math>
が得られる。したがって、''ε'' を 0 とし、n についての下極限を取ることで、
:<math> 
\liminf_{n\rightarrow \infty} \int_{E} f_n \, d\mu \geq \int_E \varphi \, d\mu
</math>
が得られ、証明は完成される。
</div>
</div>

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

すべての自然数 ''k'' に対して、各点毎に関数
:<math>g_k=\inf_{n\ge k}f_n </math>
を定義する。このとき関数列 ''g''<sub>1</sub>, ''g''<sub>2</sub>, .&nbsp;.&nbsp;. は、すべての ''k'' に対して ''g<sub>k</sub>''&nbsp;≤ ''g''<sub>''k''+1</sub> が成立するという意味で、増加であり、下極限 ''f'' へと各点収束する。

すべての ''k''&nbsp;≤&nbsp;''n'' に対して、''g<sub>k</sub>''&nbsp;≤&nbsp;''f<sub>n</sub>'' であるため、積分の単調性により
:<math>\int_E g_k\,d\mu\le\int_E f_n\,d\mu </math>
が得られる。したがって、
:<math>
\int_E g_k\,d\mu
\le\inf_{n\ge k}\int_E f_n\,d\mu
</math>
が得られる。第一の不等式に対して単調収束定理を用い、第二の不等式および下極限の定理から、
:<math>
\int_E f\,d\mu
=\lim_{k\to\infty}\int_E g_k\,d\mu
\le\lim_{k\to\infty} \inf_{n\ge k}\int_E f_n\,d\mu
=\liminf_{n\to\infty} \int_E f_n\,d\mu\,
</math>
が従う。
</div>
</div>

== 厳密な不等号が成り立つ例 ==
空間 <math>S</math> に[[ボレル代数|ボレルσ-代数]]と[[ルベーグ測度]]を備える。
* [[確率空間]]の例: <math>S=[0,1]</math> を[[単位区間]]とする。すべての[[自然数]] <math>n</math> に対して
::<math>
f_n(x)=\begin{cases}n&\text{for }x\in (0,1/n),\\
0&\text{otherwise}
\end{cases}</math>
:を定義する。
* [[一様収束]]の例: <math>S</math> をすべての[[実数]]からなる集合とし、
::<math>
f_n(x)=\begin{cases}\frac1n&\text{for }x\in [0,n],\\
0&\text{otherwise}
\end{cases}</math>
:を定義する。

これらの関数列 <math>(f_n)_{n\in\N}</math> は <math>S</math> 上で、[[0|ゼロ関数]]へとそれぞれ各点および一様収束する。その積分の値は 0 であるが、各 <math>f_n</math> の積分の値は 1 である。

== 反例 ==
関数列 ''f''<sub>1</sub>, ''f''<sub>2</sub>, .&nbsp;.&nbsp;. の負の部分に関する適切な仮定は、ファトゥの補題において必要となる。実際、次のような反例がある。''S'' を、ボレルσ-代数とルベーグ測度を備える半直線 [0,∞) とする。すべての自然数 ''n'' に対して、
:<math>
f_n(x)=\begin{cases}-\frac1n&\text{for }x\in [n,2n],\\
0&\text{otherwise}
\end{cases}</math>
を定義する。この関数列は、''S'' 上で（積分がゼロであるような）ゼロ関数へと一様収束し、またすべての ''x''&nbsp;≥&nbsp;0 に対して ''f''<sub>''n''</sub>(''x'')&nbsp;=&nbsp;0 <math>\forall</math> ''n''&nbsp;>&nbsp;''x'' さえも成り立つ（したがってすべての点 ''x'' に対して、極限 0 は有限回のステップで到達される）。しかしながら、各関数 ''f<sub>n</sub>'' の積分の値は &minus;1 であるため、ファトゥの補題の不等式は成立しない。

== 逆ファトゥの補題 ==
''f''<sub>1</sub>, ''f''<sub>2</sub>, .&nbsp;.&nbsp;. を、測度空間 (''S'',''Σ'',''μ'') 上で定義される[[拡大実数|拡張実数値]]可測関数とする。すべての ''n'' に対して ''f''<sub>''n''</sub>&nbsp;≤&nbsp;''g'' が成立するような ''S'' 上の可積分関数 ''g'' が存在するなら、
:<math>
\limsup_{n\to\infty}\int_S f_n\,d\mu\leq\int_S\limsup_{n\to\infty}f_n\,d\mu
</math>
が成立する。

'''注釈:''' ここで ''g'' が''可積分''であるとは、''g'' が可測で <math>\textstyle\int_S g\,d\mu<\infty</math> が成り立つことを言う。

=== 証明 ===
非負の関数列 ''g''&nbsp;–&nbsp;''f''<sub>''n''</sub> に対してファトゥの補題を適用すればよい。

== ファトゥの補題の拡張と変形 ==
=== 可積分な下界 ===
''f''<sub>1</sub>, ''f''<sub>2</sub>, .&nbsp;.&nbsp;. を、測度空間 (''S'',''Σ'',''μ'') 上で定義される拡張実数値可測関数の列とする。すべての ''n'' に対して ''f''<sub>''n''</sub>&nbsp;≥&nbsp;&minus;''g'' が成立するような ''S'' 上の非負可積分関数 ''g'' が存在するなら、
:<math>
\int_S \liminf_{n\to\infty} f_n\,d\mu
 \le \liminf_{n\to\infty} \int_S f_n\,d\mu\ 
</math>
が成立する。

==== 証明 ====
非負の関数列 ''f''<sub>''n''</sub>&nbsp;+&nbsp;''g'' に対してファトゥの補題を適用すればよい。

=== 各点収束 ===
上と同じ設定のもとで、関数列 ''f''<sub>1</sub>, ''f''<sub>2</sub>, .&nbsp;.&nbsp;. が ''S'' 上で ''μ'' に関して[[ほとんど (数学)|ほとんど至る所]]で関数 ''f'' へと[[各点収束]]するなら、
:<math>\int_S f\,d\mu \le \liminf_{n\to\infty} \int_S f_n\,d\mu\,</math>
が成立する。

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

=== 測度収束 ===
関数列 ''f''<sub>1</sub>, ''f''<sub>2</sub>, .&nbsp;.&nbsp;. が関数 ''f'' へと[[測度収束]]する場合にも、上の主張は成り立つ。

==== 証明 ====
次のような部分列
:<math>\lim_{k\to\infty} \int_S f_{n_k}\,d\mu=\liminf_{n\to\infty} \int_S f_n\,d\mu\ </math>
が存在する。この部分列も ''f'' へと測度収束するため、そこからさらに、''f'' へとほとんど至る所で各点収束するような部分列を作ることが出来る。この部分列に対して、上のファトゥの補題の変形版を適用することが可能となる。

=== 変化する測度の下でのファトゥの補題 ===
ファトゥの補題についての上述の議論では、すべて積分は単一の固定された測度 μ に対して実行されていた。ここでは μ<sub>n</sub> を、可測空間 (''S'',''Σ'') 上の測度の列で、
:<math>\mu_n(E)\to \mu(E),~\forall E\in \Sigma. </math>
を満たすようなものとする（{{仮リンク|測度の収束|en|Convergence of measures}}を参照）。このとき、非負の可積分関数 ''f''<sub>''n''</sub> の列およびその各点毎の下極限 ''f'' に対して、
:<math> \int_S f\,d\mu \leq \liminf_{n\to \infty} \int_S f_n\, d\mu_n </math>
が成立する。

:{| class="toccolours mw-collapsible mw-collapsed" width="90%" style="text-align:left"
!証明
|-
|ここでは少し強い意味での証明を行う。すなわち、''f''<sub>n</sub> が S の部分集合 E 上で μ に関して[[ほとんど (数学)|ほとんど至る所]]収束することも許す。次の不等式を示すことを目的とする:
:<math>
\int_E f\,d\mu \le \liminf_{n\to\infty} \int_E f_n\,d\mu_n\,.
</math>
今 
:<math> K=\{x\in E|f_n(x)\rightarrow f(x)\} </math>
とする。このとき、''μ(E-K)=0'' であり 
:<math> \int_{E}f\,d\mu=\int_{E-K}f\,d\mu,~~~\int_{E}f_n\,d\mu=\int_{E-K}f_n\,d\mu \quad \forall n\in \N </math>
が成立する。したがって、''E'' を ''E-K'' に置き換えることによって、''f''<sub>n</sub> が E 上で ''f'' へと[[各点収束]]すると仮定出来る。続いて、任意の単関数 ''φ'' に対して
:<math> \int_{E}\phi\, d\mu=\lim_{n\to \infty} \int_{E} \phi\, d\mu_n </math>
であることに注意されたい。したがって、ルベーグ積分の定義により、''φ'' を ''f'' 以下の任意の非負の単関数としたときに
:<math> 
\int_{E}\phi \,d\mu\leq \liminf_{n\rightarrow \infty} \int_{E}f_n\,d\mu_n
</math>
であることを示せば十分である。''a'' を、''φ'' の取る最小の非負の値とする。
:<math> 
A=\{x\in E |\phi(x)>a\}
</math>
を定義する。

はじめに、<math>\int_{E}\phi\, d\mu=\infty</math> である場合を考える。
:<math>\int_{E}\phi\, d\mu \leq M\mu(A)</math>
が成立することから、''μ(A)'' は無限大であることが分かる。ただし、''M'' は ''φ'' の（必ず有限であるような）最大値とする。
:<math> 
A_n=\{x\in E |f_k(x)>a~\forall k\geq n \}
</math>
を定義すると
:<math> 
A\subseteq \bigcup_n A_n \Rightarrow \mu(\bigcup_n A_n)=\infty
</math>
であることが分かる。しかし、''A<sub>n</sub>'' は入れ子状の集合の増加列であるため、''μ'' の下からの連続性によって
:<math> 
\lim_{n\rightarrow \infty} \mu(A_n)=\infty
</math>
であることが分かる。したがって
:<math> 
\lim_{n\to\infty}\mu_n(A_n)=\mu(A_n)=\infty
</math>
である。同時に
:<math> 
\int_E f_n\, d\mu_n \geq a \mu_n(A_n) \Rightarrow \liminf_{n\to \infty}\int_E f_n \, d\mu_n = \infty = \int_E \phi\, d\mu
</math>
であるため、この場合の主張は証明される。

<math>\int_{E}\phi\, d\mu<\infty</math> である場合が残されている。''μ(A)'' は有限でなければならない。上述のように ''M'' を ''φ'' の最大値とし、''ε>0'' を固定する。
:<math> 
A_n=\{x\in E|f_k(x)>(1-\epsilon)\phi(x)~\forall k\geq n\}
</math>
を定義する。すると ''A<sub>n</sub>'' は入れ子状の集合の増加列で、それらの合併は ''A'' を含むことが分かる。したがって、''A-A<sub>n</sub>'' は共通部分が空であるような集合の減少列である。''A'' は有限の測度を持っている（これが二つの場合に分けて証明を行っている理由である）ため
:<math> 
\lim_{n\rightarrow \infty} \mu(A-A_n)=0
</math>
を得る。したがって、
:<math> 
\mu(A-A_k)<\epsilon ,~\forall k\geq n
</math>
を満たすような n が存在する。したがって、
:<math> 
\lim_{n\to \infty} \mu_n(A-A_k)=\mu(A-A_k)
</math>
であることから、
:<math> 
\mu_k(A-A_k)<\epsilon,~\forall k\geq N.
</math>
を満たす N が存在することが分かる。したがって、<math>k\geq N</math> に対して
:<math> 
\int_E f_k \, d\mu_k \geq \int_{A_k}f_k \, d\mu_k \geq (1-\epsilon)\int_{A_k}\phi\, d\mu_k
</math>
が成立する。同時に
:<math> 
\int_E \phi \, d\mu_k = \int_A \phi \, d\mu_k = \int_{A_k} \phi \, d\mu_k + \int_{A-A_k} \phi \, d\mu_k
</math>
も成立するため、 
:<math> 
(1-\epsilon)\int_{A_k} \phi \, d\mu_k \geq (1-\epsilon)\int_E \phi \, d\mu_k -  \int_{A-A_k} \phi \, d\mu_k
</math>
を得る。これらの不等式を組み合わせることで
:<math> 
\int_{E} f_k \, d\mu_k \geq (1-\epsilon)\int_E \phi \, d\mu_k -  \int_{A-A_k} \phi \, d\mu_k \geq \int_E \phi \, d\mu_k -  \epsilon\left(\int_{E} \phi \, d\mu_k+M\right)
</math>
を得る。''ε'' を 0 に近付け、n についての下極限を取ることで、
:<math> 
\liminf_{n\rightarrow \infty} \int_{E} f_n \, d\mu_k \geq \int_E \phi \, d\mu
</math>
が得られ、証明は完成される。
|}

== 条件付き期待値に対するファトゥの補題 ==
[[確率論]]においては、記号を変えることで、上述のファトゥの補題は、[[確率空間]] <math>\scriptstyle(\Omega,\,\mathcal F,\,\mathbb P)</math> 上で定義される[[確率変数]]の列 ''X''<sub>1</sub>, ''X''<sub>2</sub>, .&nbsp;.&nbsp;. に対して適用可能となる。このとき、積分は[[期待値]]へと変わる。加えて、[[条件付き期待値]]に対するものもある。

=== 標準的な場合 ===
''X''<sub>1</sub>, ''X''<sub>2</sub>, .&nbsp;.&nbsp;. を、確率空間 <math>\scriptstyle(\Omega,\mathcal F,\mathbb P)</math> 上の非負の確率変数の列とし、<math>\scriptstyle \mathcal G\,\subset\,\mathcal F</math> を[[完全加法族|部分σ-代数]]とする。このとき
:<math>\mathbb{E}\Bigl[\liminf_{n\to\infty}X_n\,\Big|\,\mathcal G\Bigr]\le\liminf_{n\to\infty}\,\mathbb{E}[X_n|\mathcal G]</math>&nbsp;&nbsp;&nbsp;[[ほとんど (数学)|almost surely]]
が成立する。

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

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

''X'' を ''X''<sub>''n''</sub> の下極限とする。すべての自然数 ''k'' に対して、確率変数
:<math>Y_k=\inf_{n\ge k}X_n </math>
を各点毎に定義する。このとき、数列 ''Y''<sub>1</sub>,  ''Y''<sub>2</sub>, .&nbsp;.&nbsp;. は増加であり、''X'' へと各点収束する。''k''&nbsp;≤&nbsp;''n'' に対して ''Y''<sub>''k''</sub>&nbsp;≤&nbsp;''X''<sub>''n''</sub> であることから、
:<math>\mathbb{E}[Y_k|\mathcal G]\le\mathbb{E}[X_n|\mathcal G]</math>&nbsp;&nbsp;&nbsp;almost surely
を、[[条件付き期待値|条件付き期待値の単調性]]により、得る。したがって
:<math>\mathbb{E}[Y_k|\mathcal G]\le\inf_{n\ge k}\mathbb{E}[X_n|\mathcal G]</math>&nbsp;&nbsp;&nbsp;almost surely
が、確率ゼロの例外集合の可算個の合併はふたたび空集合であることより、従う。''X'' の定義と、その ''Y''<Sub>''k''</sub> の各点収束としての表現と、条件付き期待値に対する単調収束定理と、上の不等式および下極限の定義によって、ほとんど確実に
:<math>
\begin{align}
\mathbb{E}\Bigl[\liminf_{n\to\infty}X_n\,\Big|\,\mathcal G\Bigr]
&=\mathbb{E}[X|\mathcal G]
=\mathbb{E}\Bigl[\lim_{k\to\infty}Y_k\,\Big|\,\mathcal G\Bigr]
=\lim_{k\to\infty}\mathbb{E}[Y_k|\mathcal G]\\
&\le\lim_{k\to\infty} \inf_{n\ge k}\mathbb{E}[X_n|\mathcal G]
=\liminf_{n\to\infty}\,\mathbb{E}[X_n|\mathcal G]
\end{align}
</math>
が従う。

=== 一様可積分な負の部分への拡張 ===
''X''<sub>1</sub>, ''X''<sub>2</sub>, .&nbsp;.&nbsp;. を、確率空間 <math>\scriptstyle(\Omega,\mathcal F,\mathbb P)</math> 上の確率変数の列とし、<math>\scriptstyle \mathcal G\,\subset\,\mathcal F</math> を[[完全加法族|部分σ-代数]]とする。もし、負の部分
:<math>X_n^-:=\max\{-X_n,0\},\qquad n\in{\mathbb N},</math>
が条件付き期待値について一様可積分であるなら、すなわち、''ε''&nbsp;>&nbsp;0 に対して
:<math>\mathbb{E}\bigl[X_n^-1_{\{X_n^->c\}}\,|\,\mathcal G\bigr]<\varepsilon,  
\qquad \forall n\in\mathbb{N} </math>&nbsp;&nbsp;&nbsp;almost surely 
を満たすような ''c''&nbsp;>&nbsp;0 が存在するなら、
:<math>\mathbb{E}\Bigl[\liminf_{n\to\infty}X_n\,\Big|\,\mathcal G\Bigr]\le\liminf_{n\to\infty}\,\mathbb{E}[X_n|\mathcal G]</math>&nbsp;&nbsp;&nbsp;almost surely
が成立する。

'''注釈:'''
:<math>\mathbb{E}[\max\{X,0\}\,|\,\mathcal G]=\infty,</math>
を満たすような集合
:<math>X:=\liminf_{n\to\infty}X_n</math>
上では、上の不等式の左辺は正の無限大であると見なされる。その下極限の条件付き期待値は、この集合上では、well-defind ではない場合もある。なぜならば、その負の部分の条件付き期待値も正の無限大となる可能性もあるからである。

==== 証明 ====
''ε''&nbsp;>&nbsp;0 とする。条件付き期待値についての一様可積分性により、
:<math>\mathbb{E}\bigl[X_n^-1_{\{X_n^->c\}}\,|\,\mathcal G\bigr]<\varepsilon
\quad \forall n\in\mathbb{N}\quad \text{almost surely}</math>
を満たすような ''c''&nbsp;>&nbsp;0 が存在することが分かる。''x''<sup>+</sup> := max{''x'',0} を実数 ''x'' の正の部分としたとき、
:<math>X+c\le\liminf_{n\to\infty}(X_n+c)^+</math>
であることから、条件付き期待値の単調性（あるいは上述の決まり）と、条件付き期待値に対する標準的なファトゥの補題によって
:<math>\mathbb{E}[X\,|\,\mathcal G]+c
\le\mathbb{E}\Bigl[\liminf_{n\to\infty}(X_n+c)^+\,\Big|\,\mathcal G\Bigr]
\le\liminf_{n\to\infty}\mathbb{E}[(X_n+c)^+\,|\,\mathcal G]</math>&nbsp;&nbsp;&nbsp;almost surely
が得られる。すると
:<math>(X_n+c)^+=(X_n+c)+(X_n+c)^-\le X_n+c+X_n^-1_{\{X_n^->c\}}</math>
であることから、
:<math>\mathbb{E}[(X_n+c)^+\,|\,\mathcal G]
\le\mathbb{E}[X_n\,|\,\mathcal G]+c+\varepsilon</math>&nbsp;&nbsp;&nbsp;almost surely
を得る。したがって
:<math>\mathbb{E}[X\,|\,\mathcal G]\le
\liminf_{n\to\infty}\mathbb{E}[X_n\,|\,\mathcal G]+\varepsilon</math>&nbsp;&nbsp;&nbsp;almost surely
を得る。これは定理の主張を意味する。

== 参考文献 ==
*{{cite book
 | last = Royden
 | first = H.L.
 | title = Real Analysis
 | edition = 3rd
 | year = 1988
}}

== 外部リンク ==
*{{planetmath reference|id=3678|title=Fatou's lemma}}


{{DEFAULTSORT:ふあとうのほたい}}
[[Category:証明を含む記事]]
[[Category:測度論]]
[[Category:解析学]]
[[Category:補題]]
[[Category:ピエール・ファトゥ]]
[[Category:数学のエポニム]]
[[Category:数学に関する記事]]