Convergence essentiellement uniforme (ou L^∞)

Rappelons qu'une variable aléatoire réelle ${\displaystyle Y}$ est dite essentiellement bornée s'il existe un nombre ${\displaystyle M>0}$, appelé borne essentielle, tel que ${\displaystyle \mathbb {P} (|Y|\leq M)=1}$. Dans ce cas on définit ${\displaystyle ||Y||_{L^{\infty }}}$ comme la borne inférieure de l'ensemble des bornes essentielles de ${\displaystyle Y}$.

Définition (convergence essentiellement uniforme) — On dit que (X_n) converge vers X essentiellement uniformément, ou encore en norme L^∞ si, pour tout n, X_n et X sont essentiellement bornées et si

${\displaystyle \lim _{n\rightarrow \infty }||X_{n}-X||_{L^{\infty }}=0}$

Dans ce cas on note ${\displaystyle X_{n}\xrightarrow {L^{\infty }} X}$.

Remarques :

• Le fait que ${\displaystyle X_{n}}$ et ${\displaystyle X}$ soient essentiellement bornées implique que ${\displaystyle X_{n}-X}$ l'est aussi. Ainsi la quantité ${\displaystyle ||X_{n}-X||_{L^{\infty }}}$ est bien définie. Plus précisément l'ensemble des variables aléatoires réelles définies sur ${\displaystyle (\Omega ,{\mathcal {F}},\mathbb {P} )}$ essentiellement bornées est un espace vectoriel réel pour lequel la fonction ${\displaystyle ||\cdot ||_{L^{\infty }}}$ est une semi-norme. Attention ce n'est pas une norme, en général on quotiente par le sous-espace des variables aléatoires presque-sûrement nulles. Sur cet espace quotient, ${\displaystyle ||\cdot ||_{L^{\infty }}}$ induit une norme.

• Par abus de langage on parle parfois de « convergence uniforme » au lieu de « convergence essentiellement uniforme ». Cependant il ne faut pas s'y tromper, la notion de convergence donnée ci-dessus est plus faible que la convergence uniforme au sens strict. En effet, il se pourrait que les variables ${\displaystyle X_{n}-X}$ soient toutes essentiellement bornées mais non bornées au sens strict auquel cas la convergence uniforme au sens strict n'aurait pas de sens. La raison pour laquelle on considère la convergence essentiellement uniforme plutôt que la convergence uniforme au sens strict et celle donnée plus haut : on veut que la convergence soit insensible face aux modifications négligeables des variables aléatoires. Ce ne serait pas le cas si on prenait la convergence uniforme au sens strict. Donnons un exemple concret : prenons ${\displaystyle \Omega =\{0,1\}}$ muni de la tribu ${\displaystyle {\mathcal {F}}=\{\emptyset ,\{0\},\{1\},\Omega \}}$ et de la probabilité définie par ${\displaystyle \mathbb {P} (\{0\})=0}$ et ${\displaystyle \mathbb {P} (\{1\})=1}$. Prenons les variables définies par ${\displaystyle X(0)=0}$, ${\displaystyle X(1)=1}$, ${\displaystyle X_{n}(0)=n}$ et ${\displaystyle X_{n}(1)=1+1/n}$ pour tout n. Il est clair que ${\displaystyle (X_{n})}$ ne converge pas uniformément vers ${\displaystyle X}$ au sens strict puisque pour tout n,${\displaystyle \sup _{\Omega }|X_{n}-X|=n}$. En revanche ${\displaystyle (X_{n})}$ converge essentiellement uniformément vers ${\displaystyle X}$ puisque pour tout n, ${\displaystyle ||X_{n}-X||_{L^{\infty }}=1/n}$.
• Si ${\displaystyle (X_{n})}$ converge essentiellement uniformément vers ${\displaystyle X}$ alors il existe un évènement ${\displaystyle E}$ de probabilité 1 tel que, restreint à ${\displaystyle E}$, ${\displaystyle (X_{n})}$ converge uniformément vers ${\displaystyle X}$ au sens strict. Plus précisément, ${\displaystyle \sup _{\Omega }|\mathbf {1} _{E}X_{n}-\mathbf {1} _{E}X|}$ tend vers 0, où ${\displaystyle \mathbf {1} _{E}}$ est la variable aléatoire qui vaut 1 sur ${\displaystyle E}$ et 0 ailleurs (elle est donc presque-sûrement égale à 1).
• La convergence essentiellement uniforme se généralise à des variables aléatoires à valeurs dans un espace vectoriel normé muni de sa tribu borélienne. Il est même possible de généraliser cette notion de convergence à des fonctions mesurables sur un espace mesuré.

