測度論におけるレヴィの定理の証明
📂測度論測度論におけるレヴィの定理の証明
定理
もし k=1∑∞∫∣fk∣dm<∞ ならば、k=1∑∞fk(x) は ほとんど至る所で 収束して ルベーグ積分可能で、その積分は具体的に以下の通りである。
∫k=1∑∞fkdm=k=1∑∞∫fkdm
証明
パート1. k=1∑∞fk(x) がほとんど至る所で収束してルベーグ積分可能であること
ϕ(x):=k=1∑∞∣fk(x)∣ と定義すると、ϕ は非負の可測関数である。
単調収束定理の系: 関数値が非負の可測関数の列 {fn} が fn↗f を満たすとする。それならば
∫n=1∑∞fndm=n=1∑∞∫fndm
単調収束定理により
∫ϕdm=n=1∑∞∫∣fk∣dm
となるが、仮定により k=1∑∞∫∣fk∣dm<∞ だったので、∫ϕdm は有限な値をとり ϕ はルベーグ積分可能、つまり ϕ∈L1 である。したがって、ϕ はほとんど至る所で有限であり、定義そのものから
k=1∑∞∣fk∣=ϕ<∞
であるから、k=1∑∞∣fk(x)∣ はほとんど至る所で収束し、k=1∑∞fk(x) もほとんど至る所で収束する。一方
k=1∑nfk(x)≤≤=k=1∑n∣fk(x)∣k=1∑∞∣fk(x)∣ϕ(x)
なので、すべての n∈N に対して不等式 k=1∑nfk(x)≤ϕ(x) がほとんど至る所で成り立つ。最後に ϕ と似ているが、シグマの内側に絶対値がない f を
f(x):=k=1∑∞fk(x)
として定義し、このような f は収束しない点については単に f(x) としておき、ルベーグ積分可能であることを保証できる。これで
k=1∑nfk≤ϕ,ϕ∈L1f=n→∞limk=1∑nfk
支配収束定理を使用する準備が整った。
パート2. 具体的な積分
支配収束定理: 可測集合 E∈M と g∈L1(E) に対して、可測関数の列 {fn} が E でほとんど至る所 ∣fn∣≤g を満たすとする。E でほとんど至る所 f=n→∞limfn ならば、f∈L1(E)n→∞lim∫Efn(x)dm=∫Efdm
したがって、以下が成り立つ。
∫k=1∑∞fkdm=====∫n→∞limk=1∑nfkdm∫fdmn→∞lim∫k=1∑nfkdmn→∞limk=1∑n∫fkdmk=1∑∞∫fkdm
■
説明
この定理は、イタリアの数学者 ベッポ・レヴィbeppo Leviによって証明され、関数列の積分を驚くほど簡単に解決してくれる。
例
∫01(1−xlogx)2dx を求めよ。
解答
fn(x):=nxn−1(logx)2 と定義すると、n=1∑∞nxn−1=(1−x)21 なので、
n=1∑∞fn(x)=(1−xlogx)2
レヴィの定理により、
∫01f(x)dx=n=1∑∞∫01fn(x)dx
だが、部分積分法により、
∫01fn(x)dx=∫01nxn−1(logx)2dx=n22
したがって、以下を得る。
∫01f(x)dx=n=1∑∞n22=3π2
解説
問題解決の本質は、結局 ⎩⎨⎧n=1∑∞fn(x)=f(x)∫Ef(x)dx=n=1∑∞∫Efn(x)dx を満たす fn を見つけることにある。このプロセスは確かに難しいが、リーマン積分のように原始関数を見つけて解くよりはずっと簡単だろう。
参照