Distance de Lévy-Prokhorov
# Distance de Lévy-Prokhorov

En mathématiques, la distance de Lévy-Prokhorov, parfois appelée distance de Prokhorov, est une distance sur l'ensemble des mesures de probabilité d'un espace métrique donné. Cet objet mathématique doit son nom au mathématicien français Paul Lévy et au mathématicien soviétique Yuri Prokhorov. C'est une généralisation de la distance de Lévy, à des espaces autres que $\mathbb {R}$, due à Prokhorov.

## Définition

Soit $(M,d)$ un espace métrique et ${\mathcal {P}}(M)$ l'ensemble des mesures de probabilité sur l'espace mesurable $(M,{\mathcal {B}}(M))$, où ${\mathcal {B}}(M)$ désigne la tribu borélienne sur $M$.

Pour un sous-ensemble $A\subseteq M$ et $\varepsilon >0$, notons $A^{\varepsilon }$ le $\varepsilon$-voisinage de $A$ défini comme suit : $A^ε:={p∈M∣∃q∈A,$ d(p, $q)<ε}=⋃_{p∈A}B_ε(p){\textstyle$ A^{\varepsilon }:=\{p\in M\mid \exists q\in A, \, d(p, q)<\varepsilon \}=\bigcup _{p\in A}B_{\varepsilon }(p)}, où $B_{\varepsilon }(p)$ est la boule ouverte de centre $p$ et de rayon rayon $\varepsilon$.

La métrique de Lévy-Prokhorov $\pi :{\mathcal {P}}(M)^{2}\to \left[0,+\infty \right[$ est définie ainsi :

$\pi (\mu ,\nu ):=\inf \left\{\varepsilon >0\mid \forall A\in {\mathcal {B}}(M),\,\mu (A)\leq \nu (A^{\varepsilon })+\varepsilon \;{\text{et}}\;\nu (A)\leq \mu (A^{\varepsilon })+\varepsilon \right\}$,

On peut vérifier qu'il s'agit d'une distance bornée par 1.

## Propriétés

Le principal résultat justifiant l'introduction de cette distance et le suivant : si $M$ est séparable, alors la convergence faible sur l'espace ${\mathcal {P}}(M)$ est équivalente à la convergence selon $\pi$.

De plus ${\mathcal {P}}(M)$ est alors séparable et si $M$ est complet, alors ${\mathcal {P}}(M)$ l'est aussi. Cette discussion se résume ainsi : si $M$est un espace polonais, alors ${\mathcal {P}}(M)$ muni de la convergence en loi l'est également.

Certains auteurs suppriment l'une des inégalités dans la définition de $\pi$, ou restreignent la quantification sur $A$ aux ouverts ou aux fermés de $M$ sans changer les propriétés ci-dessus.