Convergence en moyenne d'ordre p (ou L^p)

Rappelons qu'une variable aléatoire réelle ${\displaystyle Y}$ est dite avoir un moment d'ordre p > 0 fini si ${\displaystyle \mathbb {E} (|Y|^{p})<+\infty }$. Dans ce cas on définit ${\displaystyle ||Y||_{L^{p}}:=\mathbb {E} (|Y|^{p})^{1/p}}$.

Définition (convergence en moyenne d'ordre p) — Soit p > 0. On dit que (X_n) converge vers X en moyenne d'ordre p ou encore en norme L^p si, pour tout n, X_n et X ont un moment d'ordre p fini et si

${\displaystyle \lim _{n\rightarrow \infty }\vert \vert X_{n}-X\vert \vert _{L^{p}}=0}$

ou de manière équivalente, si

${\displaystyle \lim _{n\rightarrow \infty }\mathbb {E} \left[\vert X_{n}-X\vert ^{p}\right]=0}$.

Dans ce cas on note ${\displaystyle X_{n}\xrightarrow {L^{p}} X}$.

Remarques :

• Le fait que ${\displaystyle X_{n}}$ et ${\displaystyle X}$ aient un moment d'ordre p fini implique que ${\displaystyle X_{n}-X}$ aussi (pour p ≥ 1 cela est une conséquence de l'inégalité de Minkowski). Ainsi la quantité ${\displaystyle ||X_{n}-X||_{L^{p}}}$ est bien définie. Plus précisément l'ensemble des variables aléatoires réelles définies sur ${\displaystyle (\Omega ,{\mathcal {F}},\mathbb {P} )}$ ayant un moment d'ordre p fini est un espace vectoriel réel pour lequel la fonction ${\displaystyle ||\cdot ||_{L^{p}}}$ est une semi-norme, quand p ≥ 1, et est une semi-quasi-norme, quand 0 < p < 1. Attention ce n'est pas une norme, en général on quotiente par le sous-espace des variables aléatoires presque-sûrement nulles. Sur cet espace quotient, ${\displaystyle ||\cdot ||_{L^{p}}}$ induit une norme quand p ≥ 1 et induit une quasi-norme quand 0 < p < 1.
• Pour p = 1, on parle simplement de convergence en moyenne et pour p = 2 de convergence en moyenne quadratique.

• La convergence en moyenne d'ordre p se généralise à des variables aléatoires à valeurs dans un espace vectoriel normé muni de sa tribu borélienne. Il est même possible de généraliser cette notion de convergence à des fonctions mesurables sur un espace mesuré.

• Pour r =2, on a le résultat suivant :

Propriété — Soit c une constante réelle. On a alors

${\displaystyle X_{n}{\xrightarrow {\mathbb {L} ^{2}}}c}$

si et seulement si

${\displaystyle \lim _{n\to \infty }\mathbb {E} [X_{n}]=c\qquad {\text{et}}\qquad \lim _{n\to \infty }\operatorname {Var} [X_{n}]=0}$

Démonstration

Cela découle l'identité suivante :

${\displaystyle \mathbb {E} \left[(X_{n}-c)^{2}\right]=\operatorname {Var} (X_{n})+\left(\mathbb {E} [X_{n}]-c\right)^{2}}$

