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 , due à Prokhorov[1].
Définition
Soit un espace métrique et l'ensemble des mesures de probabilité sur l'espace mesurable , où désigne la tribu borélienne sur .
Pour un sous-ensemble et , notons le -voisinage de défini comme suit : , où est la boule ouverte de centre et de rayon rayon .
La métrique de Lévy-Prokhorov est définie ainsi[2] :
,
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 est séparable, alors la convergence faible sur l'espace est équivalente à la convergence selon [3].
De plus est alors séparable et si est complet, alors l'est aussi. Cette discussion se résume ainsi : si est un espace polonais, alors muni de la convergence en loi l'est également.
Certains auteurs suppriment l'une des inégalités dans la définition de , ou restreignent la quantification sur aux ouverts ou aux fermés de sans changer les propriétés ci-dessus.
Notes et références
- (en) « Lévy metric », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, (ISBN 978-1556080104, lire en ligne).
- (en) « Lévy-Prokhorov metric », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, (ISBN 978-1556080104, lire en ligne).
- (en) Billingsley, Patrick, Convergence of Probability Measures, New York/Chichester/Weinheim etc., John Wiley & Sons, Inc., New York, , 277 p. (ISBN 0-471-19745-9, OCLC 41238534)
- Portail des probabilités et de la statistique