Prochorow-Metrik
# Prochorow-Metrik

Die Prochorow-Metrik ist eine Metrik auf der Menge der endlichen Maße. Anschaulich ordnet sie also je zwei Maßen einen Abstand zu und ermöglicht es dadurch, Konvergenzbegriffe zu formulieren. Sie ist eine Verallgemeinerung der Lévy-Metrik für Verteilungsfunktionen im Sinne der Stochastik (nach Paul Lévy benannt) und wird daher auch teilweise Lévy-Prochorow-Metrik genannt. Insbesondere metrisiert sie die schwache Konvergenz von Maßen. Benannt wurde sie nach Juri Wassiljewitsch Prochorow, der sich Mitte der fünfziger Jahre mit ihr beschäftigte. Aufgrund der unterschiedlichen Transkriptionen seines Namens existieren auch unterschiedliche Schreibweisen für diese Metrik.

## Definition

Sei $(E,d)$ ein metrischer Raum, ${\mathcal {B}}$ die Borelsche σ-Algebra auf $E$ und ${\mathcal {M}}_{f}^{+}(E,{\mathcal {B}})$ die Menge der endlichen Maße auf dem Messraum $(E,{\mathcal {B}})$. Des Weiteren bezeichne

    $B_{\epsilon }:=\{x\in E\,|\,d(x,B)<\epsilon \}$

die $\epsilon$-Umgebung der Menge $B$. Definiert man für zwei $\mu ,\nu \in {\mathcal {M}}_{f}^{+}(E,{\mathcal {B}})$

    $d^{*}(\mu ,\nu ):=\inf\{\epsilon >0\,|\,\forall B\in {\mathcal {B}}:\;\mu (B)\leq \nu (B_{\epsilon })+\epsilon \}$,

dann heißt

    $d_{P}(\mu ,\nu ):=\max\{d^{*}(\mu ,\nu ),d^{*}(\nu ,\mu )\}$

die Prochorow-Metrik auf der Menge der endlichen Maße ${\mathcal {M}}_{f}^{+}(E,{\mathcal {B}})$.

## Eigenschaften

Die Prochorow-Metrik macht $({\mathcal {M}}_{f}^{+}(E,{\mathcal {B}}),d_{P})$ zu einem metrischen Raum. Die Eigenschaften dieses Raumes hängen wesentlich von den Eigenschaften von $(E,d)$ ab. Beispielsweise ist

* $(E,d)$ genau dann ein separabler metrischer Raum, wenn $({\mathcal {M}}_{f}^{+}(E,{\mathcal {B}}),d_{P})$ ein separabler Raum ist.
* $(E,d)$ genau dann ein polnischer Raum, wenn $({\mathcal {M}}_{f}^{+}(E,{\mathcal {B}}),d_{P})$ ein polnischer Raum ist

Außerdem impliziert die Konvergenz bezüglich der Prochorow-Metrik die schwache Konvergenz von Maßen. Ist $(E,d)$ ein separabler metrischer Raum, so gilt auch die Umkehrung. Dann sind Konvergenz bezüglich der Prochorow-Metrik und schwache Konvergenz von Maßen äquivalent. Die Prochorow-Metrik metrisiert dann also die Topologie der schwachen Konvergenz auf ${\mathcal {M}}_{f}^{+}(E,{\mathcal {B}})$.

## Spezialfälle

Sind $\mu ,\nu$ Wahrscheinlichkeitsmaße und ist $E$ ein separabler metrischer Raum, so ist $d^{*}(\mu ,\nu )=d^{*}(\nu ,\mu )$ und damit gilt

    $d_{P}(\mu ,\nu )=d^{*}(\mu ,\nu )=d^{*}(\nu ,\mu )$

Da $\mathbb {R}$ polnisch ist, ist für endliche Maße auf den reellen Zahlen die Konvergenz bezüglich der Prochorow-Metrik nach dem Satz von Helly-Bray äquivalent zur schwachen Konvergenz von Verteilungsfunktionen.

Demnach ist für Wahrscheinlichkeitsmaße auf den reellen Zahlen die Konvergenz bezüglich der Prochorow-Metrik äquivalent zur schwachen Konvergenz der Verteilungsfunktionen (im Sinne der Stochastik) und damit auch äquivalent zur Konvergenz bezüglich des Lévy-Abstandes.

