1

Fatouの補題と逆Fatouの補題

1610
0
$$$$

概要

本稿では,単調収束定理を認めてFatouの補題と逆Fatouの補題の証明を与える.Fatouの補題とは異なり,逆Fatouの補題では可積分な優関数の存在を仮定しなければならないことに注意が必要である.

以下では測度空間$(X,\mathcal{M},\mu)$上で考える.

単調収束定理(monotone convergence theorem)

本稿では単調収束定理(monotone convergence theorem)を証明無しに認める.

単調収束定理

$f$を非負可測関数,$(f_n)_{n\geq1}$を非負可測関数列であって


  • 任意の$x\in X$に対して$0\leq f_1(x)\leq f_2(x)\leq\cdots$

  • 任意の$x\in X$に対して$\displaystyle\lim_{n\to\infty}f_n(x)=f(x)$
を満たすものとするとき
$$ \lim_{n\to\infty}\int_Xf_n(x)\,d\mu(x)=\int_Xf(x)\,d\mu(x) $$
が成り立つ.

Fatouの補題(Fatou's lemma)

Fatouの補題(Fatou's lemma)は単調収束定理を用いて証明することができる.

Fatouの補題

非負可測関数列$(f_n)_{n\geq1}$に対して
$$ \int_X\liminf_{n\to\infty}f_n(x)\,d\mu(x)\leq\liminf_{n\to\infty}\int_Xf_n(x)\,d\mu(x) $$
が成り立つ.

$g_n=\displaystyle\inf_{m\geq n}f_m$とおくと,$(g_n)_{n\geq1}$


  • 任意の$x\in X$に対して$0\leq g_1(x)\leq g_2(x)\leq\cdots$

  • 任意の$x\in X$に対して$\displaystyle\lim_{n\to\infty}g_n(x)=\liminf_{n\to\infty}f_n(x)$
を満たす非負可測関数列である.よって,単調収束定理より
$$ \lim_{n\to\infty}\int_Xg_n(x)\,d\mu(x)=\int_X\liminf_{n\to\infty}f_n(x)\,d\mu(x) $$
が成り立つ.一方,$(g_n)_{n\geq1}$の定義より
$$ \lim_{n\to\infty}\int_Xg_n(x)\,d\mu(x)=\liminf_{n\to\infty}\int_Xg_n(x)\,d\mu(x)\leq\liminf_{n\to\infty}\int_Xf_n(x)\,d\mu(x) $$
である.従って
$$ \int_X\liminf_{n\to\infty}f_n(x)\,d\mu(x)\leq\liminf_{n\to\infty}\int_Xf_n(x)\,d\mu(x) $$
を得る.

逆Fatouの補題(reverse Fatou lemma)

逆Fatouの補題(reverse Fatou lemma)はFatouの補題の系として得られる.

逆Fatouの補題

非負可測関数列$(f_n)_{n\geq1}$に対して,任意の$n\geq1$および$x\in X$に対し$f_n(x)\leq g(x)$を満たすような非負可積分関数$g$が存在するとき
$$ \int_X\limsup_{n\to\infty}f_n(x)\,d\mu(x)\geq\limsup_{n\to\infty}\int_Xf_n(x)\,d\mu(x) $$
が成り立つ.

$g_n=g-f_n$とおくと,任意の$n\geq1$および$x\in X$に対し$f_n(x)\leq g(x)$であることから,$(g_n)_{n\geq1}$は非負可測関数列である.よって,Fatouの補題より
$$ \int_X\liminf_{n\to\infty}g_n(x)\,d\mu(x)\leq\liminf_{n\to\infty}\int_Xg_n(x)\,d\mu(x) $$
が成り立つ.一方,$g_n=g-f_n$より
$$ \int_X\liminf_{n\to\infty}g_n(x)\,d\mu(x) =\int_Xg(x)\,d\mu(x)-\int_X\limsup_{n\to\infty}f_n(x)\,d\mu(x) $$
かつ
$$ \liminf_{n\to\infty}\int_Xg_n(x)\,d\mu(x)=\int_Xg(x)\,d\mu(x)-\limsup_{n\to\infty}\int_Xf_n(x)\,d\mu(x) $$
である.従って
$$ \int_X\limsup_{n\to\infty}f_n(x)\,d\mu(x)\geq\limsup_{n\to\infty}\int_Xf_n(x)\,d\mu(x) $$
を得る.

Fatouの補題とは異なり,逆Fatouの補題では可積分な優関数の存在が仮定されている.

投稿日:20201210

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

電気魚
電気魚
21
25682

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中