停止時間の性質
📂確率論停止時間の性質
整理
確率空間 (Ω,F,P) と マルチンゲール {(Xn,Fn)} が与えられているとする。停止時刻 τ について、Fτ:={A∈F:A∩(τ=n)∈Fn} を τ によって誘導されたシグマ場 と呼ぶ。
- [1]: Fτ はシグマ場である。
- [2]: τ は Fτ-可測関数である。
- [3]: マルチンゲール {(Xn,Fn)} に対して、Xτ は Fτ-可測関数である。
- [4]: 1(σ=n) は Fσ-可測関数である。
- [5]: Zn が Fn-可測関数であれば、Zn1σ=n は Fσ-可測関数であり、同時に Fn-可測関数である。さらに、Zn1(σ=n)=Zσ1(σ=n) が成り立つ。
- [6]: E(Xτ∣Fσ)1(σ=n)=E(Xτ∣Fn)1(σ=n) a.s.
- ボレル集合 B∈B(R) に対して、(τ∈B)=τ−1(B) で、(τ=n) は τ−1({n}) と同等である。
- τ が Fn-可測関数であるとは、すべての ボレル集合 B∈B(R) に対して、τ−1(B)∈Fn という意味である。
- 確率過程 {Xn}n∈N0 が与えられた場合、ω∈Ω について、Xτ は次を意味する。
Xτ=Xτ(ω)=Xτ(ω)(ω)
説明
停止時刻は、本質的には私達が関心を持っているあるタイミングを表すための確率変数として理解できる。
証明
[1]
Fτ が シグマ場の条件を満たしているかを確認する。
第一部. ∅∈Fτ
F および Fn はシグマ場であるため、∅ を含む。従って、∅∈Fτ が成り立つ。
第二部. A∈Fτ⟹Ac∈Fτ
Ac∩(τ=n)=(τ=n)∖[A∩(τ=n)]
ここで (τ=n)∈Fn そしてもし A∈Fτ であれば、Fτ の定義により、A∩(τ=n)∈Fn だから、Ac∈Fτ
第三部. {An}n=1∞⊂Fτ⟹i=1⋃∞Ai∈Fτ
i=1,2,⋯ に対して、もし Ai∈Fτ であれば、Fτ の定義により、Ai∩(τ=n)∈Fn が成り立つ。従って、
i=1⋃∞Ai∩(τ=n)=i=1⋃∞[Ai∩(τ=n)]∈Fn
もう一度、Fτ の定義により、
i=1⋃∞Ai∈Fτ
■
[2]
可測関数の同値条件によれば、τ が Fτ-可測関数かどうかを確認するためには、すべての k∈R に対して (τ≤k)∈Fτ が成り立つかどうかだけを確認すれば十分である。
(τ≤k)∩(τ=n)={∅(τ=n),k<n,k≥n
ここで ∅∈Fn かつ (τ=n)∈Fn であるため、k∈R が何であれ (τ≤k)∩(τ=n)∈Fn が成り立つ。従って、全ての k∈R に対して (τ≤k)∈Fτ が成り立ち、τ は Fτ-可測関数である。
■
[3]
任意の ボレル集合 B∈B(R) に対して、以下が成り立つ。
(Xτ∈B)∩(τ=n)=(Xn∈B)∩(τ=n)
これは、(Xτ∈B) と (Xn∈B) が (τ=n) との 交差を取った場合にのみ τ=n になるためである。これは、条件付き期待値 E(Y∣X) を計算する際に、X=x のように値が固定されているケースだけを考えるのと同じである。一方、マルチンゲールの定義によると、(Xn∈B)∈Fn が必要であり、停止時刻の定義によると、(τ=n)∈Fn が成り立つ。したがって、[(Xτ∈B)∩(τ=n)]∈Fτ が成り立ち、Xτ は Fτ-可測関数である。
■
[4]
イベント A∈F に対して、1A は以下の3つのうちの1つとして表される。
(1A≤a)=⎩⎨⎧ΩAc∅,a≥1,a∈[0,1),a<0
従って、イベント A=(σ=n) が与えられると、すべての ボレル集合 B∈B(R) に対して ∅,(σ=n),Ω∈Fσ が成り立つため、(1(σ=n)≤a)∈Fσ である。言い換えると、1(σ=n) は Fσ-可測関数である。
■
[5]
Zn1(σ=n)={Zσ⋅10,σ=n,σ=0
したがって、Zn1(σ=n)=Zσ1(σ=n) が成り立つ。[3]によると、Zσ は Fσ-可測関数であり、[4]によると、1(σ=n) もまた Fσ-可測関数であるため、その積である Zn1(σ=n) も Fσ-可測関数である。
■
[6]
E(Xτ∣Fn) が Fn-可測であるため、E(Xτ∣Fn)1σ=n は [4]により Fσ-可測である。一方で、1(σ=n) は スムージング性質により Fσ-可測関数であるため、E(⋅∣Fσ) の内外を自由に行き来できる。
スムージング性質: X が G-可測であれば、E(XY∣G)=XE(Y∣G) a.s.
条件付き期待値の性質: X が F-可測であれば、E(X∣F)=X a.s.
その上で、上述の性質に従って、すべての A∈Fσ に対して
∫AE(Xτ∣Fσ)1(σ=n)dP======∫AE(Xτ1(σ=n)∣Fσ)dP∫AXτ1(σ=n)dP∫A∩(σ=n)XτdP∫AXτ1(σ=n)dP∫A∩(σ=n)E(Xτ∣Fn)dP∫AE(Xτ∣Fn)1(σ=n)dP
∀A∈F,∫Afdm=0⟺f=0 a.e. であるため、
E(Xτ∣Fσ)1(σ=n)=E(Xτ∣Fn)1(σ=n) a.s.
■