Usuari:Freutci/convergencies

En Teoria de la probabilitat l'estudi de la convergència de variables aleatòries és fonamental, tant per la seva riquesa matemàtica (lleis dels grans nombres, teorema del límit central, llei del logaritme iterat, etc.) com per les seves aplicacions a l'Estadística. En aquest article estudiarem les convergències més habituals: en distribució o llei, en probabilitat, quasi segura i en mitjana d'ordre $p$. La referència general d'aquesta pàgina és Serfling on es troben les demostracions o les referències corresponents, i nombrosos exemples i contraexemples.

Convergència en distribució o llei

Considerem una successió de variables aleatòries $X_{1},X_{2},\dots$ i sigui $X$ una altra variable aleatòria, amb funcions de distribució $F_{1},F_{2},\dots$ i $F$ respectivament. Es diu que la successió convergeix en distribució (o llei) a $X$ si $$\lim _{n\to \infty }F_{n}(t)=F(t),\quad {\text{en tot punt}}\ t\ {\text{on}}\ F\ {\text{és contínua}}.\qquad (1)$$S'escriu $$\lim _{n\to \infty }X_{n}=X,\ {\text{en distribució (o en llei)}}.$$També s'utilitza la notació $$X_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{\mathcal {D}}} X\quad {\text{o}}\quad X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X,\ {\text{o expressions similars.}}$$

Comentaris

1. Atès que la propietat (1) només depèn de les funcions de distribució, els espais de probabilitat on estan definides les variables no tenen cap paper; de fet, ni cal que les variables estiguin definides en el mateix espai de probabilitat. A vegades, si la distribució del límit és d'un tipus conegut, per exemple, si és una llei normal de mitjana $\mu$ i variància $\sigma ^{2}$ s'escriu $$X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} {\mathcal {N}}(\mu ,\sigma ^{2}).$$Això fa que algunes propietats de la convergència en llei semblin antiintuïtives; per exemple, com comentarem més endavant, el límit no és únic, només ho és la seva distribució.

Figura 1. Funció de distribució d'una variable aleatòria constant igual a 0

Figura 2. Funció de distribució d'una variable aleatòria constant igual a 1/n

2. Malgrat el comentari anterior, en aquest punt, per simplificar l'exposició, suposarem que totes estan definides al mateix espai $(\Omega ,{\mathcal {A}},P)$ . La propietat (1) equival a que per tot punt $t$ on $F$ sigui contínua, $$\lim _{n\to \infty }P(X_{n}\leq t)=P(X\leq t),$$ o, escrit d'una altra manera, $$\lim _{n\to \infty }P{\big (}X_{n}\in (-\infty ,t]{\big )}=P{\big (}X\in (-\infty ,t]{\big )}.$$ L'objectiu de la convergència en llei és donar condicions per poder aproximar les probabilitats relatives a $X_{n}$, del tipus $P(X_{n}\in B)$, per probabilitats $P(X\in B)$ , les quals se suposa que són més fàcils de calcular. Però demanar que $\lim _{n}P(X_{n}\in B)=P(X\in B)$ per tot conjunt borelià $B$ és massa exigent, com es veu en el següent exemple. Sigui $X_{n}=1/n$ (variable degenerada en 1/n) i $X=0$ (variable degenerada en 0) ; sembla molt clar que $X_{n}$ hauria de convergir a $X$, però si considerem el conjunt $B=\{0\}$ , tenim que $${\text{per tot}}\ n\geq 1,P(X_{n}\in B)=0,\ {\text{però}}\ P(X\in B)=1.$$ En canvi, aquesta successió sí que compleix la propietat (1). En efecte, la funció de distribució de $F$ és $$F(t)={\begin{cases}0,&{\text{si}}\ t<0,\\1,&{\text{si}}\ t\geq 0.\end{cases}}$$i, per tant, $F$ no és contínua en $t=0$ Vegeu la Figura 1. D'altra banda, $$F_{n}(t)={\begin{cases}0,&{\text{si}}\ t<{\frac {1}{n}},\\1,&{\text{si}}\ t\geq {\frac {1}{n}}.\end{cases}}$$ Vegeu la Figura 2. Per $t\neq 0$ tenim que $\lim _{n}F_{n}(t)=F(t)$ . Per tant, $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X$.

Exemple

