1 プロコホロフ距離の概要
1.1 基本的な定義
1.1.1 確率測度と距離の考え方
確率測度は、ある測定可能空間上の「確率の配分」を表すものであり、通常は空間の位相や計量構造と組み合わされて解析される。プロコホロフ距離は、2つの確率測度の「近さ」を数値として与える距離（または距離に準じる指標）の一つで、特に分布の収束（弱収束）を捉えるために設計されている。
弱収束では、測度そのものの点ごとの一致ではなく、連続かつ有界な関数に対する期待値が一致していくかどうかが中心になる。プロコホロフ距離は、この性質と整合する形で「集合をどれだけ拡げれば片方の測度の大きな質量を覆えるか」を数量化する点に特徴がある。
1.1.2 局所的な包摂による定義
距離の定義は、空間の部分集合を半径つきで拡げた近傍を用いて与えられる。一般に計量空間 \((X,d)\) 上の2つの確率測度 \(\mu,\nu\) を考えると、ある \(\varepsilon>0\) に対して次の条件を満たすかで近さを判定する。
直感的には、任意の閉集合 \(F\subset X\) に対し、\(\nu(F)\) が十分大きいなら、\(\mu\) は \(F\) を \(\varepsilon\) だけ「押し広げた集合」の中で同程度の質量を持つはずだ、という発想になる。押し広げとは、\(F\) の \(\varepsilon\)-近傍（距離が \(\varepsilon\) 以下の点全体）を考える操作に対応する。これを一定の確率損失（\(\varepsilon\) 自体で測る）まで許す形で両方向に要求することで、距離が得られる。
1.1.3 計量空間上での定義の違い
プロコホロフ距離は計量空間上で述べることが多いが、より一般には位相空間上での定式化も可能である。計量がある場合は「半径つき近傍」を用いた定義が自然に書ける。一方、位相のみの場合は近傍の概念を位相的に置き換える必要があり、同値な定式化を選び直すことになる。
また、離散的な距離の選び方によって、数値としてのプロコホロフ距離は変化しうる。ただし、位相構造（弱収束の判定に関係する収束概念）が同じであれば、距離としての役割（収束を特徴づける性質）は保たれる方向で扱われる。
1.2 直観と意味
1.2.1 集合を押し広げる発想
本質的な見方は、「ある集合に含まれる確率質量が大きいなら、その集合の拡大版にも相手の測度は同程度の質量を置く」という整合性を測ることにある。ここで重要なのは、単なる点の近さではなく、測度がどの領域に偏っているかという“分布の配置”を比較する点である。
\(\varepsilon\) を大きくすると押し広げが強くなり、より広い範囲で質量を許容できるため、距離値は小さくなる方向に働く。逆に \(\varepsilon\) を小さくすると厳しい条件になり、比較可能な程度が低くなる。
1.2.2 「どのくらい近いか」の解釈
プロコホロフ距離が与える \(\varepsilon\) の意味は、誤差許容と幾何学的拡大が同時に含まれることにある。すなわち、単に測度の差がどれほどあるかだけでなく、「その差が現れる可能性のある位置のずれ」を \(\varepsilon\) の近傍で吸収するという解釈ができる。
このため、分布のどの部分がどれくらい移動しているか、あるいは質量がどの領域からどの領域へ回っているか、といった情報を幾何学に基づいて要約できる。特に弱収束の議論では、厳密な点対応よりも領域対応の発想が適している。
1.2.3 弱収束との関連の見取り図
弱収束の典型的な判定は、連続有界関数に対する期待値の収束である。プロコホロフ距離は、それと整合する形で「ある \(\varepsilon\) 未満なら、閉集合に関する大域的な質量配置が近い」という条件をまとめている。
結果として、プロコホロフ距離が 0 に近づくことは、測度列の弱収束と同値な方向で結びつく。具体的には、プロコホロフ距離による収束（距離が小さくなること）が弱収束を含意し、逆に弱収束が成り立つときは適切な空間設定の下で距離により近づきが記述できる。
1.3 基本的な定義の補足（章内整合）
上記の定義は計量空間上での表現が中心だが、プロコホロフ距離の実務では、どの種類の閉集合（あるいは開集合）を用いるか、どの程度の近傍操作を施すかといった選択により、同値な形が整理される。結論として、距離値の数式は形が変わっても、収束判定の内容は同種の幾何学的・測度論的な比較になっている。
2 性質と数学的特徴
2.1 距離としての性質
2.1.1 対称性と非負性
プロコホロフ距離は、2つの確率測度の比較量として非負になるよう定義され、測度の順序によって過度に偏ることがないよう対称性が組み込まれている。定義の段階で両方向の包摂（片方がもう一方を拡大で覆うという条件を行き来する）が要求されるため、片側だけで判定する指標よりも均衡が取りやすい。
非負性は距離としての基本要件であり、\(\varepsilon\) を導入した条件の最小上界（あるいは下限）が距離値になるため、負の値は生じない。
2.1.1.1 同一性（一致）と距離ゼロ
距離が 0 になることは、測度が実質的に一致することと結びつく。つまり、すべての閉集合に対して質量配置が完全に一致し、しかも幾何学的拡大が不要なほど一致することが示される。
この同一性は、弱収束の枠組みより強い意味での一致を保証する。測度論では、確率測度の一致を半直（閉集合での値）によって特徴づける手筋がよく用いられ、プロコホロフ距離のゼロ性も同様の性質に支えられる。
2.1.2 三角不等式の扱い
三角不等式は距離としての重要性を支える性質であり、プロコホロフ距離でも成立するよう構成される。直感的には、\(\mu\) と \(\nu\) が \(\varepsilon\) だけ許容した包摂関係を持ち、\(\nu\) と \(\lambda\) が \(\delta\) だけ許容した包摂関係を持つなら、\(\mu\) と \(\lambda\) の包摂は \(\varepsilon+\delta\) 程度の許容量で成り立つ、という考え方になる。
計量の近傍は加法的に扱えるため（近傍の入れ子や三角不等式に基づく包含関係）、測度の条件を連鎖させることで三角不等式が得られる。
2.2 収束との関係
2.2.1 弱収束の特徴づけ
プロコホロフ距離は弱収束との結びつきが強い。距離が 0 へ収束するとは、閉集合に関する包摂条件が誤差分も含めて任意に厳しくなることを意味する。このとき、連続有界関数の期待値が一致へ向かうことが示され、弱収束の判定と整合する。
逆に、弱収束が成り立っても、それだけでは無限遠への散逸が起こりうるため、空間の性質やタイトネスが関係することが多い。したがって、弱収束と距離収束の同値性は、測度列の分布の「逃げ」を抑える追加条件とセットで論じられることがある。
2.2.2 タイトネスとの結びつき
タイトネス（tightness）は、確率質量が無限遠に逃げにくいことを表す概念である。プロコホロフの枠組みでは、タイトな測度族に対してコンパクト性が得られ、そこから収束部分列の存在が導かれる。
この結びつきにより、弱収束の議論が単なる点wise な関係ではなく、包摂の幾何学的条件として体系化される。すなわち、「どの程度拡げれば閉領域を抑えられるか」という量が、タイトネスによってコントロールされる。
2.3 構成や拡張
2.3.1 変換（写像）による挙動
確率測度の比較は、空間上の写像による押し出し（像測度）と相性がよい。たとえば連続写像 \(f:X\to Y\) を考えると、\(\mu\) と \(\nu\) の距離が小さいほど、押し出し測度 \(f_\#\mu\) と \(f_\#\nu\) の差も制御される、という形の連続性が議論できる。
この性質は、モデルの変換や観測写像を通じて分布の近さを追跡する場面で重要になる。推定論や統計では、観測量への写像が避けられないため、こうした安定性は応用上の利点となる。
2.3.2 条件付き・周辺化との関係
周辺化（marginalization）による比較では、より低次元の情報へ射影したときに分布の差がどのように縮むか、あるいは保存されるかが問われる。条件付き分布は確率的な更新則により生成されるため、プロコホロフ距離が示す誤差構造が、更新前後の比較に影響する。
一般に、詳細には条件付き構造や導出の仕方に依存するが、少なくとも「測度の平均としての差」や「領域への質量集中の差」が、押し出しや射影の操作で扱いやすい形に整理される点が利点である。
3 他の距離・指標との関係
3.1 ワッサースタイン距離との比較
3.1.1 有限次モーメントがある場合
ワッサースタイン距離は輸送コストに基づく距離であり、特にモーメント条件があると強い意味での比較が可能になる。プロコホロフ距離は幾何学的な近傍包摂で定義されるため、輸送の詳細な“距離”そのものを最適化するタイプとは発想が異なる。
ただし、モーメントが有限である場合には、分布のテール挙動が抑えられ、両者の収束概念が整合しやすくなる。その結果、プロコホロフ的な収束がワッサースタイン的な収束につながる（あるいはその逆向きに読み替えられる）状況が整理されることがある。
3.1.2 テール挙動の違い
プロコホロフ距離は押し広げと誤差許容に基づくため、無限遠への質量散逸をタイトネスで管理する要請が自然に現れる。ワッサースタイン距離は輸送コストを積分する性質を持つので、テールの重さにより距離自体が大きくなりやすい。
この違いにより、同じ弱収束でもワッサースタインが有限でないケースでは比較の扱いが変わる。テールが重い場合には、プロコホロフの方がまず弱収束の枠組みを捉える道具として適しやすい。
3.2 全変動距離・弱い距離との関係
3.2.1 全変動との位置づけ
全変動距離は、測度差を最大化する半直（測定可能集合）による評価を行う距離で、より強い情報を含む。一般に、全変動の小ささはプロコホロフ距離の小ささを含意しうるが、逆は成り立たないことが多い。
そのため、全変動が厳密な一致に近い強さを持つのに対し、プロコホロフはより位相的・集合論的な比較に軸足を置く指標と位置づけられる。
3.2.2 弱収束に適した指標としての性質
プロコホロフ距離の強みは、弱収束の“情報量”に合わせた設計にある。連続関数による評価と関係するため、分布の滑らかな変化や極限定理の設定で解析しやすい。
また、距離値が小さいことを、閉集合に関する確率質量の近さとして言い換えられるため、直観と計算可能性の橋渡しになっている。
3.3 カップリング（結合）の観点
3.3.1 結合表現の発想
カップリングとは、2つの測度を同じ確率空間上に同居させ、両者の関係を共同分布として扱う手法である。プロコホロフ距離は、この結合の存在と整合する形で説明できることが多く、例えば「確率的にある意味で近い位置に同時に置けるか」を距離で制御する発想が入る。
この見方は、測度比較を「確率過程やサンプルをどう関連づけるか」という確率構造の問題に変換する効果を持つ。
3.3.2 距離の評価への応用
カップリングの視点は、上界を作るときに役立つ。たとえば、具体的に結合を構成し、2つのサンプルの距離が大きくならない確率を評価できれば、その評価からプロコホロフ距離の上界が得られる。
このように、幾何学的な拡大条件と確率的な同時構成が対応づくことで、抽象的な定義が実際の推定作業に接続される。
4 応用分野と計算法の観点
4.1 確率論での利用
4.1.1 大数の法則・中心極限定理的文脈
確率論の極限定理では、分布の収束が中心的な結論として現れる。弱収束により「分布がある極限分布へ近づく」ことを示すには、適切な距離や指標が有用になる。プロコホロフ距離は弱収束との対応が明確であるため、収束を距離の言葉で記述しやすい。
例えば、独立同分布の和の正規化分布が漸近的に正規分布へ近づく状況では、どの程度の距離まで縮まるかを議論するための足場になる。ただし精密な評価には別の道具（テール制御や特性関数解析など）が併用されることが多い。
4.1.2 近似誤差評価
近似計算では、真の分布と近似分布の差をどれくらい許容できるかが問題になる。プロコホロフ距離は閉集合の包摂に基づく評価を与えるため、「イベントが起こる確率の差がどの程度か」を領域の拡大とともに扱える。
このため、アルゴリズムやシミュレーションにより得た経験分布が、理論分布にどれほど近いかを示す際に、弱収束レベルの保証を与える指標として用いられる。
4.2 極限操作と確率測度の比較
4.2.1 近似列の収束確認
測度列 \( \mu_n \) が極限測度 \(\mu\) へ近づくことを示す局面では、弱収束を直接示すより、プロコホロフ距離の収束（もしくは上界の構成）を行う方が整理しやすい場合がある。
一般には距離評価が簡単でないこともあるが、閉集合に関する包摂条件として落とし込めるなら、誤差許容を段階的に小さくしていくことで収束確認の枠組みを構築できる。
4.2.2 有限次元近似との整合
無限次元の確率過程を有限次元へ近似する際、写像の連続性や射影が距離の挙動に影響する。プロコホロフ距離は弱収束の枠組みに整合しやすいため、近似の精度保証を「分布の近さ」として表しやすい。
このとき、有限次元化によって失われる情報（例えば無限遠方向の散逸）をタイトネスで管理できるかどうかが成否を分ける。うまくいけば、近似解の分布が極限の分布へ漸近的に従うことを整理できる。
4.3 実務的な見積もりの工夫
4.3.1 上界を与える考え方
上界作成では、閉集合の評価から直接進める方法と、カップリングにより確率的同時配置を作る方法の2系統が使われる。前者では、任意の閉集合に対し必要な拡大半径を見積もり、そのときの確率損失を条件として抑える。後者では、2つの測度を同じサンプル空間に乗せたときに、距離がある値を超えない確率を評価する。
どちらの道でも、「\(\varepsilon\) をどの程度に設定すれば条件が満たされるか」を明確にすることが要点になる。
4.3.2 数値評価・推定の考え方
実際の計算では、プロコホロフ距離を厳密に数値化するより、上界や推定量を使うことが多い。経験分布が関与する場合、回帰やブートストラップなどの統計的手法を組み合わせて、領域イベントの出現頻度から包摂条件を経験的に評価する方向が取られる。
また、格子近似や有限集合による近似により、閉集合に関する評価を有限回の計算へ落とし込む工夫が用いられることがある。数値誤差と理論誤差の分離が重要であり、距離の定義に含まれる拡大操作を計算上の近傍として具体化することが実装上の中心となる。