数理統計学における分布収束
📂数理統計学数理統計学における分布収束
定義
確率変数 X と確率変数のシーケンス {Xn} が次を満たす場合、n→∞ の時、Xn へ分布収束convergence in distributionすると言い、Xn→DX と表示される。
n→∞limFXn(x)=FX(x),∀x∈CFX
- FX は確率変数Xの累積分布関数である。
- CFX は関数FXが連続である点の集合を示している。
説明
分布収束は、分布のセンスで収束を定義した概念であり、確率収束と同様である。それぞれのx∈CFXに対する収束は、実際には解析学で言う関数の点収束と似ており、この類似点は、確率収束するならば分布収束するという事実にもつながる。
注意すべきは、分布収束と言っても、Xn→DX で正確に表されるように、「分布収束」もまた「確率変数の収束」について議論したいということだ。分布関数が連続部分で点収束するということは、正確には確率変数が収束するわけではなく、それが持つ性質の一つである分布が収束するということである。当然ながら、これは確率変数自体の収束よりもはるかにゆるい前提となる。分布の観点から違いがないとしても、確率変数が本質的に収束するわけではない。
実際には、Xn→DX としても Yn→DY と Xn+Yn がX+Y に分布収束することが保証されるわけではない。確率収束とは異なり、分布収束は累積分布関数の点収束という軽い条件だけで充分であり、そのためにこれら常識的な性質すら持たない。
理論
Xn→DX とする。
- [1] 連続写像の定理:連続関数gについて
g(Xn)→Dg(X)
- Xn→PX⟹Xn→DX
- [4] スルツキーの定理: 定数a,bと確率変数An,Bn,Xn,Xに対してan→Pa、Bn→Pb、Xn→DXであれば
An+BnXn→Da+bX
極限分布
一方、Xn→DX であれば、X の分布を{Xn}の漸近asyptoticまたは極限limiting分布とも言う。便宜上、Xの分布をそのまま使うこともあるが、例えばX∼N(0,1) であれば次のように表される。
Xn→DN(0,1)
例
[a] 二項分布の極限分布としてのポアソン分布の導出: Xn∼B(n,p)とする。
μ≈npであれば
Xn→DPoi(μ)
[b] 二項分布の極限分布としての標準正規分布の導出: Xi∼B(1,p)であり、Yn=X1+X2+⋯+Xnであれば、Yn∼B(n,p)である
np(1−p)Yn−np→DN(0,1)
[c] ポアソン分布の極限分布としての標準正規分布の導出: Xn∼Poi(n)であり、Yn:=nXn−nであれば
Yn→DN(0,1)
[d] スチューデントのt分布の極限分布としての標準正規分布の導出: Tn∼t(n)であれば
Tn →DN(0,1)
極限分布が必要な理由
これらの漸近分布から、分布収束が確率変数自体の収束と呼ぶには不十分であることがわかる。例えば、十分に大きな分布nが与えられ、正規分布に近似することができたとしても、その確率変数自体の本質が正規分布を模倣することはできない。nがどれだけ大きくても、二項分布は二項分布であり、正規分布は正規分布である。しかし、分布が似ているため、一見して区別がつかないだけである。
それでも分布収束を考える理由は、その区別がつかない程度で十分であり、条件でこれ以上妥協する余地がない場合があるからである。前述のように、どれだけ変わっても離散確率分布は連続確率分布になることはない。しかし、弱収束の概念を導入してすぐに離散確率分布を連続確率分布のように使えるならば、考慮しない理由はない。
証明
■
[2](../175)
■
[3](../176)
■
■
■
■
■
厳密な定義