Figura 3. Funció de distribució d'una variable uniforme en el conjunt {1/5,2/5,3/5,4/5, 1}

Sigui $X_{n}$ una variable aleatòria uniforme discreta en el conjunt $\{{\tfrac {1}{n}},{\tfrac {2}{n}},\dots ,{\tfrac {n-1}{n}},1\}$ i $X$ una variable aleatòria uniforme contínua a l'interval [0,1]. Aleshores $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X$. En efecte, la funció de distribució de $X_{n}$ és (vegeu la Figura 3):$$F_{n}(t)={\begin{cases}0,&{\text{si}}\ t<{\frac {1}{n}},\\[8pt]{\frac {1}{n}},&{\text{si}}\ t\in [{\frac {1}{n}},{\frac {2}{n}}),\\[8pt]{\frac {2}{n}},&{\text{si}}\ t\in [{\frac {2}{n}},{\frac {3}{n}}),\\[8pt]\ \vdots &\\{\frac {n-1}{n}},&{\text{si}}\ t\in [{\frac {n-1}{n}},1),\\[8pt]1,&{\text{si}}\ t\geq 1.\end{cases}}$$Equivalentment, aquesta funció es pot escriure com $$F_{n}(t)={\begin{cases}0,&{\text{si}}\ t<0,\\[8pt]{\frac {[nt]}{n}},&{\text{si}}\ t\in [0,1],\\[8pt]1,&{\text{si}}\ t>1,\end{cases}}$$on $[a]$ és la part entera del nombre $a$ . D'altra banda, la funció de distribució de $X_{n}$ és (vegeu la Figura 4):

Figura 4. Funció de distribució d'una variable uniforme en el conjunt [0,1]

$$F(t)={\begin{cases}0,&{\text{si}}\ t<0,\\[8pt]t,&{\text{si}}\ t\in [0,1],\\[8pt]1,&{\text{si}}\ t>1,\end{cases}}$$Atès que $F$ és contínua a tot arreu, hem de veure la convergència $\lim _{n}F_{n}(t)=F(t)$ per tot $t\in \mathbb {R}$, la qual cosa es dedueix del fet que $\lim _{n\to \infty }{\frac {[nt]}{n}}=t$.

Una definició alternativa

De la següent propietat s'obté una definició alternativa:

$X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X$ si i només si per qualsevol funció $f:\mathbb {R} \longrightarrow \mathbb {R}$ afitada i contínua $$\lim _{n\to \infty }E[f(X_{n})]=E[f(X)].\qquad (2)$$Les convergències (1) i (2) semblen molt diferents. Per veure la seva relació, notem que $$F_{n}(t)=P(X\leq t)=E{\big [}{\boldsymbol {1}}_{(-\infty ,t]}(X_{n}){\big ]}=E[f(X_{n})],$$on $f(x)={\boldsymbol {1}}_{(-\infty ,t]}(x),$ és la funció indicatriu del conjunt $(-\infty ,t]$; recordem que per un conjunt qualsevol $A$ , $${\boldsymbol {1}}_{A}(x)={\begin{cases}1,&{\text{si}}\ x\in A,\\[5pt]0,&{\text{si}}\ x\not \in A.\end{cases}}$$ Però el pas de (1) a (2) no és directe ja la funció $f(x)={\boldsymbol {1}}_{(-\infty ,t]}(x)$ no és contínua, i llavors cal fer una aproximació a $f$ per funcions contínues.

Alguns autors prefereixen utilitzar la condició (2) per definir la convergència en distribució perquè es pot estendre directament a variables aleatòries definides en espais més generals.

Figura 5. Aproximació de Riemann a la integral (n=5).

Continuació de l'exemple de les variables uniformes. Sigui $f:\mathbb {R} \longrightarrow \mathbb {R}$ contínua i afitada. Llavors $$E[f(X_{n})]=\sum _{i=1}^{n}{\frac {1}{n}}f{\Big (}{\frac {i}{n}}{\Big )},$$ que convergeix a $\int _{0}^{1}f(x)\,dx=E[f(X)]$, ja que el sumatori anterior és una suma de Riemann que aproxima a la integral. Vegeu la Figura 5.

Propietats de la convergència en distribució

1. Unicitat del límit. $$\left.{\begin{array}{c}X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X\\\\X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} Y\\\end{array}}\right\}\Longrightarrow X\quad {\text{i}}\quad Y\ {\text{tenen la mateixa distribució.}}$$