Convergence presque sûre

On rappelle qu'un ensemble négligeable de l'espace probabilisé ${\displaystyle (\Omega ,{\mathcal {F}},\mathbb {P} )}$ est un sous-ensemble ${\displaystyle N\subset \Omega }$ tel qu'il existe ${\displaystyle A\in {\mathcal {F}}}$ vérifiant ${\displaystyle \mathbb {P} (A)=0}$ et ${\displaystyle N\subset A}$. Autrement dit, un ensemble négligeable est un sous-ensemble de ${\displaystyle \Omega }$ inclus dans un ensemble de probabilité nulle.

Définition (convergence presque sûre) — On dit que (X_n) converge presque sûrement vers X si

${\displaystyle \mathbb {P} \left(\lim _{n\rightarrow \infty }X_{n}=X\right)=1}$

ou de manière équivalente, s'il existe un ensemble négligeable N ⊂ Ω tel que

${\displaystyle \forall \omega \in \Omega \setminus N,\qquad X_{n}(\omega ){\xrightarrow[{n\to \infty }]{}}X(\omega )}$

Dans ce cas on note ${\displaystyle X_{n}{\xrightarrow {p.s.}}X}$.

Remarques :

• L'ensemble ${\displaystyle \{\lim _{n\to \infty }X_{n}=X\}=\{\omega \in \Omega \,|\,\lim _{n\to \infty }X_{n}(\omega )=X(\omega )\}}$ appartient bien à la tribu ${\displaystyle {\mathcal {F}}}$, donc sa probabilité est bien définie. En effet cela peut se voir en écrivant ${\displaystyle \{\lim _{n\to \infty }X_{n}=X\}=\bigcap _{m\geq 1}\bigcup _{N\geq 1}\bigcap _{n\geq N}\{|X_{n}-X|\leq 1/m\}}$ et en utilisant les propriétés de stabilité d'une tribu.

• La convergence presque sûre est équivalente à la condition :

${\displaystyle \forall \varepsilon >0,\qquad \mathbb {P} \left(\liminf _{n}\{|X_{n}-X|<\varepsilon \}\right)=1}$

ainsi qu'à la condition :

${\displaystyle \forall \varepsilon >0,\qquad \mathbb {P} \left(\limsup _{n}\{|X_{n}-X|>\varepsilon \}\right)=0}$

où ces limites inférieure et supérieure de suites d'ensembles sont définies par

