ファトゥの補題の証明
📂測度論ファトゥの補題の証明
定理
測度が非負の可測関数の数列 {fn} に対して、
∫E(n→∞liminffn)dm≤n→∞liminf∫Efndm
説明
実解析での単調収束定理と優収束定理を証明するために必要な補題である。可測関数でない数列に関するパトの補題のバージョンは以下の通り。
数列のバージョン: 関数の数列 {fk:N→[0,∞)}k∈N が非負の値を取る場合、
j=1∑∞k→∞liminffk(j)≤k→∞liminfj=1∑∞fk(j),∀j∈N
証明
戦略: 単純関数に関する直感が必要である。全ての補題と同様に、役に立つが、証明はかなり長く複雑なので、頭がクリアで健康な状態の時に読むことを推奨する。数列の場合の証明も本質的には同じである。
パート 1.
f:=n→∞liminffngn:=k≥ninffk
とすると f=n→∞limgn である。
∫Efdm≤n→∞liminf∫Efndm
これを示すには、全ての単純関数 ϕ≤f に対して
∫Eϕdm≤n→∞liminf∫Efndm
を示せば十分である。
これで、非常に小さい正の数 ε>0 に対して、新しい単純関数を
ϕε(x):={ϕ(x)−ε0,ϕ>0,ϕ=0≥0
と定義してみよう。すると、十分に大きな自然数 n に対して ϕε≤gn≤f が成り立つだろう。最後に Ak:={x ∣ gk≥ϕε} を定義すると、
Ak⊂Ak+1k=1⋃∞Ak=R
パート 2.
An から ϕε≤gn なので、
∫An∩Eϕεdm≤∫An∩Egndm
gn=k≥ninffk だったので、k≥n から
∫An∩Egndm≤∫An∩Efkdm
である。一方、An∩E⊂E だから
∫An∩Efkdm≤∫Efkdm
したがって、次を得る。
∫An∩Eϕεdm≤n→∞liminf∫Efndm
パート 3.
ϕϵ は単純関数だったため、値域は有限集合 {c1,c2,⋯,cr} として表せる。Bi:=ϕϵ−1({ci}) とすると、
∫An∩Eϕεdm=i=1∑rcim(An∩E∩Bi)
[7]: An∈M, An⊂An+1⟹m(n=1⋃∞An)=n→∞limm(An)
パート1では An⊂An+1 であり、n=1⋃∞An=R だったので、
n→∞limi=1∑rcim(An∩E∩Bi)=n→∞lim∫An∩Eϕεdm=∫Eϕεdm
今、パート2で得られた結果と合わせると、
∫Eϕεdm≤k→∞liminf∫Efkdm
パート 4.
ケース 1. m({x ∣ ϕ(x)>0})<∞
∫Eϕεdm=∫Eϕdm−εm({x ∣ ϕ(x)>0})
ε→0 で極限を取ると、以下を得る。
∫Eϕεdm=∫Eϕdm
ケース 2. m({x ∣ ϕ(x)>0})=∞
Dn:={x g(x)≥21min{ci}i=1n}
とすると、
Dn⊂Dn+1n=1⋃∞Dn=R
であるから ∫Dn∩Egndm→∞ であり、gn の定義から以下を得る。
∫Dn∩Egndm≤∫Dn∩Efkdm≤∫Efkdm
したがって、どちらの場合でも、全ての単純関数 ϕ≤f に対して、以下が成立する。
∫Eϕdm≤n→∞liminf∫Efndm
■