2. Composició amb una funció contínua. $$\left.{\begin{array}{c}X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X\\\\g:\mathbb {R} \longrightarrow \mathbb {R} \quad {\text{contínua}}\\\end{array}}\right\}\Longrightarrow g(X_{n})\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} g(X).$$

3. Operacions amb successions convergents en distribució.

A. Si $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X$, llavors:

(a) $X_{n}+a\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X+a.$

(b) $a\,X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} a\,X.$
B. Teorema de Slutsky. Si $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X$ i $Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} b$, on $b\in \mathbb {R}$ és una constant, aleshores,
(a) $X_{n}+Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X+b.$

(b) $X_{n}\,Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} b\,X.$

(c) $X_{n}/Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X/b$, si $b\neq 0$.

4. Vegeu més avall, a l'apartat de la convergència q.s., el teorema de representació de Skorohod.

Convergència en distribució i funcions característiques

Les funcions característiques són una eina essencial per la convergència en llei. Els següents resultats són essencialment deguts al genial Paul Lévy.

Teorema. Designem per $\varphi _{n}$ i $\varphi$ les funcions característiques de $X_{n}$ i $X$ respectivament. $$X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X\quad \Longleftrightarrow \quad \lim _{n\to \infty }\varphi (t)=\varphi (t),\ {\text{per a tot}}\ t\in \mathbb {R} .\qquad (3)$$De fet, es té una propietat encara més forta:

Teorema. Considerem una successió de variables aleatòries $X_{1},X_{2},\dots$ Designem per $\varphi _{n}$ la funció característica de $X_{n}$. Suposem que $$\lim _{n\to \infty }\varphi (t)=\gamma (t),\ {\text{per a tot}}\ t\in \mathbb {R} ,$$ on $\gamma$ és una funció contínua en el 0. Aleshores $\gamma$ és una funció característica i existeix una variable aleatòria $X$ amb funció característica $\gamma$ i $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X$ .

Aquest últim teorema és important perquè estableix que no necessitem conèixer per endavant el límit de la successió. D'altra banda, proporciona un mètode per construir funcions característiques o reconèixer que determinada funció és una funció característica, la qual cosa no sempre és fàcil.

Exemple. Aproximació de la distribució binomial per una distribució de Poisson. Sigui $X_{1},X_{2},\dots$ una successió de variables aleatòries tals que $X_{n}$ té una distribució de binomial de paràmetre $p_{n}$,

amb $\lim _{n}n\,p_{n}=\lambda >0.$ Aleshores $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X$ on $X$ te una distribució de Poisson de paràmetre $\lambda$.

La prova consisteix senzillament en utilitzar que la funció característica d'una binomial $B(n,p_{n})$ és $$\varphi _{n}(t)={\big (}p_{n}e^{it}+1-p_{n}{\big )}^{n}={\big (}p_{n}(e^{it}-1)+1{\big )}^{n},$$i calcular el límit tipus número e: és a dir, utilitzant que si $z_{1},z_{2},\dots$ són nombres complexos tals que $\lim _{n}z_{n}=z\neq 0$ , aleshores $\lim _{n\to \infty }(1+z_{n}/n)^{n}=e^{z}$ . Llavors tenim $$\lim _{n}\varphi _{n}(t)=\lim _{n}{\big (}p_{n}(e^{it}-1)+1)^{n}=\lim _{n}{\Big (}{\frac {np_{n}(e^{it}-1)}{n}}+1{\Big )}^{n}=e^{\lambda (e^{it}-1)},$$que és, precisament, la funció característica d'una distribució de Poisson de paràmetre $\lambda$. Molt sovint per construir l'aproximació es parteix d'un nombre $\lambda$ >0 i es defineix $p_{n}=\lambda /n$ . O, més general, es parteix d'una successió $\lambda _{1},\lambda _{2}\dots$ tal que $0<\lambda _{n}\leq n$ $\lim _{n}\lambda _{n}=\lambda$ i es pren $p_{n}=\lambda _{n}/n$ .

Aquesta aproximació és deguda a Poisson (1873) .

Cas multidimensional

