プロホロフの定理

プロホロフの定理

プロホロフの定理は、数学の測度論における重要な結果であり、確率測度の緊密性と相対コンパクト性の関係を示すものです。この定理は、ソビエト連邦の数学者であるユリ・プロホロフにちなんで名付けられました。定理は、確率測度の集まりが緊密であるための条件を示し、特に弱収束の概念と密接に関連しています。

定理の内容

まず、定理が適用される条件を説明します。可分距離空間
$(S,
ho)$ を考え、この空間上で定義される確率測度の全体を \( P(S) \) とします。このとき、確率測度の集合 \( K \subset P(S) \) が緊密であるための必要十分条件は、\( P(S) \) に弱収束位相を与えた際の \( K \) の閉包が点列コンパクトであることです。この性質をもとに、空間 \( P(S) \) は距離化可能であり、完備距離空間となることが求められます。

ユークリッド空間における特例

特に、ユークリッド空間の場合、確率測度の列 \( (_n) \) が、k次元ユークリッド空間上の緊密な列であるならば、ある確率測度 \(  \in P(R^k) \) に弱収束する部分列が存在します。さらに、その列に含まれるすべての弱収束する部分列が同じ極限を持つ場合、元の列も同じ確率測度に弱収束します。

拡張性

プロホロフの定理は、さらに広範囲に拡張されることが可能です。たとえば、複素測度や有限の符号付測度を考える場合、ある完備かつ可分な距離空間 \( (S,
ho) \) において、ボレル複素測度の族 \( Π \) が点列コンパクトであれば、すべての列に弱収束する部分列が存在することと以下の条件が同値であることが示されます：\( Π \) が全変動ノルムについて緊密かつ一様有界であることです。

他の関連定理

プロホロフの定理は、コンパクト性の観点から緊密性を表現しているため、アスコリ＝アルツェラの定理を用いた説明も可能です。これは、特に関数空間において連続率や類似の性質によって緊密性を定義することを意味します。古典的なウィーナー空間やスコロホッド空間の研究が関連してきます。

結論

プロホロフの定理は、確率論の基礎に深く根ざしているだけでなく、その応用範囲も広いものです。定理の拡張や異なる視点からの議論が存在しますが、元の定理の重要性や関連性は依然として高いと言えるでしょう。数多くの研究がこの定理を指針にして進められており、確率測度の解析において欠かせない理論とされています。

参考文献

• - Billingsley, Patrick (1999). Convergence of Probability Measures. New York, NY: John Wiley & Sons, Inc.. ISBN 0-471-19745-9
• - Bogachev, Vladimir (2006). Measure Theory Vol 1 and 2. Springer. ISBN 978-3-540-34513-8
• - Prokhorov, Yuri V. (1956). “Convergence of random processes and limit theorems in probability theory”. Theory of Prob. And Appl. I 2 (2): 157–214.
• - Dudley, Richard. M. (1989). Real analysis and Probability. Chapman & Hall. ISBN 0-412-05161-3

もう一度検索