logo

停止時間の性質 📂確率論

停止時間の性質

整理

確率空間 (Ω,F,P)( \Omega , \mathcal{F} , P)マルチンゲール {(Xn,Fn)}\left\{ ( X_{n} , \mathcal{F}_{n} ) \right\} が与えられているとする。停止時刻 τ\tau について、Fτ:={AF:A(τ=n)Fn}\mathcal{F}_{\tau}:= \left\{ A \in \mathcal{F}: A \cap ( \tau = n ) \in \mathcal{F}_{n} \right\}τ\tau によって誘導されたシグマ場 と呼ぶ。

  • [1]: Fτ\mathcal{F}_{\tau} はシグマ場である。
  • [2]: τ\tauFτ\mathcal{F}_{\tau}-可測関数である。
  • [3]: マルチンゲール {(Xn,Fn)}\left\{ ( X_{n} , \mathcal{F}_{n} ) \right\} に対して、XτX_{\tau}Fτ\mathcal{F}_{\tau}-可測関数である。
  • [4]: 1(σ=n)\mathbb{1}_{(\sigma = n)}Fσ\mathcal{F}_{\sigma}-可測関数である。
  • [5]: ZnZ_{n}FnF_{n}-可測関数であれば、Zn1σ=nZ_{n} \mathbb{1}_{\sigma = n}Fσ\mathcal{F}_{\sigma}-可測関数であり、同時に Fn\mathcal{F}_{n}-可測関数である。さらに、Zn1(σ=n)=Zσ1(σ=n)Z_{n} \mathbb{1}_{(\sigma = n)} = Z_{\sigma} \mathbb{1}_{(\sigma = n)} が成り立つ。
  • [6]: E(XτFσ)1(σ=n)=E(XτFn)1(σ=n) a.s.E(X_{\tau} | \mathcal{F}_{\sigma} ) \mathbb{1}_{(\sigma = n)} = E(X_{\tau} | \mathcal{F}_{n} ) \mathbb{1}_{(\sigma = n)} \text{ a.s.}

  • ボレル集合 BB(R)B \in \mathcal{B}(\mathbb{R}) に対して、(τB)=τ1(B)(\tau \in B) = \tau^{-1} (B) で、(τ=n)(\tau = n)τ1({n})\tau^{-1} ( \left\{ n \right\} ) と同等である。
  • τ\tauFn\mathcal{F}_{n}-可測関数であるとは、すべての ボレル集合 BB(R)B \in \mathcal{B}(\mathbb{R}) に対して、τ1(B)Fn\tau^{-1} (B) \in \mathcal{F}_{n} という意味である。
  • 確率過程 {Xn}nN0\left\{ X_{n} \right\}_{n \in \mathbb{N}_{0}} が与えられた場合、ωΩ\omega \in \Omega について、XτX_{\tau} は次を意味する。 Xτ=Xτ(ω)=Xτ(ω)(ω) X_{\tau} = X_{\tau} ( \omega )= X_{\tau (\omega)} ( \omega )

説明

停止時刻は、本質的には私達が関心を持っているあるタイミングを表すための確率変数として理解できる。

証明

[1]

Fτ\mathcal{F}_{\tau}シグマ場の条件を満たしているかを確認する。

第一部. Fτ\emptyset \in \mathcal{F}_{\tau}

F\mathcal{F} および Fn\mathcal{F}_{n} はシグマ場であるため、\emptyset を含む。従って、Fτ\emptyset \in \mathcal{F}_{\tau} が成り立つ。


第二部. AFτ    AcFτA \in \mathcal{F}_{\tau} \implies A^{c} \in \mathcal{F}_{\tau}

Ac(τ=n)=(τ=n)[A(τ=n)] A^{c} \cap ( \tau = n ) = ( \tau = n ) \setminus \left[ A \cap ( \tau = n ) \right] ここで (τ=n)Fn( \tau = n) \in \mathcal{F}_{n} そしてもし AFτA \in \mathcal{F}_{\tau} であれば、FτF_{\tau} の定義により、A(τ=n)FnA \cap ( \tau = n) \in \mathcal{F}_{n} だから、AcFτA^{c} \in \mathcal{F}_{\tau}