La convergència en llei de vectors aleatoris de dimensió $k$ es formula exactament igual com el cas de les variables aleatòries, ja sigui amb la definició (1) utilitzant funcions de distribució multidimensionals, o amb la (2) amb funcions $f:\mathbb {R} ^{k}\longrightarrow \mathbb {R}$ afitades i contínues. L'equivalència amb la convergència de les corresponents funcions característiques també és certa. A la pràctica, però, el que més s'utilitza és el següent resultat degut a Cramer i Wold i que s'anomena <<Cramer-Wold device>> , que permet reduir el cas multidimensional a l'unidimensional.

Teorema. Sigui ${\boldsymbol {X}}_{1},{\boldsymbol {X}}_{2},\dots$ una successió de vectors aleatoris $k$ dimensionals i sigui ${\boldsymbol {X}}$ un altre vector aleatori de dimensió $k$ . Aleshores $${\boldsymbol {X}}_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} {\boldsymbol {X}}$$ si i només si tota combinació lineal de les components de ${\boldsymbol {X}}_{n}$ convergeix en llei a la mateixa combinació lineal de les components de ${\boldsymbol {X}}$.

Convergència en probabilitat

Sigui $X_{1},X_{2},\dots$ una successió de variables aleatòries i $X$ una altra variable aleatòria definides en un espai de probabilitat $(\Omega ,{\mathcal {A}},P)$. Es diu que la successió convergeix en probabilitat a $X$ si per qualsevol $\varepsilon >0$ , $$\lim _{n\to \infty }P(\vert X_{n}-X\vert \geq \varepsilon )=0.\qquad (4)$$En aquest cas, s'escriu, $$\lim _{n\to \infty }X_{n}=X,\quad {\text{en probabilitat}},$$ o $$X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} X.$$ Observacions.

1. La condició (4) és equivalent a $\lim _{n\to \infty }P(\vert X_{n}-X\vert <\varepsilon )=1$. Tant en aquesta condició com a (4) es poden canviar les desigualtats per desigualtats estrictes, ja que la condició ha de ser veritat per a qualsevol $\varepsilon >0$.
2. En paraules, aquesta convergència diu que la probabilitat que les variables $X_{n}$ i $X$ siguin gaire diferents (diferència més gran que $\varepsilon$ ) es tant petita com es vulgui quan $n\to \infty$.

Exemple. Suposem que les variables $X_{n}$ venen donades per $$X_{n}={\begin{cases}0,&{\text{amb probabilitat}}\ 1-{\frac {1}{n}},\\n,&{\text{amb probabilitat}}\ {\frac {1}{n}}.\end{cases}}$$Vegem que $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} 0$: en efecte, donat qualsevol $\varepsilon >0$, si $n>\varepsilon$, $$P(\vert X_{n}-0\vert \geq \varepsilon )=P(X_{n}=n)={\frac {1}{n}}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }} 0.$$

Propietats de la convergència en probabilitat

1. Unicitat de límit. El límit d'una successió convergent en probabilitat és únic (q.s.): $$\left.{\begin{array}{l}X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} X\\X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} Y\end{array}}\right\}\quad \Longrightarrow \quad X=Y,\ {\text{q.s.}}$$ 2. Convergència en probabilitat i propietat de Cauchy. Si $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} X$ aleshores la successió és de Cauchy en probabilitat, és a dir, per a qualsevol $\varepsilon >0$, $$\lim _{n,m\to \infty }P\{\vert X_{n}-X_{m}\vert \geq \varepsilon \}=0.$$ Recíprocament, si una successió és de Cauchy en probabilitat, aleshores convergeix en probabilitat.

3. Composició amb una funció contínua. $$\left.{\begin{array}{c}X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} X\\\\g:\mathbb {R} \longrightarrow \mathbb {R} \quad {\text{contínua}}\\\end{array}}\right\}\Longrightarrow g(X_{n})\mathrel {\mathop {\longrightarrow } \limits ^{P}} g(X).$$ 4. Operacions amb successions convergents en probabilitat. $$\left.{\begin{array}{l}X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} X\\Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} Y\\h:\mathbb {R} ^{2}\longrightarrow \mathbb {R} \quad {\text{contínua}}\end{array}}\right\}\quad \Longrightarrow \quad h(X_{n},Y_{n})\mathrel {\mathop {\longrightarrow } \limits ^{P}} h(X,Y).$$El mateix és cert per a $k$ successions i $h:\mathbb {R} ^{k}\longrightarrow \mathbb {R}$ contínua.

