測度論によって定義される確率の収束
📂確率論測度論によって定義される確率の収束
確率収束の難しい定義
確率空間 (Ω,F,P) が与えられたとしよう。
確率変数のシーケンス {Xn}n∈N が確率変数 X へ測度収束するならば、確率収束すると言い、Xn→PXとして示される。
- 測度論にまだ触れていなければ、確率空間という言葉を無視しても良い。
説明
{Xn}n∈N が X に収束するというのは、全ての ε>0 に対して
n→∞limP({ω∈Ω:∣Xn(ω)−X(ω)∣≥ε})=0
ということで、もう少し馴染みやすい形に変えると次のようになる。
n→∞limP(∣Xn(ω)−X(ω)∣<ε)=1
確率変数のシーケンスは確率過程なので、確率過程論で有用に使えると推測できる。
測度収束から受け継がれた確率収束の性質:
確率 P は測度なので、測度収束の性質をそのまま受け継ぐ。
参照