logo

ファトゥの補題の証明 📂測度論

ファトゥの補題の証明

定理1

測度が非負の可測関数数列 {fn}\left\{ f_{n} \right\} に対して、 E(lim infnfn)dmlim infnEfndm \int_{E} \left( \liminf_{n \to \infty} f_{n} \right) dm \le \liminf_{n \to \infty} \int_{E} f_{n} dm


説明

実解析での単調収束定理優収束定理を証明するために必要な補題である。可測関数でない数列に関するパトの補題のバージョンは以下の通り。

数列のバージョン: 関数の数列 {fk:N[0,)}kN\left\{ f_{k} : \mathbb{N} \to [0, \infty) \right\}_{k \in \mathbb{N}} が非負の値を取る場合、 j=1lim infkfk(j)lim infkj=1fk(j),jN \sum_{j=1}^{\infty} \liminf_{k \to \infty} f_{k} (j) \le \liminf_{k \to \infty} \sum_{j=1}^{\infty} f_{k} (j) \qquad , \forall j \in \mathbb{N}

証明

戦略: 単純関数に関する直感が必要である。全ての補題と同様に、役に立つが、証明はかなり長く複雑なので、頭がクリアで健康な状態の時に読むことを推奨する。数列の場合の証明も本質的には同じである。


パート 1.

f:=lim infnfngn:=infknfk f : = \liminf_{n \to \infty} f_{n} \\ \displaystyle g_{n} : = \inf_{k \ge n } f_{k} とすると f=limngn\displaystyle f = \lim_{n \to \infty} g_{n} である。 Efdmlim infnEfndm \int_{E} f dm \le \liminf_{n \to \infty} \int_{E} f_{n} dm これを示すには、全ての単純関数 ϕf\phi \le f に対して Eϕdmlim infnEfndm \int_{E} \phi dm \le \liminf_{n \to \infty} \int_{E} f_{n} dm を示せば十分である。

これで、非常に小さい正の数 ε>0\varepsilon > 0 に対して、新しい単純関数を ϕε(x):={ϕ(x)ε,ϕ>00,ϕ=00 \phi_{\varepsilon}(x) := \begin{cases} \phi (x) - \varepsilon & , \phi>0 \\ 0 & , \phi = 0 \end{cases} \ge 0 と定義してみよう。すると、十分に大きな自然数 nn に対して ϕεgnf\phi_{\varepsilon} \le g_{n} \le f が成り立つだろう。最後に Ak:={x  gkϕε}A_{k} : = \left\{ x \ | \ g_{k} \ge \phi_{\varepsilon} \right\} を定義すると、 AkAk+1k=1Ak=R A_{k} \subset A_{k+1} \\ \displaystyle \bigcup_{k=1}^{\infty} A_{k} = \mathbb{R}


パート 2.

AnA_{n} から ϕεgn\phi_{\varepsilon} \le g_{n} なので、 AnEϕεdmAnEgndm \int_{A_{n} \cap E} \phi_{\varepsilon} dm \le \int_{A_{n} \cap E} g_{n} dm gn=infknfk\displaystyle g_{n} = \inf_{k \ge n } f_{k} だったので、knk \ge n から AnEgndmAnEfkdm \int_{A_{n} \cap E} g_{n} dm \le \int_{A_{n} \cap E} f_{k} dm である。一方、AnEEA_{n} \cap E \subset E だから AnEfkdmEfkdm \int_{A_{n} \cap E} f_{k} dm \le \int_{E} f_{k} dm したがって、次を得る。 AnEϕεdmlim infnEfndm \int_{A_{n} \cap E} \phi_{\varepsilon} dm \le \liminf_{n \to \infty} \int_{E} f_{n} dm


パート 3.

ϕϵ\phi_{\epsilon} は単純関数だったため、値域は有限集合 {c1,c2,,cr}\left\{ c_{1} , c_{2} , \cdots , c_{r} \right\} として表せる。Bi:=ϕϵ1({ci})B_{i} := \phi_{\epsilon}^{-1} ( \left\{ c_{i} \right\} ) とすると、 AnEϕεdm=i=1rcim(AnEBi) \int_{A_{n} \cap E} \phi_{\varepsilon} dm = \sum_{i = 1}^{r} c_{i} m (A_{n} \cap E \cap B_{i})

[7]: AnMA_{n} \in \mathcal{M}, AnAn+1    m(n=1An)=limnm(An)\displaystyle A_{n} \subset A_{n+1} \implies m \left( \bigcup_{n=1}^{\infty} A_{n} \right) = \lim_{n \to \infty} m (A_{n})

パート1では AnAn+1A_{n} \subset A_{n+1} であり、n=1An=R\displaystyle \bigcup_{n=1}^{\infty} A_{n} = \mathbb{R} だったので、 limni=1rcim(AnEBi)=limnAnEϕεdm=Eϕεdm \lim_{n \to \infty} \sum_{i = 1}^{r} c_{i} m (A_{n} \cap E \cap B_{i}) = \lim_{n \to \infty} \int_{A_{n} \cap E} \phi_{\varepsilon} dm = \int_{E} \phi_{\varepsilon} dm 今、パート2で得られた結果と合わせると、 Eϕεdmlim infkEfkdm \int_{E} \phi_{\varepsilon} dm \le \liminf_{k \to \infty} \int_{E} f_{k} dm


パート 4.

  • ケース 1. m({x  ϕ(x)>0})<m( \left\{ x \ | \ \phi (x) >0 \right\} ) < \infty
    Eϕεdm=Eϕdmεm({x  ϕ(x)>0})\displaystyle \int_{E} \phi_{\varepsilon} dm = \int_{E} \phi dm - \varepsilon m( \left\{ x \ | \ \phi (x) >0 \right\} ) ε0\varepsilon \to 0 で極限を取ると、以下を得る。 Eϕεdm=Eϕdm \displaystyle \int_{E} \phi_{\varepsilon} dm = \int_{E} \phi dm

  • ケース 2. m({x  ϕ(x)>0})=m( \left\{ x \ | \ \phi (x) >0 \right\} ) = \infty Dn:={x  g(x)12min{ci}i=1n}\displaystyle D_{n} : = \left\{ x \ \left| \ g(x) \ge {{1} \over {2}} \min \left\{ c_{i} \right\}_{i=1}^{n} \right. \right\} とすると、 DnDn+1n=1Dn=R D_{n} \subset D_{n+1} \\ \displaystyle \bigcup_{n=1}^{\infty} D_{n} = \mathbb{R} であるから DnEgndm\displaystyle \int_{D_{n} \cap E} g_{n} dm \to \infty であり、gng_{n} の定義から以下を得る。 DnEgndmDnEfkdmEfkdm \displaystyle \int_{D_{n} \cap E} g_{n} dm \le \int_{D_{n} \cap E} f_{k} dm \le \int_{E} f_{k} dm

したがって、どちらの場合でも、全ての単純関数 ϕf\phi \le f に対して、以下が成立する。 Eϕdmlim infnEfndm \int_{E} \phi dm \le \liminf_{n \to \infty} \int_{E} f_{n} dm


  1. Capinski. (1999). Measure, Integral and Probability: p82. ↩︎