D'aquí es dedueix: $$\left.{\begin{array}{l}X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} X\\Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} Y\\\end{array}}\right\}\quad \Longrightarrow \quad X_{n}+Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} X+Y\quad {\text{i}}\quad X_{n}\,Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} X\,Y.$$5. Relacions amb la convergència en llei

(a) $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} X\quad \Longrightarrow \quad X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X$.

(b) $X_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{\mathcal {D}}} a\quad \Longrightarrow \quad X_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{P}} a$, on $a$ és una constant.

La propietat (a) també es formula dient que la convergència en probabilitat és més forta que la convergència en distribució, o que la convergència en distribució és més feble que la convergència en probabiliat.

6. Teorema de convergència dominada (vegeu a l'apartat de convergència en mitjana una altra versió d'aquest teorema). Suposem que $X_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{P}} X$ i sigui $Y$ una variable aleatòria positiva amb $E[Y]<\infty$ tal que per a tot $n$ tenim $\vert X_{n}\vert \leq Y$ (es diu que la successió està dominada per $Y$. Aleshores totes les variables $X_{n}$ i $X$ tenen esperança finita i $$\lim _{n\to \infty }E[X_{n}]=E[X].$$

Metrització de la convergència en probabilitat

Recordem que es diu que dues variables aleatòries $X$ i $Y$ són iguals quasi segurament (o amb probabilitat 1) si existeix un esdeveniment $N\in {\mathcal {A}}$ de probabilitat zero, $P(N)=0$ , tal que per a qualsevol $\omega \in N^{c}$$$X(\omega )=Y(\omega ).$$ S'escriu $$X=Y,\quad {\text{q.s.}}$$ Designem per ${\mathcal {L}}^{0}$ el conjunt de totes les variables aleatòries, que és un espai vectorial. Definim la relació $$X\sim Y\quad \Longleftrightarrow \quad X=Y,\ {\text{q.s.}}$$Es demostra que és una relació d'equivalència i designem el conjunt quocient per $L^{0}$. En general s'utilitza la mateixa notació per a una variable aleatòria i per a la seva classe d'equivalència, i tàcitament es tracten les classes d'equivalència com si fossin variables aleatòries; això es pot fer perquè moltes propietats només depenen de la classe d'equivalència: per exemple, si un element d'una classe té esperança finita, aleshores tots els elements de la classe tenen esperança finita,  i l'esperança és la mateixa per a tots. A $L^{0}$ definim $$d_{\text{Pr}}(X,Y)=E{\Big [}{\frac {\vert X-Y\vert }{1+\vert X-Y\vert }}{\Big ]}.$$Es comprova que és una distància:

1. $d_{\text{Pr}}(X,Y)=d_{\text{Pr}}(Y,X).$
2. $d_{\text{Pr}}(X,Y)\geq 0\quad {\text{i}}\quad d_{\text{Pr}}(X,Y)=0\quad \Longleftrightarrow \quad X=Y.$
3. $d_{\text{Pr}}(X,Y)\leq d_{\text{Pr}}(X,Z)+d_{\text{Pr}}(Z,Y).$

Finalment, es demostra que $$X_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{P}} X\quad \Longleftrightarrow \quad \lim _{n}d_{Pr}(X_{n},X)=0.$$ Es diu que la convergència en probabilitat és metritzable. Aquesta és una propietat important, ja que les convergències en espais mètrics tenen moltes propietats que es poden aplicar directament a la convergència en probabiitat. Atès que hem vist que les successions de Cauchy en probabilitat són convergents en probabilitat, tenim que $L^{0}$ amb la distància $d_{Pr}$ és un espai mètric complet.

Cas multidimensional

Sigui ${\boldsymbol {X}}_{1},{\boldsymbol {X}}_{2},\dots$ una successió de vectors aleatoris $k$ dimensionals i sigui ${\boldsymbol {X}}$ un altre vector aleatori de dimensió $k$. Es diu que la successió convegeix en probabilitat a ${\boldsymbol {X}}$ si per qualsevol $\varepsilon >0$ ,$$\lim _{n\to \infty }P(\Vert {\boldsymbol {X}}_{n}-{\boldsymbol {X}}\Vert \geq \varepsilon )=0,$$on $\Vert \cdot \Vert$ és la norma habitual de $\mathbb {R} ^{k}$ : si $z=(z_{1},\dots .z_{k})\in \mathbb {R} ^{k}$ , $\Vert {\boldsymbol {z}}\Vert =(\sum _{i=1}^{k}z_{i})^{1/2}$ .

