Convergence de mesures

Cette section tente de fournir une description intuitive approximative de trois notions de convergence, en utilisant la terminologie développée dans les cours de calcul ; cette section est nécessairement imprécise ainsi qu'inexacte, et le lecteur doit se référer aux clarifications formelles des sections suivantes. En particulier, les descriptions ici n'abordent pas la possibilité que la mesure de certains ensembles puisse être infinie, ou que l'espace sous-jacent puisse présenter un comportement pathologique, et des hypothèses techniques supplémentaires sont nécessaires pour certaines des déclarations. Les affirmations de cette section sont cependant toutes correctes si ${\displaystyle (\mu _{n})}$ est une suite de mesures de probabilité sur un espace polonais.

Les différentes notions de convergence formalisent l'affirmation selon laquelle la « valeur moyenne » de toute fonction « suffisamment agréable » devrait converger :

${\displaystyle \int f\,d\mu _{n}\to \int f\,d\mu }$

Pour formaliser cela, il faut spécifier soigneusement l'ensemble des fonctions considérées et le degré d'uniformité de la convergence.

La notion de convergence faible nécessite que cette convergence ait lieu pour chaque fonction bornée continue ${\displaystyle f}$. Cette notion traite la convergence pour différentes fonctions f indépendamment les unes des autres, i.e. que différentes fonctions f peuvent nécessiter différentes valeurs de N   ≤   n pour être approximées de façon égale (ainsi, la convergence n'est pas uniforme en ${\displaystyle f}$ ).

La notion de convergence forte formalise l'affirmation selon laquelle la mesure de chaque ensemble mesurable devrait converger:

${\displaystyle \mu _{n}(A)\to \mu (A)}$

Encore une fois, aucune uniformité sur l'ensemble ${\displaystyle A}$ n'est requise. Intuitivement, compte tenu des intégrales des fonctions « agréables », cette notion fournit plus d'uniformité qu'une convergence faible. En fait, lorsque l'on considère des suites de mesures avec une variation uniformément bornée sur un espace polonais, une forte convergence implique la convergence ${\displaystyle \int f\,d\mu _{n}\to \int f\,d\mu }$ pour toute fonction mesurable bornée ${\displaystyle f}$ . Comme précédemment, cette convergence n'est pas uniforme en ${\displaystyle f}$.

La notion de convergence en variation totale formalise l'affirmation selon laquelle la mesure de tous les ensembles mesurables doit converger uniformément, c'est-à-dire pour chaque ${\displaystyle \varepsilon >0}$ il existe un entier ${\textstyle N}$ tel que ${\textstyle |\mu _{n}(A)-\mu (A)|<\varepsilon }$ pour chaque ${\textstyle n>N}$ et pour chaque ensemble mesurable ${\textstyle A}$ . Comme précédemment, cela implique une convergence des intégrales avec des fonctions mesurables bornées, mais cette fois la convergence est uniforme sur toutes les fonctions bornées par une constante fixe.

Il s'agit de la plus forte notion de convergence présentée sur cette page et elle est définie comme suit. Soit ${\displaystyle (X,{\mathcal {F}})}$ un espace mesurable. La distance en variation totale entre deux mesures (positives) μ et ν est alors donnée par

${\displaystyle \left\|\mu -\nu \right\|_{\text{TV}}=\sup _{f}\left\{\int _{X}f\,d\mu -\int _{X}f\,d\nu \right\}.}$

Ici, le supremum est pris sur tous les ${\displaystyle f}$ parcourant l'ensemble de toutes les fonctions mesurables de ${\displaystyle X}$ dans ${\displaystyle [-1,1]}$. Cela contraste, par exemple, avec la métrique de Wasserstein, où la définition est de la même forme, mais où le supremum est pris sur tous les ${\displaystyle f}$ parcourant l'ensemble des fonctions mesurables de ${\displaystyle X}$ dans ${\displaystyle [-1,1]}$ qui ont une constante de Lipschitz au plus égale à ${\displaystyle 1}$ ; ou avec la métrique de Radon, où le supremum est pris sur tous les ${\displaystyle f}$ parcourant l'ensemble des fonctions continues de ${\displaystyle X}$ dans ${\displaystyle [-1,1]}$. Dans le cas où ${\displaystyle X}$ est un espace polonais, la métrique de la variation totale coïncide avec la métrique de Radon.

Si ${\textstyle \mu }$ et ${\textstyle \nu }$ sont tous deux des mesures de probabilité, alors la distance en variation totale est également donnée par

${\displaystyle \left\|\mu -\nu \right\|_{\text{TV}}=2\cdot \sup _{A\in {\mathcal {F}}}|\mu (A)-\nu (A)|.}$

L'équivalence entre ces deux définitions peut être considérée comme un cas particulier de la dualité Monge-Kantorovich. D'après les deux définitions ci-dessus, il est clair que la distance de variation totale entre les mesures de probabilité est toujours comprise entre 0 et 2.

Pour illustrer la signification de la distance en variation totale, considérons l'expérience de pensée suivante. Supposons que l'on nous donne deux mesures de probabilité ${\textstyle \mu }$ et ${\textstyle \nu }$, ainsi qu'une variable aléatoire ${\displaystyle X}$. Nous savons que ${\displaystyle X}$ suit la loi ${\textstyle \mu }$ ou ${\textstyle \nu }$ mais nous ne savons pas laquelle des deux. Supposons que ces deux mesures ont comme probabilité a priori 0,5 chacune d'être la vraie loi de ${\displaystyle X}$. Supposons maintenant que l'on nous donne un seul échantillon distribué selon la loi de ${\displaystyle X}$ et qu'on nous demande ensuite de deviner laquelle des deux distributions décrit cette loi. La quantité

${\displaystyle {2+\|\mu -\nu \|_{\text{TV}} \over 4}}$

fournit alors une borne supérieure stricte sur la probabilité a priori que notre supposition soit correcte.

Étant donnée la définition ci-dessus de la distance en variation totale, une suite ${\textstyle (\mu _{n})}$ de mesures définies sur le même espace de mesure converge vers une mesure ${\textstyle \mu }$ de distance de variation totale si pour chaque ${\textstyle \varepsilon >0}$, il existe un ${\textstyle N}$ tel que pour tout ${\displaystyle n>N}$, on a [1]

${\displaystyle \|\mu _{n}-\mu \|_{\text{TV}}<\varepsilon .}$

Pour ${\displaystyle (X,{\mathcal {F}})}$ un espace mesurable, une suite ${\textstyle (\mu _{n})}$ converge fortement vers une limite ${\textstyle \mu }$ si

${\displaystyle \lim _{n\to \infty }\mu _{n}(A)=\mu (A)}$

pour tous les ensembles ${\displaystyle A\in {\mathcal {F}}}$ .

Par exemple, du fait du lemme de Riemann–Lebesgue, la suite ${\textstyle (\mu _{n})}$ de mesures sur l'intervalle ${\displaystyle [-1,1]}$ donnée par ${\displaystyle \mu _{n}(\mathrm {d} x)=(1+\sin(nx))\,\mathrm {d} x}$ converge fortement vers la mesure de Lebesgue, mais elle ne converge pas en variation totale.

En mathématiques et en statistiques, la convergence faible est l'un des nombreux types de convergence liées à la convergence des mesures. Elle dépend d'une topologie de l'espace sous-jacent et n'est donc pas une notion de mesure purement théorique.

Il existe plusieurs définitions équivalentes de convergence faible d'une suite de mesures, dont certaines sont (apparemment) plus générales que d'autres. L'équivalence de ces conditions est parfois connue sous le nom de théorème de Portmanteau[2] .

Définition : Soit ${\displaystyle S}$ un espace métrique muni de sa tribu borélienne ${\displaystyle \Sigma }$. Une suite bornée de mesures de probabilité positives ${\displaystyle P_{n}\,(n=1,2,\dots )}$ sur ${\displaystyle (S,\Sigma )}$ converge faiblement vers la mesure positive finie ${\displaystyle P}$ (notée ${\textstyle P_{n}\Rightarrow P}$ ) si l'une des conditions équivalentes suivantes est remplie (ici ${\displaystyle \operatorname {E} _{n}}$ désigne l'espérance ou la norme ${\displaystyle L^{1}}$ par rapport à ${\displaystyle P_{n}}$, tandis que ${\displaystyle \operatorname {E} }$ désigne l'espérance ou la norme ${\displaystyle L^{1}}$ par rapport à ${\displaystyle P}$ ):

• ${\displaystyle \operatorname {E} _{n}[f]\to \operatorname {E} [f]}$ pour toutes les fonctions bornées et continues ${\displaystyle f}$ ;
• ${\displaystyle \operatorname {E} _{n}[f]\to \operatorname {E} [f]}$ pour toutes les fonctions bornées et Lipschitz ${\displaystyle f}$ ;
• ${\displaystyle \limsup \operatorname {E} _{n}[f]\leq \operatorname {E} [f]}$ pour chaque fonction ${\displaystyle f}$ semi-continue supérieurement et majorée;
• ${\displaystyle \liminf \operatorname {E} _{n}[f]\geq \operatorname {E} [f]}$ pour chaque fonction ${\displaystyle f}$ semi-continue inférieurement et minorée;
• ${\displaystyle \limsup P_{n}(C)\leq P(C)}$ pour tous les ensembles fermés ${\displaystyle C}$ de l'espace ${\displaystyle S}$ ;
• ${\displaystyle \liminf P_{n}(U)\geq P(U)}$ pour tous les ensembles ouverts ${\displaystyle U}$ de l'espace ${\displaystyle S}$ ;
• ${\displaystyle \lim P_{n}(A)=P(A)}$ pour tout ensemble ${\displaystyle A}$ tel que ${\displaystyle P(\partial A)=0}$ (où ${\displaystyle \partial A}$ est la frontière de ${\displaystyle A}$).

Dans le cas ${\displaystyle S\equiv \mathbb {R} }$, muni de sa topologie habituelle, si on désigne par ${\displaystyle (F_{n})}$ et ${\textstyle F}$ les fonctions de répartition des mesures ${\displaystyle P_{n}}$et ${\displaystyle P}$ respectivement, alors ${\displaystyle P_{n}}$ converge faiblement vers ${\displaystyle P}$ si et seulement si ${\textstyle \lim \limits _{n\to \infty }F_{n}(x)=F(x)}$ pour tous les points de continuité ${\displaystyle x}$ de ${\textstyle F}$.

Par exemple, la suite où les ${\displaystyle P_{n}}$ sont les mesures de Dirac en ${\displaystyle 1/n}$ converge faiblement vers la mesure de Dirac en 0 (si on les considère comme des mesures sur ${\displaystyle \mathbb {R} }$ avec la topologie habituelle), mais elle ne converge pas fortement. Ceci est clair intuitivement : nous savons seulement que ${\displaystyle 1/n}$ est "proche" de ${\displaystyle 0}$ en raison de la topologie de ${\displaystyle \mathbb {R} }$ .

Cette définition de convergence faible peut être étendue sur tout espace topologique métrisable ${\displaystyle S}$. Il définit également une topologie faible sur ${\displaystyle {\mathcal {P}}(S)}$, qui est l'ensemble de toutes les mesures de probabilité définies sur ${\displaystyle (S,\Sigma )}$. La topologie faible est générée par la base d'ensembles ouverts suivante :

${\displaystyle \left\{U_{\phi ,x,\delta }\left|{\begin{array}{c}\phi \,\colon S\to \mathbb {R} {\text{ est bornée et continue,}}\\x\in \mathbf {R} {\text{ et }}\delta >0\end{array}}\right.\right\},}$

où

$${\displaystyle U_{\phi ,x,\delta }:=\left\{\mu \in {\mathcal {P}}(S)\,:\,\left|\int _{S}\phi \;\mathrm {d} \mu -x\right|<\delta \right\}.}$$

Si ${\displaystyle S}$ est également séparable, ${\displaystyle {\mathcal {P}}(S)}$ est métrisable et séparable, par exemple par la métrique de Lévy – Prokhorov, si ${\displaystyle S}$ est également compact ou polonais, ${\displaystyle {\mathcal {P}}(S)}$ l'est également.

Si ${\displaystyle S}$ est séparable, il s'intègre naturellement dans ${\displaystyle {\mathcal {P}}(S)}$ comme l'ensemble (fermé) des mesures de Dirac, et son enveloppe convexe est dense .

Il existe de nombreuses "flèches" pour ce type de convergence : les plus utilisées sont ${\displaystyle P_{n}\Rightarrow P}$, ${\displaystyle P_{n}\rightharpoonup P}$ et ${\displaystyle P_{n}{\xrightarrow {\mathcal {D}}}P.}$ .

• Convergence de variables aléatoires
• Théorème de Prokhorov
• Métrique de Lévy – Prokhorov
• Tension des mesures

• Ambrosio, L., Gigli, N. & Savaré, G., Gradient Flows in Metric Spaces and in the Space of Probability Measures, Basel, ETH Zürich, Birkhäuser Verlag, 2005 (ISBN 3-7643-2428-7)
• Patrick Billingsley, Probability and Measure, New York, NY, John Wiley & Sons, Inc., 1995 (ISBN 0-471-00710-2)
• Patrick Billingsley, Convergence of Probability Measures, New York, NY, John Wiley & Sons, Inc., 1999 (ISBN 0-471-19745-9, lire en ligne)

• Portail des mathématiques