劣マルチンゲール収束定理の証明
📂確率論劣マルチンゲール収束定理の証明
概要
確率空間 (Ω,F,P) と サブマルチンゲール {(Xn,Fn)} が与えられたとする。
n∈NsupEXn+<∞ とすると、Xn はある 確率変数 X∞:Ω→R にほとんど確実に 収束する
EX∞<EX∞+<∞
証明
戦略:リミットスープリームとリミットインフィニマムの特性を使用する。
X∗:=n∈NlimsupXnX∗:=n∈NliminfXn
だとすると、
(X∗>X∗)=a<ba,b∈Q⋃(X∗>b>a>X∗)
ここで、a,b∈Q だから (X∗>X∗) を P に可算に分割することができる。すると、X∗ と X∗ の間のすべての有理数 a、b に対して、P(X∗>b>a>X∗)=0 ならば P(X∗>X∗)=0 となり、これは Xn がほとんど確実に X∞ に収束することを意味する。
パート1. P(X∗>b>a>X∗)≤P(β∞(a,b)=∞)
二つの有理数 a,b∈Q が作る閉区間 [a,b] のアップクロッシングの回数を βN(a,b) とし、その極限を β∞(a,b):=N→∞limβN(a,b) とする。X∗>b>a>X∗ ならば、Xn が無限に多くの n∈N に対し、a 以下にも、b 以上にも行ったという意味になる。したがって、β∞(a,b)=∞ であり、命題としては
X∗>b>a>X∗⟹β∞(a,b)=∞
集合表現に変えると、
(X∗>b>a>X∗)⊂(β∞(a,b)=∞)
確率 P を取ると、
P(X∗>b>a>X∗)≤P(β∞(a,b)=∞)
パート2. P(β∞(a,b)<∞)=1
P(∣X∣=∞)=0⟹E(∣X∣)=∞
であるから、対偶によりほとんど確実に
Eβ∞(a,b)<∞⟹β∞(a,b)<∞
アップクロッシングの期待値上限: EβN(a,b)≤b−aEXN++∣a∣
単調収束定理: 関数値が非負の可測関数の数列 {fn} が fn↗f を満たすとする。すると、
n→∞lim∫Efndm=∫Efdm
前提により、
EβN(a,b)≤b−aEXN++∣a∣≤b−asupN∈NEXN++∣a∣<∞
βN(a,b) の定義により、βN(a,b)↗β∞(a,b) であるから、単調収束定理により、
∞==>EN→∞limβN(a,b)Eβ∞(a,b)N→∞limEβN(a,b)
結論として、Eβ∞(a,b)<∞ であるから、ほとんど確実に β∞(a,b)<∞、すなわち P(β∞(a,b)<∞)=1 が成立する。
パート3. P(X∗=X∗)=1
パート1〜2に従って、X∗>b>a>X∗ の全ての a,b∈Q に対して、
P(X∗>b>a>X∗)≤P(β∞(a,b)=∞)=0
確率 P は測度であるから、
P(X∗>X∗)==≤=Pa<ba,b∈Q⋃(X∗>b>a>X∗)a<ba,b∈Q∑P(X∗>b>a>X∗)a<ba,b∈Q∑00
結論として、P(X∗≤X∗)=1 であるから、Xn の極限 X∞ はほとんど確実に存在する。
パート4. EX∞<∞
絶対値の分解によって、
∣Xn∣=Xn++Xn−=2Xn+−Xn
{(Xn,Fn)} はサブマルチンゲールであるから、EXn≥EX1 したがって、
E∣Xn∣=2EXn+−EXn≤2EXn+−EX1
前提で n∈NsupEXn+<∞ であったから、
n∈NsupE∣Xn∣≤2n∈NsupEXn+−EX1<∞
ファトゥの補題: 関数値が非負の可測関数の数列 {fn} に対して、∫E(n→∞liminffn)dm≤n→∞liminf∫Efndm
supn∈NE∣Xn∣<∞ であり、ファトゥの補題により、
∞≥====>n→∞liminfE∣Xn∣n→∞liminf∫Ω∣Xn∣dP∫Ωn→∞liminf∣Xn∣dP∫Ω∣X∞∣dPE∣X∞∣n∈NsupE∣Xn∣
したがって、E∣X∞∣ も存在する。
■
系
特に、証明過程のパート4.で、Xn<0 ならば、Xn=Xn+−Xn− から Xn+=0 へ、つまり、条件 n∈NsupEXn+<∞ さえ不要になることがわかる。