Tenim la següent propietat: siguin ${\boldsymbol {X}}_{1}=(X_{1}^{(1)},\dots ,X_{1}^{(k)})$, ${\boldsymbol {X}}_{2}=(X_{2}^{(1)},\dots ,X_{2}^{(k)})$,..., i ${\boldsymbol {X}}=(X^{(1)},\dots ,X^{(k)})$ . Aleshores $${\boldsymbol {X}}_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} {\boldsymbol {X}}\quad \Longleftrightarrow \quad X_{n}^{(i)}\mathrel {\mathop {\longrightarrow } \limits ^{P}} X^{(i)},\ i=1,\dots ,k.$$

Convergència quasi segura

Sigui $X_{1},X_{2},\dots$ una successió de variables aleatòries i $X$ una altra variable aleatòria definides en un espai de probabilitat $(\Omega ,{\mathcal {A}},P)$. Es diu que la successió convergeix quasi segurament a $X$ si sexisteix un esdeveniment $N\in {\mathcal {A}}$ de probabilitat zero, $P(N)=0$ , tal que per a qualsevol $\omega \in N^{c}$, $$\lim _{n\to \infty }X_{n}(\omega )=X(\omega ).$$S'escriu $$\lim _{n\to \infty }X_{n}=X,\ {\text{q.s.}}\quad {\text{o}}\quad X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{q.s.}} X.$$Malgrat l'aparent simplicitat de la definició, en general és difícil provar la convergència q.s., ja que normalment es coneixen les probabilitats associades amb les variables, però no el seu valor per a cada $\omega$ . El següent criteri és de molta utilitat. Noteu que el criteri diu que si una successió convergeix en probabilitat de manera ràpida aleshores hi ha convergència q.s.

Criteri de convergència q.s.

Si per qualsevol $\varepsilon >0$ tenim $$\sum _{n}P\{\vert X_{n}-X\vert >\varepsilon \}<\infty ,$$aleshores $$X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{q.s.}} X.$$

Exemple 1. (Aquest exemple és trivial però ens ajudarà a veure la dificultat que comentavem abans.) Sigui $Y$ una variable aleatòria i definim $$X_{n}={\frac {1}{n}}\,Y.$$Aleshores és evident que $$X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{q.s.}} 0.$$Exemple 2. Sigui $Y_{1},\,Y_{2},\dots ,$ una successió de variables aleatòries independents, totes amb la mateixa distribució (i.i.d.), amb esperança finita. Definim $$X_{n}={\frac {1}{n}}\,Y_{n}.$$Anem a veure que $$X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{q.s.}} 0.$$Aquest cas, però, és completament diferent que l'exemple 1, ja que ara el valor de $Y_{n}(\omega )$ pot canviar amb $n$ . Malgrat que la convergència a 0 sembla força intuitiva, la demostració ja no és directa i tilitzarem el criteri de convergència q.s. Per qualsevol $\varepsilon >0$ tenim $$P\{\vert X_{n}-0\vert \geq \varepsilon \}=P\{\vert X_{n}\vert \geq \varepsilon \}=P\{\vert Y_{n}\vert \geq \varepsilon n\}=P{\Big \{}{\Big \vert }{\frac {Y_{1}}{\varepsilon }}{\Big \vert }\geq n{\Big \}},$$ ja que totes les variables $Y_{n}$tenen la mateixa distribució. Llavors, $$\sum _{n=1}^{\infty }P{\Big \{}{\Big \vert }{\frac {Y_{1}}{\varepsilon }}{\Big \vert }\geq n{\Big \}}\leq E{\Big [}{\Big \vert }{\frac {Y_{1}}{\varepsilon }}{\Big \vert }{\Big ]}={\frac {1}{\varepsilon }}E[\vert Y_{1}\vert ]<\infty ,$$on hem utilitzat que per una varible aleatòria positiva $Z$ (vegeu ), $$\sum _{n=1}^{\infty }P\{Z\geq n\}\leq E[Z].$$

Propietats de la convergència q.s.

1. Unicitat del límit. Evidentment, el límit d'una successió convergent q.s. és únic q.s.

