一様可積分性をもつ確率変数列は,積分と極限の順序交換に関する[Vitaliの収束定理]が成り立ちます.
[Vitaliの収束定理]は一様可積分な確率変数列が0に概収束していれば期待値も0に収束することが言えるため,[Lebesgueの収束定理]とは違って優関数をとってこなくても適用できる点が大きなメリットです.
この[Vitaliの収束定理]については前回の記事で説明したので参照してください.
したがって,[Vitaliの収束定理]を適用するには,確率変数列が一様可積分であることを判定する必要があリマス.
今回の記事では一様可積分性が成り立つための
- 十分条件
- 必要十分条件
を説明します.
一連の記事はこちら
【確率変数の4つの収束|概収束,平均収束,確率収束,法則収束】
【一様可積分とヴィタリの収束定理|ルベーグの収束定理の一般化】
【一様可積分性の判定条件|十分条件と必要十分条件】←この記事
一様可積分性の確認
まずは前回の記事で定義した一様可積分を確認しておきましょう.
[一様可積分] 確率空間$(\Omega,\mathcal{F},\mathbb{P})$において,実数値確率変数列$\{X_n\}_{n\in\N}$が
を満たすとき,$\{X_n\}_{n\in\N}$は一様可積分(uniformly integrable)であるという.
ただし,$\mathbb{E}$は期待値,集合$A\subset\Omega$に対して$I_{A}$は$A$上の定義関数です:
要するに$\{X_n\}$が一様可積分であるとは,「$|X_n|$が$\lambda$以上となるところでの$X_n$の期待値」が$n$によらず一様に$\lambda\to\infty$で$0$に近付くということですね.
一様可積分性の十分条件
一様可積分の十分条件を2つ示します.
十分条件1
確率関数列に優関数が存在すれば,一様可積分となります.
確率変数列$\{X_n\}_{n\in\N}$について,可積分な確率変数$X$が存在して,任意の$n\in\N$, $\omega\in\Omega$に対して$|X_n(\omega)|\le X(\omega)$が成り立てば,$\{X_n\}_{n\in\N}$は一様可積分である.
確率変数族$\{|X|I_{|X|\ge\lambda}\}_{\lambda>0}$について,
- $\{|X|I_{|X|\ge\lambda}\}_{\lambda>0}$は$\lambda\to0$で$0$に概収束し,
- 任意の$\omega\in\Omega$に対して$\abs{|X(\omega)|I_{|X|\ge\lambda}(\omega)}\le X(\omega)$が成り立ち,
- 仮定より$X$は可積分である.
よって,Lebesgueの収束定理が適用できて,
が成り立つ.仮定より,任意の$n\in\N$に対して$|X_n|\le X$だから,
が成り立つ.よって,$\{X_n\}_{n\in\N}$は一様可積分である.
例えば,可積分な実数値確率変数$X$に対して,$X=X_1=X_2=\dots$で定まる確率変数列$\{X_n\}_{n\in\N}$ (全ての項が$X$の確率変数列)は一様可積分です.
実際,$X$が可積分であることから,$|X|$も可積分で$|X_n|\le |X|$をみたします.
すなわち,$|X|$を優関数にとれるので,$\{X\}_{n\in\N}$は一様可積分となります.
十分条件2
1次より大きい増大をもち,期待値を有限にする正値関数が存在すれば,一様可積分となります.
確率変数列$\{X_n\}_{n\in\N}$について,Borel可測関数$\psi:\R\to\R_{>0}$が存在して,
が同時に成り立てば,$\{X_n\}_{n\in\N}$は一様可積分である.
$M:=\sup_{n\in\N}\mathbb{E}[\psi(X_n)]$とおき,任意の$\epsilon>0$をとる.$\lim_{|x|\to\infty}\dfrac{|x|}{\psi(x)}=0$より,ある$R>0$が存在して,
が成り立つ.よって,
が$n\in\N$によらず成り立つ.よって,$\{X_n\}_{n\in\N}$は一様可積分である.
この系として,確率変数列$\{X_n\}$に対して,期待値の列$\{\mathbb{E}[|X_n|^p]\}$が一様に有界なら一様可積分でなることが分かります.
確率変数列$\{X_n\}$を考える.ある$p>1$が存在して,$\sup_{n\in\N}\mathbb{E}[|X_n|^p]<\infty$なら$\{X_n\}$は一様可積分である.
関数列$\{X_n\}_{n\in\N}$が$p$乗可積分であるとする:
このとき,$\psi(x)=|x|^p$ととれば,
が成り立つから,$\{X_n\}_{n\in\N}$は一様可積分である.
一様可積分性の必要十分条件
次に,一様可積分の必要十分条件について説明します.
この必要十分条件を用いれば,一様可積分な2つの確率変数列の和も一様可積分であることを容易に示すことができます.
一様可積分性の必要十分条件
以下は一様可積分の必要十分条件です.
実数値確率変数列$\{X_n\}_{n\in\N}$について,$\{X_n\}_{n\in\N}$が一様可積分であることと,次が同時に成り立つことは同値である.
- $\sup_{n\in\N}\mathbb{E}[|X_n|]<\infty$が成り立つ.
- 任意の$\epsilon>0$に対して,ある$\delta>0$が存在して,$A\in\mathcal{F}$が$\mathbb{P}(A)<\delta$をみたすなら$\sup_{n\in\N}\mathbb{E}[|X_n|I_{A}]<\epsilon$が成り立つ.
[必要性の証明] 実数値確率変数列$\{X_n\}_{n\in\N}$が一様可積分であるとする.
このとき,1つ目の条件$\sup_{n\in\N}\mathbb{E}[|X_n|]<\infty$が成り立つことは前回の記事で示したから,2つ目の条件を示す.
任意に$\epsilon>0$をとる.$\{X_n\}_{n\in\N}$が一様可積分であることから,ある$R>0$が存在して,
が成り立つ.ここで,$A\in\mathcal{F}$が$\mathbb{P}(A)<\frac{\epsilon}{2R}$とすると,
となって,2つ目の条件も成り立つ.
[十分性の証明] 実数値確率変数列$\{X_n\}_{n\in\N}$が2つの条件を同時に満たすとし,1つ目の条件について$M:=\sup_{n\in\N}\mathbb{E}[|X_n|]<\infty$とする.
任意の$\lambda>0$に対して,$\delta=\frac{2M}{\lambda}$とすると,
が成り立つから,2つ目の条件より
が成り立つ.すなわち,$\{X_n\}_{n\in\N}$は一様可積分である.
一様可積分と和
いまみた必要十分条件を用いると,次のように一様可積分な確率変数列の和は一様可積分となることが証明できます.
一様可積分な2つの確率変数列$\{X_n\}_{n\in\N}$, $\{Y_n\}_{n\in\N}$に対して,$\{X_n+Y_n\}_{n\in\N}$は一様可積分である.
一様可積分性の必要十分条件より,$\sup_{n\in\N}\mathbb{E}[|X_n|]<\infty$, $\sup_{n\in\N}\mathbb{E}[|Y_n|]<\infty$が成り立つから,
が成り立つ.
また,一様可積分性の必要十分条件より,任意の$\epsilon>0$に対して,ある$\delta,\eta>0$が存在して,$A,B\in\mathcal{F}$が$\mathbb{P}(A)<\delta$, $\mathbb{P}(B)<\eta$をみたすなら$\sup_{n\in\N}\mathbb{E}[|X_n|I_{A}]<\frac{\epsilon}{2}$, $\sup_{n\in\N}\mathbb{E}[|Y_n|I_{B}]<\frac{\epsilon}{2}$が成り立つ.
よって,$\mathbb{P}(C)<\min\{\delta,\eta\}$を満たす$C\in\mathcal{F}$をとると,
が成り立つ.よって,
が成り立つ.
以上より,$\{X_n+Y_n\}_{n\in\N}$は一様可積分性の必要十分条件を満たすことが分かったから,$\{X_n+Y_n\}_{n\in\N}$は一様可積分である.
参考文献
確率論
[舟木直久 著/朝倉書店]
本書は確率論の入門書で,全体を通して丁寧に書かれています.
第1章では確率論の概説がなされており,例えば「大数の弱法則」「大数の強法則」にまで平易な説明で触れられているのが嬉しいです.
ただし,本書の「まえがき」に書かれているように,第2章から第5章は大学3年〜4年相当の確率論の内容となっているので,第2章以降を読むにはそれなりの基礎が必要となります.
第6章,第7章では代表的な確立過程である「マルチンゲール」「マルコフ過程」が解説されています.
本書は全体を通して「なぜその概念を学ぶ必要があるのか」という動機付けが大切にされており,新しい概念を前向きに理解しやすい点が優れている好著となっています.
コメント