${\displaystyle \liminf _{n}\{|X_{n}-X|<\varepsilon \}:=\bigcup _{N\in \mathbb {N} }\bigcap _{n\geq N}\{|X_{n}-X|<\varepsilon \}=\{|X_{n}-X|<\varepsilon \ \mathrm {{\grave {a}}\ partir\ d'un\ certain\ rang} \}}$

et

${\displaystyle \limsup _{n}\{|X_{n}-X|>\varepsilon \}:=\bigcap _{N\in \mathbb {N} }\bigcup _{n\geq N}\{|X_{n}-X|>\varepsilon \}=\{|X_{n}-X|>\varepsilon \ \mathrm {infiniment\ souvent} \}}$.

• La convergence presque sûre est utilisée dans la loi forte des grands nombres.
• La convergence presque sûre se généralise à des variables aléatoires à valeurs dans un espace topologique muni de sa tribu borélienne. Il est même possible de généraliser cette notion de convergence à des fonctions mesurables sur un espace mesuré, on parle alors de convergence presque partout.

Convergence en probabilité

Définition (convergence en probabilité) — On dit que (X_n) converge vers X en probabilité si

${\displaystyle \forall \varepsilon >0,\qquad \lim _{n\rightarrow \infty }\mathbb {P} \left(\left|X_{n}-X\right|\geq \varepsilon \right)=0.}$

Dans ce cas on note ${\displaystyle X_{n}{\xrightarrow {\mathbb {P} }}X}$.

Remarques :

• La convergence en probabilité se généralise à des variables aléatoires à valeurs dans un espace métrique muni de sa tribu borélienne. Dans ce cas il faut remplacer ${\displaystyle |X_{n}-X|}$ par ${\displaystyle d(X_{n},X)}$ dans la définition, où ${\displaystyle d}$ désigne la distance. Il est même possible de généraliser cette notion de convergence à des fonctions mesurables sur un espace mesuré, on parle alors de convergence en mesure.

Convergence en loi

Définition (convergence en loi) — On dit que (X_n) converge vers X en loi si pour toute fonction f à valeurs réelles, continue et bornée

${\displaystyle \lim _{n\rightarrow \infty }\mathbb {E} \left[f(X_{n})\right]=\mathbb {E} \left[f(X)\right].}$

Dans ce cas on note ${\displaystyle X_{n}\xrightarrow {\mathcal {L}} X}$ ou encore ${\displaystyle X_{n}\Rightarrow X}$.

Remarques :

• Le fait que ${\displaystyle f}$ soit continue nous assure qu'elle est mesurable, donc par composition, ${\displaystyle f(X_{n})}$ et ${\displaystyle f(X)}$ aussi. De plus, le fait que ${\displaystyle f}$ soit bornée implique que ${\displaystyle f(X_{n})}$ et ${\displaystyle f(X)}$ sont aussi bornées. Ainsi les quantités ${\displaystyle \mathbb {E} \left[f(X_{n})\right]}$ et ${\displaystyle \mathbb {E} \left[f(X)\right]}$ sont bien définies.
• Dans le cas de variables aléatoires à valeurs entières, la convergence en loi est équivalente à :

${\displaystyle \lim _{n\rightarrow \infty }\mathbb {P} (X_{n}=m)=\mathbb {P} (X=m),}$ pour tout entier m.

• Dans le cas de variables aléatoires à valeurs réelles, il existe un critère de convergence en loi important faisant appel aux fonctions de répartition. Plus précisément, soient F₁, F₂, ... la suite des fonctions de répartition associées aux variables aléatoires réelles X₁, X₂, ... et F la fonction de répartition de la variable aléatoire réelle X. Autrement dit, F_n est définie par F_n(x) = P(X_n ≤ x), et F par F(x) = P(X ≤ x). La suite (X_n) converge vers X en loi si et seulement si

${\displaystyle \lim _{n\rightarrow \infty }F_{n}(a)=F(a),}$ pour tout réel a où F est continue.

Puisque F(a) = P(X ≤ a), cela signifie que la probabilité que X appartienne à un certain intervalle est très proche de la probabilité que X_n soit dans cet intervalle pour n suffisamment grand.

• Un autre résultat important donnant des critères équivalents de convergence en loi est le théorème porte-manteau.
• Le théorème de convergence de Lévy donne une équivalence entre la convergence en loi et la convergence, en tout point, des fonctions caractéristiques.
• La convergence en loi se généralise à des variables aléatoires à valeurs dans un espace topologique muni de sa tribu borélienne.

Convergence en loi

Convergences L^∞ et L^p

À noter que si ${\displaystyle (X_{n})}$ et ${\displaystyle X}$ sont essentiellement bornées, alors elles admettent un moment d'ordre p fini. Il est donc légitime de parler de la convergence en norme ${\displaystyle L^{p}}$.

La réciproque du résultat est fausse. Par exemple, prenons une suite de variables aléatoires ${\displaystyle (X_{n})}$ à valeurs dans ${\displaystyle \{0,1\}}$ telles que ${\displaystyle \mathbb {P} (X_{n}=1)=1/n}$ pour tout ${\displaystyle n\geq 1}$. Alors, pour tout ${\displaystyle p>0}$, ${\displaystyle (X_{n})}$ converge vers 0 en norme ${\displaystyle L^{p}}$ car ${\displaystyle \vert \vert X_{n}\vert \vert _{L^{p}}=(1/n)^{1/p}}$. Pourtant elle ne converge pas en norme ${\displaystyle L^{\infty }}$ car ${\displaystyle \vert \vert X_{n}\vert \vert _{L^{\infty }}=1}$.

Convergences L^p et L^q

À noter que si ${\displaystyle (X_{n})}$ et ${\displaystyle X}$ ont un moment d'ordre p fini, alors elles ont aussi un moment d'ordre q fini. Il est donc légitime de parler de la convergence en norme ${\displaystyle L^{q}}$.

La réciproque du résultat est fausse. Par exemple, prenons une suite de variables aléatoires ${\displaystyle (X_{n})}$ à valeurs dans ${\displaystyle \mathbb {R} _{+}}$ telles que ${\displaystyle \mathbb {P} (X_{n}=0)=1-1/n^{p}}$ et ${\displaystyle \mathbb {P} (X_{n}=n)=1/n^{p}}$ pour tout ${\displaystyle n\geq 1}$. Alors ${\displaystyle (X_{n})}$ converge vers 0 en norme ${\displaystyle L^{q}}$ car ${\displaystyle \vert \vert X_{n}\vert \vert _{L^{q}}^{q}=n^{q-p}}$. Pourtant elle ne converge pas en norme ${\displaystyle L^{p}}$ car ${\displaystyle \vert \vert X_{n}\vert \vert _{L^{p}}=1}$.

Convergences L^p et en probabilité

Démonstration

C'est une application directe de l'inégalité de Markov pour les variables aléatoires réelles admettant un moment d'ordre p :

${\displaystyle \mathbb {P} \left(\vert X_{n}-X\vert \geq \varepsilon \right)\leq {\frac {\operatorname {E} \left[\vert X_{n}-X\vert ^{p}\right]}{\varepsilon ^{p}}}}$

La réciproque du résultat est fausse. Par exemple, prenons ${\displaystyle Y}$ une variable aléatoire de loi uniforme sur ${\displaystyle [0,1]}$ et posons ${\displaystyle X_{n}:=n{\textbf {1}}_{\{Y\leq 1/n\}}}$. Alors ${\displaystyle (X_{n})}$ converge vers 0 en probabilité car ${\displaystyle \mathbb {P} (\vert X_{n}\vert \geq \varepsilon )=1/n}$ pour ${\displaystyle n\geq \varepsilon }$. Cette suite converge même presque sûrement vers 0. Pourtant elle ne converge pas en norme ${\displaystyle L^{1}}$ car ${\displaystyle \vert \vert X_{n}\vert \vert _{L^{1}}=1}$. Le théorème de Lebesgue-Vitali et le lemme de Riesz-Scheffé^[3] donnent chacun une condition suffisante pour que la convergence en probabilité donne la convergence en moyenne d'ordre p. La condition du premier est l'uniforme intégrabilité et la condition du second est la convergence des moments d'ordre p.

Convergences L^∞ et presque sûre

La réciproque du résultat est fausse. Par exemple, prenons ${\displaystyle Y}$ une variable aléatoire de loi uniforme sur ${\displaystyle [0,1]}$ et posons ${\displaystyle X_{n}:={\textbf {1}}_{\{Y\leq 1/n\}}}$. Alors la suite ${\displaystyle (X_{n})}$ converge vers 0 presque sûrement mais elle ne converge pas vers 0 dans ${\displaystyle L^{\infty }}$ car ${\displaystyle \vert \vert X_{n}\vert \vert _{L^{\infty }}=1}$ pour tout ${\displaystyle n}$. Le théorème d'Egoroff donne une réciproque partielle : s'il y a convergence presque sûre, alors il y a convergence uniforme sur des évènements de probabilité aussi proche de 1 que l'on souhaite (sans jamais atteindre 1 exactement).

Théorème (Egoroff) — Supposons que ${\displaystyle (X_{n})}$ converge vers ${\displaystyle X}$ presque sûrement. Alors pour tout ${\displaystyle \varepsilon >0}$ il existe un évènement ${\displaystyle A}$ tel que ${\displaystyle \mathbb {P} (A)\geq 1-\varepsilon }$ et tel que ${\displaystyle (X_{n})}$ converge uniformément vers ${\displaystyle X}$ sur ${\displaystyle A}$. Autrement dit,

${\displaystyle \lim _{n\to \infty }\sup _{A}\vert X_{n}-X\vert =0}$.

À noter que dans le théorème d'Egoroff la convergence est uniforme ce qui est plus fort que la convergence essentiellement uniforme.

Convergence presque sûre et en probabilité

Démonstration

Par le lemme de Fatou, on a pour tout ε > 0 :

${\displaystyle \liminf _{n}\mathbb {P} (|X_{n}-X|<\varepsilon )\geq \mathbb {P} \left(\liminf _{n}\{|X_{n}-X|<\varepsilon \}\right)=1}$

La réciproque du résultat est fausse. Par exemple prenons ${\displaystyle Y}$ une variable aléatoire de loi uniforme sur ${\displaystyle [0,1]}$. On crée les intervalles ${\displaystyle I_{1}:=[0,1]}$, ${\displaystyle I_{2}:=[0,1/2]}$, ${\displaystyle I_{3}:=[1/2,1]}$, ${\displaystyle I_{4}:=[0,1/4]}$, ${\displaystyle I_{5}:=[1/4,2/4]}$, ${\displaystyle I_{6}:=[2/4,3/4]}$, ${\displaystyle I_{7}:=[3/4,1]}$, ${\displaystyle I_{8}:=[0,1/8]}$, ... Plus explicitement, pour tout ${\displaystyle n\in \mathbb {N} ^{*}}$ on pose ${\displaystyle k_{n}:=\lfloor \log _{2}(n)\rfloor }$ et ${\displaystyle a_{n}:=n-2^{k_{n}}}$. On crée alors ${\displaystyle I_{n}:=[a_{n}/2^{k_{n}},(a_{n}+1)/2^{k_{n}}]}$. On définit ensuite ${\displaystyle X_{n}:=\mathbf {1} _{\{Y\in I_{n}\}}}$. Alors la suite ${\displaystyle (X_{n})}$ converge en probabilité vers 0. Elle converge même dans ${\displaystyle L^{p}}$ pour tout ${\displaystyle p>0}$ car ${\displaystyle \mathbb {E} [\vert X_{n}\vert ^{p}]=1/2^{k_{n}}}$. Pourtant cette suite ne converge pas presque sûrement vers 0 car presque sûrement il existe une infinité de ${\displaystyle n}$ tels que ${\displaystyle Y\in I_{n}}$. Il est également possible de trouver des suites qui convergent en probabilité mais qui converge ni presque sûrement, ni dans ${\displaystyle L^{p}}$ comme le montre l'exemple suivant.

Exemple :

Soit p > 0. On considère (X_n)_{n ≥ 1} une suite de variables aléatoires indépendantes telle que

${\displaystyle \mathbb {P} (X_{n}=n^{1/p})={\frac {1}{n}}\qquad {\text{et}}\qquad \mathbb {P} (X_{n}=0)=1-{\frac {1}{n}}}$

La suite (X_n)_n converge en probabilité vers 0 car

${\displaystyle \forall \varepsilon >0,\qquad \forall n\geq \varepsilon ,\qquad \mathbb {P} (\vert X_{n}\vert \geq \varepsilon )=\mathbb {P} (X_{n}=n^{1/p})={\frac {1}{n}}\to 0}$

En revanche, elle ne converge pas dans ${\displaystyle \mathbb {L} ^{p}}$ car ${\displaystyle \mathbb {E} [X_{n}^{p}]=1\nrightarrow 0}$

Montrons qu'elle ne converge pas non plus presque sûrement. Si c'était le cas sa limite presque sûre serait nécessairement sa limite en probabilité, à savoir 0. Or, comme ${\displaystyle \sum _{n}\mathbb {P} (X_{n}=n^{1/p})=+\infty }$ et comme les variables aléatoires X_n sont indépendantes, on a par la loi du zéro-un de Borel :

${\displaystyle \mathbb {P} \left(\limsup _{n}\{X_{n}=n^{1/p}\}\right)=1}$

i.e. presque sûrement X_n = n^1/p pour une infinité de n. Donc, presque sûrement, ${\displaystyle \limsup _{n}X_{n}=+\infty .}$ A fortiori X_n ne converge pas presque sûrement vers 0.

Exemple :

Dans l'exemple précédent, pour éviter le recours à la loi du zéro-un de Borel, on peut définir explicitement la suite X_n de la façon suivante. On choisit Ω = [0,1] muni de sa tribu borélienne et de la mesure de Lebesgue. On pose ${\displaystyle a_{1}:=0}$, ${\displaystyle a_{n}:={\frac {1}{2}}+\cdots +{\frac {1}{n}}{\pmod {1}}}$ pour ${\displaystyle n\geq 2}$, puis

${\displaystyle I_{n}:=\left\{{\begin{matrix}\left[a_{n-1},a_{n}\right]&{\text{si }}a_{n-1}<a_{n}\\\left[0,a_{n}\right]\cup \left[a_{n-1},1\right]&{\text{si }}a_{n-1}>a_{n}\end{matrix}}\right.}$

Enfin on définit

${\displaystyle X_{n}(\omega ):=\left\{{\begin{matrix}n^{1/p}&{\text{si }}\omega \in I_{n}\\0&{\text{si }}\omega \notin I_{n}\end{matrix}}\right.}$

Les X_n ainsi définis ne sont pas indépendants mais ils vérifient comme dans l'exemple précédent

${\displaystyle \mathbb {P} \left(\limsup _{n}\{X_{n}=n^{1/p}\}\right)=1}$

Les trois propriétés suivantes donnent des réciproques partielles. La première dit que la convergence en probabilité implique la converge presque sûre d'une sous-suite. La deuxième est une conséquence du théorème de Borell-Cantelli et dit que si la convergence en probabilité a lieu assez rapidement alors la convergence presque sûre a lieu également. Enfin, la troisième dit que la convergence en probabilité est équivalente à la convergence presque sûre pour une somme de variables aléatoires indépendantes^[4],[5].

Propriété — Si pour tout ${\displaystyle \varepsilon >0}$

${\displaystyle \sum _{n}\mathbb {P} (\vert X_{n}-X\vert \geq \varepsilon )<\infty }$,

alors ${\displaystyle (X_{n})}$ converge vers ${\displaystyle X}$ presque sûrement.

Convergence en probabilité et en loi

Lemme — Si l'on a les convergences suivantes, respectivement dans (E,d) et dans ${\displaystyle \mathbb {R} }$

${\displaystyle X_{n}{\xrightarrow[{}]{\mathcal {L}}}X\qquad {\text{et}}\qquad d(X_{n},Y_{n}){\xrightarrow[{}]{\mathcal {L}}}0}$

alors on a

${\displaystyle (X_{n},Y_{n}){\xrightarrow[{}]{\mathcal {L}}}(X,X)}$

dans l'espace E × E muni de la distance infinie.

Démonstration

Soit F un fermé de E × E. Pour tout ε > 0 on note

${\displaystyle F_{\varepsilon }:=\{(x,y)\in E\times E:d_{\infty }((x,y),F)\leq \varepsilon \}}$

Alors

${\displaystyle \mathbb {P} ((X_{n},Y_{n})\in F)\leq \mathbb {P} ((X_{n},X_{n})\in F_{\epsilon })+\mathbb {P} (d(X_{n},Y_{n})\geq \epsilon )}$

En passant au limsup on obtient, en utilisant les deux hypothèses et le 3^e point du théorème porte-manteau

${\displaystyle \limsup _{n}\mathbb {P} ((X_{n},Y_{n})\in F)\leq \mathbb {P} ((X,X)\in F_{\epsilon })}$

puis en faisant tendre ε vers 0, comme F est fermé

${\displaystyle \limsup _{n}\mathbb {P} ((X_{n},Y_{n})\in F)\leq \mathbb {P} ((X,X)\in F}$

On conclut en utilisant à nouveau le 3^e point du théorème porte-manteau.

Démonstration

C'est une conséquence du lemme précédent en prenant X_n = X et en remarquant que la convergence en loi

${\displaystyle d(X,Y_{n}){\xrightarrow[{}]{(d)}}0}$

dans ${\displaystyle \mathbb {R} }$ équivaut à la convergence en probabilité

${\displaystyle Y_{n}{\xrightarrow[{}]{\mathbb {P} }}X}$

dans (E,d).

Sinon, on peut procéder comme suit. Commençons par énoncer un lemme.

Lemme — Soient X, Y des variables aléatoires réelles, c un réel et ε > 0. Alors

${\displaystyle \mathbb {P} (Y\leq c)\leq \mathbb {P} (X\leq c+\varepsilon )+\mathbb {P} (X-Y>\varepsilon )}$

En effet, il suffit de remarquer que :

${\displaystyle \{Y\leq c\}\subset \{X\leq c+\varepsilon \}\cup \{X>c+\varepsilon ,Y\leq c\}}$

L'inégalité en découle naturellement.

Pour tout ε > 0, en raison de ce lemme, on a :

${\displaystyle \mathbb {P} (X_{n}\leq a)\leq \mathbb {P} (X\leq a+\varepsilon )+\mathbb {P} (\left|X_{n}-X\right|>\varepsilon )}$

${\displaystyle \mathbb {P} (X\leq a-\varepsilon )\leq \mathbb {P} (X_{n}\leq a)+\mathbb {P} (\left|X_{n}-X\right|>\varepsilon )}$

On a donc

${\displaystyle \mathbb {P} (X\leq a-\varepsilon )-\mathbb {P} (\left|X_{n}-X\right|>\varepsilon )\leq \mathbb {P} (X_{n}\leq a)\leq \mathbb {P} (X\leq a+\varepsilon )+\mathbb {P} (\left|X_{n}-X\right|>\varepsilon ).}$

Soit a un point de continuité de F_X. On fixe un réel ε' > 0. Par continuité de F_X en a, il existe un réel ε > 0 tel que

${\displaystyle |\mathbb {P} (X\leqslant a+\varepsilon )-\mathbb {P} (X\leqslant a)|<\varepsilon '\mathrm {et} |\mathbb {P} (X\leqslant a-\varepsilon )-\mathbb {P} (X\leqslant a)|<\varepsilon '}$.

De la convergence de (X_n)_n en probabilité vers X, on peut en déduire l'existence d'un entier N tel que : ${\displaystyle \mathbb {P} (\left|X_{n}-X\right|>\varepsilon )<\varepsilon '}$ si n ≥ N.

D'où : ${\displaystyle \forall n\in \mathbb {N} ,n\geqslant N\Rightarrow |\mathbb {P} (X_{n}\leqslant a)-\mathbb {P} (X\leqslant a)|<2\varepsilon '}$.

Convergence presque sûre et en loi

La convergence presque sûre implique la convergence en loi, puisqu'elle implique la convergence en probabilité et cette dernière implique celle en loi. La réciproque est fausse. Le théorème de représentation de Skorokhod donne une réciproque partielle.

Diagramme résumant les liens entre les différents modes de convergences de variables aléatoires. Une double flèche représente une implication. Une flèche simple représente une «réciproque partielle» ou un résultat permettant, sous certaines hypothèses, de passer d'un mode de convergence à un autre mode plus fort.

Liens externes

•  : cours de l’école centrale de Paris de 1e année sur la convergence des variables aléatoires