2. Operacions amb successions que convergeixen q.s. La convergència q.s. hereta moltes de les propietats de les successions de nombres reals. Per exemple, $$\left.{\begin{array}{l}X_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{q.s.}} X\\Y_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{q.s.}} Y\\\end{array}}\right\}\quad \Longrightarrow \quad X_{n}+Y_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{q.s.}} X+Y\quad {\text{i}}\quad X_{n}\,Y_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{q.s.}} X\,Y.$$3. Composició amb funcions contínues. També tenim $$\left.{\begin{array}{c}X_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{q.s.}} X\\\\g:\mathbb {R} \longrightarrow \mathbb {R} \quad {\text{contínua}}\\\end{array}}\right\}\Longrightarrow g(X_{n})\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{q.s.}} g(X).$$4. Relacions entre la convergència q.s. i la convergència en probabilitat.

(a) La convergència q.s. iimplica la convergència en probabilitat: $$X_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{q.s.}} X\quad \Longrightarrow \quad X_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{P}} X.$$

Es diu que la convergència q.s. és més forta que la convergència en probabilitat, o que la convergència en probabilitat és més feble que la convergència q.s. Com a conseqüència de les propetats de la convergència en probabilitat, es té que la convergència q.s. també és més forta que la convergència en distribució.

(b) Si $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} X$, aleshores existeix una successió parcial $X_{n_{1}},X_{n_{2}},\dots ,$ tal que $X_{n_{j}}\mathrel {\mathop {\longrightarrow } \limits ^{q.s.}} X$

5. Teorema de convergència dominada (vegeu a l'apartat de convergència en mitjana una altra versió d'aquest teorema). El teorema de convergència dominada també és veritat si tenim convergència q.s. Suposem que $X_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{q.s}} X$ i sigui $Y$ una variable aleatòria positiva amb $E[Y]<\infty$ tal que per a tot $n$ tenim $\vert X_{n}\vert \leq Y$ (es diu que la successió està dominada per $Y$. Aleshores totes les variables $X_{n}$ i $X$ tenen esperança finita i $$\lim _{n\to \infty }E[X_{n}]=E[X].$$6. Teorema de representació de Skorohod. Suposem que $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{\mathcal {D}}} X$ . Aleshores existeix un espai de probabilitat $(\Omega ',{\mathcal {A}}',P')$, una succesó de variables aleatòries $X_{1}',X_{2}',\dots$ i una variable aleatòria $X'$, definides en aquest espai, tals que:

1. Per a $n\geq 1$ , $X_{n}$ i tenen $X_{n}'$ la mateixa distribució.
2. $X$ i $X'$ tenen la mateixa distribució.
3. $X_{n}'\mathrel {\mathop {\longrightarrow } \limits ^{q.s.}} X'$

Convergència en mitjana d'ordre ${\boldsymbol {p}}$

Considerem un nombre real $p>0$ i sigui $X_{1},X_{2},\dots$ una successió de variables aleatòries i $X$ una altra variable aleatòria definides en un espai de probabilitat $(\Omega ,{\mathcal {A}},P)$, totes les variables amb moment d'ordre $p$, és a dir, $E[\vert X_{n}\vert ^{p}]<\infty$ i $E[\vert X\vert ^{p}]<\infty$. Direm que la successió convergeix a $X$ en mitjana d'ordre $p$ o en $L^{p}$ si $$\lim _{n\to \infty }E{\big [}\vert X_{n}-X\vert ^{p}{\big ]}=0.$$ En aquest cas s'escriu $$\lim _{n\to \infty }X_{n}=X,\ {\text{en mitjana d'ordre}}\ p\ {\text{o}}\ {\text{en}}\ L^{p},$$ o bé $$X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{m_{p}}} X\quad {\text{o}}\quad X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{p}}} X.$$El cas $p=1$ s'anomena convegència en mitjana i $p=2$ convergència en mitjana quadràtica.

Propietats de la convergència en mitjana d'ordre ${\boldsymbol {p}}$

1. Unicitat del límit. El límit d'una successió convergent en mitjana d'ordre $p$ és únic q.s.

2. Si $0<r<s$, i $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{s}}} X$, llavors $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{r}}} X$.

