プロホロフの定理

数学の測度論の分野におけるプロホロフの定理（プロホロフのていり、テンプレート:Lang-en-short）とは、確率測度の空間内での測度の緊密性と相対コンパクト性（したがってテンプレート:仮リンク）の概念を関連付けるものである。完備距離空間上の確率測度の研究を行ったソビエト連邦の数学者テンプレート:仮リンクの名にちなむ。「プロホロフの定理」という語はまた、直接的あるいは逆に関する一般化に対しても用いられている。

定理の内容

$(S, ρ)$ を可分距離空間とする。（ボレル σ-代数を備える） $S$ 上で定義される確率測度の全体を $𝒫 (S)$ とする。

定理

ある確率測度の全体 $K \subset 𝒫 (S)$ が緊密であるための必要十分条件は、テンプレート:仮リンク位相を備える空間 $𝒫 (S)$ において $K$ の閉包が点列コンパクトであることである。
そのような弱収束位相を備える空間 $𝒫 (S)$ は、距離化可能である。
さらに $(S, ρ)$ は完備距離（したがって $(S, ρ)$ はポーランド空間）であると仮定する。このとき、弱収束位相と同値であるような $𝒫 (S)$ 上のある完備距離 $d_{0}$ が存在する。さらに、 $K \subset 𝒫 (S)$ が緊密であるための必要十分条件は、 $K$ の閉包が $(𝒫 (S), d_{0})$ においてコンパクトであることである。

ユークリッド空間に対しては、次が成立する。

$(μ_{n})$ が $k$ -次元ユークリッド空間上の確率測度の全体 $𝒫 (ℝ^{k})$ 内の緊密な列であるなら、ある確率測度 $μ \in 𝒫 (ℝ^{k})$ に弱収束するようなある部分列 $(μ_{n_{k}})$ が存在する。

$(μ_{n})$ が $𝒫 (ℝ^{k})$ 内の緊密な列で、そのすべての弱収束する部分列 $(μ_{n_{k}})$ が同一の極限 $μ \in 𝒫 (ℝ^{k})$ を持つものであるなら、列 $(μ_{n})$ も $μ$ に弱収束する。

プロホロフの定理は、複素測度や有限の符号付測度を考慮できるように次のように拡張される。

定理 $(S, ρ)$ をある完備な可分距離空間とし、 $Π$ を $S$ 上のあるボレル複素測度の族とする。このとき、以下の二つの陳述は同値である。

プロホロフの定理はコンパクト性の概念を用いて緊密性を表現するものであるため、コンパクト性についてはアスコリ＝アルツェラの定理がしばしば代用される。函数空間において、このことはテンプレート:仮リンクあるいは同様の適当な概念を用いて緊密性を特徴付けることを意味する — テンプレート:仮リンクあるいはスコロホッド空間における緊密性を参照されたい。

プロホロフの定理には、いくつかの非自明かつ深い議論を必要とする拡張が存在する。しかしそれらの結果は、元の結果の応用との関連性や重要性を見え辛くしてしまうものではない。