測度の弱収束
📂測度論測度の弱収束
定義
空間 S が距離空間 (S,ρ) であり、かつ可測空間 (S,B(S)) であるとする。
測度論
S 上で定義される測度 μ とその測度の列 {μn}n∈N が n→∞ のとき、全ての f∈Cb(S) に対して以下を満たすとき、{μn} が測度 μ に弱く収束するconverge Weaklyと言い、μn→Wμ のように表される。
∫Sfdμn→∫Sfdμ
確率論
S 上で定義される確率 P と確率の列 {Pn}n∈N が n→∞ のとき、全ての f∈Cb(S) に対して以下を満たすとき、{Pn} が確率 P に弱く収束するconverge Weaklyと言い、Pn→WP のように表される。
∫SfdPn→∫SfdP
- Cb(S) は S で定義される有界連続関数の集まりを以下のように表す。
Cb(S):={f:S→R∣f is bounded and continuous}
- ∫SfdP は簡単に Pf:=∫SfdP のように表されることもある。
説明
測度の弱収束に関する代表的な応用は、確率論を挙げることができる。本ポストでは、主に統計学のバックグラウンドを持つ人が確率論に触れることを想定し、位相数学に不慣れな読者向けに説明した。バックグラウンドが数学であれば、位相数学の内容は気軽に読んで、確率論で何が必要かを探る感じで読めばいい。
統計学
確率(測度)の弱収束とは、測度論で説明される分布収束と見なすことができる。数理統計学などで接する分布収束では、単変量確率変数の場合、Xn の累積分布関数 FXn が存在して、X の累積分布関数 FX が連続となる全ての点 x∈X において以下を満たす場合、Xn→DX とされた。
n→∞limFXn(x)=F(x)
全ての f∈Cb(S) に対して以下を満たす場合、弱収束するとされているが、上下の二つの式が似ていることに注目しよう。
n→∞limPnf=Pf
確率(測度)の列を難しく考えることなく、まずは直感的に接近しよう。式を見ると、f が Pn の重みを持ってPf に収束すると見ることができる。確率論で扱う関数とは、結局確率変数なのだが、これを Xn≡Pnf、X≡Pf のように表せば、以下のように表せるかもしれない。
Xn→DX⟺?Pn→WP
左の式で見えないものは、X が連続となる全ての点 x∈S であり、右の式で見えないものは、有界連続の全ての関数 f∈Cb(S) だ。
位相数学
弱収束について論じる上で、基本的な位相数学を必ず把握していなければならない。幸いにして、測度論で論じられる空間はかなり直感的で、距離空間くらいは知っていれば十分だ。空間 S が距離空間 (S,ρ) であり、かつ (S,B(S)) が可測空間であるということは、S で全ての x∈S と全ての ε>0 に対して距離関数 ρ で作られる全てのオープンボール Bρ(x,ε):={y∈S:ρ(x,y)<ε} を含む最小のシグマフィールド、つまりボレルシグマフィールド B(S) をシグマフィールドとして持つ可測空間 (S,B(S)) となるということだ。
オープンセットはオープンボールの合集であり、シグマフィールドの性質により、その補集合も全てB(S)に含まれるので、全てのクローズドセットもB(S)に属する必要がある。単純な例として、S=R を考えてみよう。B(R) は以下のような開集合と閉集合を要素として持つ。
∅,R,[0,7],(−∞,π),{1},(−1,1)∩(0,9)
それだけでなく、シグマフィールドの他の条件により、以下のように開集合と閉集合が混在する集合も要素として持つ。ここで例に挙げた集合が比較的直感的に作られていると感じることができれば良い。
[0,1),(−∞,π],[π,∞),{1}∪(−3,−2)
まだ難しく感じ、定義を納得できない場合は、時間をかけてでも位相数学を勉強してみることをお勧めする。もちろん、確率論を勉強しようとして最初に位相数学の基礎を固めるのは非効率的かもしれない。しかし、効率を求めるのではなく、その経験自体が大きな助けになる。位相数学には非常に衝撃的で変態的な例がたくさんある。抽象数学の辛さを味わえば、距離空間のような良い空間を勉強することに感謝の気持ちを持つようになるだろう。もちろん、数学的なセンスも同時に鍛えることができる。
このトピックに関して、次の有用な定理を紹介する。
定理
P が (S,B(S)) で定義された確率だとしよう。すると、全ての A∈B(S) と ε>0 に対して以下を満たす閉集合 Fε と開集合 Gε が存在する。
Fε⊂A⊂GεP(Gε∖Fε)<ε
上の定理に基づいて、次の系を得ることができる。
P(A)==sup{P(F):F∈B(S) is closed in S}inf{P(G):G∈B(S) is open in S}
言うまでもなく、どのような位相空間でも元々A∘⊂A⊂Aであったため、Aよりも少し小さいオープンセット、少し大きいクローズドセットの存在は断言できるが、上のようにP(Gε∖Fε)<εを満たしながら、少し小さいクローズドセットと少し大きいオープンセットが存在することは、思うほど当たり前ではない。これは、確率Pが測度であり、連続であるという点を明確にした後に当たり前になる。
実際、百マイル以上語るよりも、上の画像を見て理解する方が簡単だろう。この性質により、Aの境界 ∂A の周りをぎりぎりで通りながら、ε>0が与えられるたびに十分に狭い帯を見つけることができるFεとGεが存在することになる。
併せて見る