3. Convergència dels moments. Si $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{p}}} X$, llavors$$\lim _{n\to \infty }E[X_{n}^{p}]=E[X^{p}]\quad {\text{i}}\quad \lim _{n\to \infty }E[\vert X_{n}\vert ^{p}]=E[\vert X\vert ^{p}].$$En particular, si $p=2$, tenim que $$\lim _{n\to \infty }{\text{Var}}(X_{n})={\text{Var}}(X).$$

4. Operacions amb succesions.

(a) $$\left.{\begin{array}{l}X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{p}}} X\\Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{p}}} Y\\\end{array}}\right\}\quad \Longrightarrow \quad X_{n}+Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{p}}} X+Y.$$ (b) $$\left.{\begin{array}{l}X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{2}}} X\\Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{2}}} Y\\\end{array}}\right\}\quad \Longrightarrow \quad X_{n}\,Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{1}}} X\,Y.$$ (c) Més generalment , si $p>1$ i $1/p+1/q=1$, aleshores $$\left.{\begin{array}{l}X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{p}}} X\\Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{q}}} Y\\\end{array}}\right\}\quad \Longrightarrow \quad X_{n}\,Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{1}}} X\,Y.$$ (d) Si les variables $X_{n},n\geq 1$ i $X$ són independents de les variables $Y_{n},n\geq 1$ i $Y$ , aleshores $$\left.{\begin{array}{l}X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{1}}} X\\Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{1}}} Y\\\end{array}}\right\}\quad \Longrightarrow \quad X_{n}\,Y_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{1}}} X\,Y.$$ 5. Propietat de Cauchy. Si $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{p}}} X$, aleshores la successió $X_{1},X_{2},\dots$ és de Cauchy en mitjana d'ordre $p$: $$\lim _{n,m\to \infty }E{\big [}\vert X_{n}-X_{m}\vert ^{p}{\big ]}=0.$$ Recíprocament, tota successió de Cauchy en mitjana d'ordre $p$ convergeix en mitjana d'ordre $p$. 6. La convergència en mitjana d'ordre $p$ implica la convergència en probabilitat: $$X_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{L^{p}}} X\quad \Longrightarrow \quad X_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{P}} X.$$ 7. Teorema de convergència dominada. Suposem que $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{q.s.}} X$ o $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{P}} X$ i sigui $Y$ una variable aleatòria positiva amb $E[Y^{p}]<\infty$ tal que per a tot $n$ tenim $\vert X_{n}\vert \leq Y$, aleshores $X_{n}\mathrel {\mathop {\longrightarrow } \limits ^{L^{p}}} X$.

Espais ${\boldsymbol {L^{p}}}$

Els espais $L^{p}$ associats a un espai de probabilitat són un cas particular dels espais $L^{p}$ associats a un espai de mesura general, i aquí ens limitarem a comentar les propietats relacionades amb la convergència. Designarem per ${\mathcal {L}}^{p}$ el conjunt de les variables aleatòries amb moment d'ordre $p$. Es tracta d'un espai vectorial. A l'igual com hem fet en l'apartat de la convergència en probailitat, considerem la relació d'equivalència $$X\sim Y\quad \Longleftrightarrow \quad X=Y,\ {\text{q.s.}}$$ i designem per $L^{p}$ el conjunt quocient.

Quan $0<p<1$, definim $$d_{p}(X,Y)=E{\big [}\vert X-Y\vert ^{p}],$$que és una distància a $L^{p}$.

Quan $p\geq 1,$ tenim que $$\Vert X\Vert ={\big (}E[X^{p}]{\big )}^{1/p}$$és una norma $L^{p}$ i defineix una distància en aquest espai:$$d_{p}(X,Y)=\Vert X-Y\Vert _{p}.$$En ambdós casos tenim que $$X_{n}\mathrel {\mathop {\longrightarrow } \limits _{n\to \infty }^{L^{p}}} X\quad \Longleftrightarrow \quad \lim _{n}d_{p}(X_{n},X)=0.$$La propietat de Cauchy que hem esmentant abans implica que els espais mètrics $L^{p}$ siguin complets. A més, quan $p\geq 1,$ $L^{p}$ és un espai de Banach.

El cas $p=2$ mereix atenció especial, ja que es pot definir un producte escalar: $$<X,Y>=E[X\,Y].$$Aleshores $L^{2}$ és un espai de Hilbert.

Quadre de les implicacions entre els diversos tipus de convergència

Resum de les relacions entre els diversos tipus de convergències de variables aleatòries