第三部. {An}n=1Fτ    i=1AiFτ\displaystyle \left\{ A_{n} \right\}_{n=1}^{\infty} \subset \mathcal{F}_{\tau} \implies \bigcup_{i=1}^{\infty} A_{i} \in \mathcal{F}_{\tau}

i=1,2,i = 1 , 2, \cdots に対して、もし AiFτA_{i} \in \mathcal{F}_{\tau} であれば、FτF_{\tau} の定義により、Ai(τ=n)FnA_{i} \cap ( \tau = n) \in \mathcal{F}_{n} が成り立つ。従って、 i=1Ai(τ=n)=i=1[Ai(τ=n)]Fn \bigcup_{i=1}^{\infty} A_{i} \cap (\tau = n ) = \bigcup_{i=1}^{\infty} \left[ A_{i} \cap ( \tau = n) \right] \in \mathcal{F}_{n} もう一度、FτF_{\tau} の定義により、 i=1AiFτ\bigcup_{i=1}^{\infty} A_{i} \in \mathcal{F}_{\tau}

[2]

可測関数の同値条件によれば、τ\tauFτ\mathcal{F}_{\tau}-可測関数かどうかを確認するためには、すべての kRk \in \mathbb{R} に対して (τk)Fτ( \tau \le k ) \in \mathcal{F}_{\tau} が成り立つかどうかだけを確認すれば十分である。 (τk)(τ=n)={,k<n(τ=n),kn ( \tau \le k ) \cap ( \tau = n) = \begin{cases} \emptyset &, k < n \\ (\tau = n) &, k \ge n \end{cases} ここで Fn\emptyset \in \mathcal{F}_{n} かつ (τ=n)Fn(\tau =n ) \in \mathcal{F}_{n} であるため、kRk \in \mathbb{R} が何であれ (τk)(τ=n)Fn( \tau \le k ) \cap ( \tau = n) \in \mathcal{F}_{n} が成り立つ。従って、全ての kRk \in \mathbb{R} に対して (τk)Fτ( \tau \le k ) \in \mathcal{F}_{\tau} が成り立ち、τ\tauFτ\mathcal{F}_{\tau}-可測関数である。

[3]

任意の ボレル集合 BB(R)B \in \mathcal{B}(\mathbb{R}) に対して、以下が成り立つ。 (XτB)(τ=n)=(XnB)(τ=n) (X_{\tau} \in B) \cap (\tau = n) = (X_{n} \in B) \cap (\tau = n) これは、(XτB)(X_{\tau} \in B)(XnB)(X_{n} \in B)(τ=n)(\tau = n) との 交差を取った場合にのみ τ=n\tau = n になるためである。これは、条件付き期待値 E(YX)E(Y|X) を計算する際に、X=xX=x のように値が固定されているケースだけを考えるのと同じである。一方、マルチンゲールの定義によると、(XnB)Fn(X_{n} \in B) \in \mathcal{F}_{n} が必要であり、停止時刻の定義によると、(τ=n)Fn(\tau = n ) \in \mathcal{F}_{n} が成り立つ。したがって、[(XτB)(τ=n)]Fτ\left[ (X_{\tau} \in B) \cap (\tau = n) \right] \in \mathcal{F}_{\tau} が成り立ち、XτX_{\tau}Fτ\mathcal{F}_{\tau}-可測関数である。

[4]

イベント AFA \in \mathcal{F} に対して、1A\mathbb{1}_{A} は以下の3つのうちの1つとして表される。 (1Aa)={Ω,a1Ac,a[0,1),a<0 ( \mathbb{1}_{A} \le a ) = \begin{cases} \Omega &, a \ge 1 \\ A^{c} &, a \in [0,1) \\ \emptyset &, a < 0 \end{cases} 従って、イベント A=(σ=n)A = (\sigma = n) が与えられると、すべての ボレル集合 BB(R)B \in \mathcal{B}(\mathbb{R}) に対して ,(σn),ΩFσ\emptyset, (\sigma \ne n), \Omega \in \mathcal{F}_{\sigma} が成り立つため、(1(σ=n)a)Fσ( \mathbb{1}_{(\sigma = n)} \le a ) \in \mathcal{F}_{\sigma} である。言い換えると、1(σ=n)\mathbb{1}_{(\sigma = n)}Fσ\mathcal{F}_{\sigma}-可測関数である。

[5]

Zn1(σ=n)={Zσ1,σ=n0,σ0 Z_{n} \mathbb{1}_{(\sigma = n)} = \begin{cases} Z_{\sigma} \cdot 1 &, \sigma = n \\ 0 &, \sigma \ne 0 \end{cases} したがって、Zn1(σ=n)=Zσ1(σ=n)Z_{n} \mathbb{1}_{(\sigma = n)} = Z_{\sigma} \mathbb{1}_{(\sigma = n)} が成り立つ。[3]によると、ZσZ_{\sigma}Fσ\mathcal{F}_{\sigma}-可測関数であり、[4]によると、1(σ=n)\mathbb{1}_{(\sigma = n)} もまた Fσ\mathcal{F}_{\sigma}-可測関数であるため、その積である Zn1(σ=n)Z_{n} \mathbb{1}_{(\sigma = n)}Fσ\mathcal{F}_{\sigma}-可測関数である。

[6]

E(XτFn)E \left( X_{\tau} | \mathcal{F}_{n} \right)Fn\mathcal{F}_{n}-可測であるため、E(XτFn)1σ=nE \left( X_{\tau} | \mathcal{F}_{n} \right) \mathbb{1}_{ \sigma = n} は [4]により Fσ\mathcal{F}_{\sigma}-可測である。一方で、1(σ=n)\mathbb{1}_{(\sigma=n)}スムージング性質により Fσ\mathcal{F}_{\sigma}-可測関数であるため、E(Fσ)E ( \cdot | \mathcal{F}_{\sigma} ) の内外を自由に行き来できる。

スムージング性質: XXG\mathcal{G}-可測であれば、E(XYG)=XE(YG) a.s.E(XY | \mathcal{G}) = X E (Y | \mathcal{G}) \text{ a.s.}

条件付き期待値の性質: XXF\mathcal{F}-可測であれば、E(XF)=X a.s.E(X|\mathcal{F}) =X \text{ a.s.}

その上で、上述の性質に従って、すべての AFσA \in \mathcal{F}_{\sigma} に対して 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 \begin{align*} \int_{A} E \left( X_{\tau} | \mathcal{F}_{\sigma} \right) \mathbb{1}_{(\sigma = n)} dP =& \int_{A} E \left( X_{\tau} \mathbb{1}_{(\sigma = n)} | \mathcal{F}_{\sigma} \right) dP \\ =& \int_{A} X_{\tau} \mathbb{1}_{(\sigma = n)} dP \\ =& \int_{A \cap (\sigma = n)} X_{\tau} dP \\ =& \int_{A} X_{\tau} \mathbb{1}_{(\sigma = n)} dP \\ =& \int_{A \cap (\sigma = n)} E \left( X_{\tau} | \mathcal{F}_{n} \right) dP \\ =& \int_{A } E \left( X_{\tau} | \mathcal{F}_{n} \right) \mathbb{1}_{(\sigma = n)} dP \end{align*} AF,Afdm=0    f=0 a.e.\displaystyle \forall A \in \mathcal{F}, \int_{A} f dm = 0 \iff f = 0 \text{ a.e.} であるため、 E(XτFσ)1(σ=n)=E(XτFn)1(σ=n) a.s. E(X_{\tau} | \mathcal{F}_{\sigma} ) \mathbb{1}_{(\sigma = n)} = E(X_{\tau} | \mathcal{F}_{n} ) \mathbb{1}_{(\sigma = n)} \text{ a.s.}