# Convergência de variáveis aleatórias

Em teoria das probabilidades, existem várias noções diferentes de convergência de variáveis aleatórias. A convergência de sequências de variáveis aleatórias a alguma variável aleatória limite é um importante conceito em teoria das probabilidades e tem aplicações na estatística e nos processos estocásticos. Os mesmos conceitos são conhecidos em matemática geral como convergência estocástica e formalizam a ideia de que é possível esperar que uma sequência de eventos essencialmente aleatórios ou imprevisíveis às vezes mantenha um comportamento essencialmente imutável quando itens suficientemente distantes na sequência são estudados. As possíveis noções diferentes de convergência se relacionam a como tal comportamento pode ser caracterizado: dois comportamentos prontamente entendidos são que a sequência eventualmente assume um valor constante e que os valores na sequência continuam mudando, mas podem ser descritos por uma distribuição de probabilidade imutável.

## Plano de fundo

A expressão "convergência estocástica" formaliza a ideia de que é possível esperar que uma sequência de eventos essencialmente aleatórios ou imprevisíveis siga eventualmente um padrão. Este padrão pode ser, por exemplo,
* Convergência no sentido clássico de um valor fixado, talvez ele mesmo vindo de um evento aleatório;
* Uma semelhança crescente dos eventos ao que uma função puramente determinística produziria;
* Uma preferência crescente em direção a um certo valor observado;
* Uma "aversão" crescente a se afastar demais de um certo valor observado;
* A distribuição de probabilidade que descreve o próximo valor observado pode ficar cada vez mais semelhante a uma certa distribuição.
Alguns padrões teóricos, menos óbvios, podem ser:
* A série formada pelo cálculo do valor esperado da distância entre o valor observado e um valor particular pode convergir a zero;
* A variância da variável aleatória que descreve o seguinte evento fica cada vez menor.
Estes outros tipos de padrões que podem surgir estão refletidos em diferentes tipos de convergência estocástica que têm sido estudados.
Enquanto a discussão acima diz respeito à convergência de uma única série a um valor limitante, a noção de convergência de duas séries uma em direção a outra também é importante. No entanto, é fácil lidar com isto estudando a sequência definida como a diferença ou como a razão das duas séries.
Por exemplo, se a média de $n$ variáveis aleatórias independentes $Y_{i}$, $i=1,...,n$, todas tendo média e variância iguais e finitas, é dada por
    $X_{n}={\frac {1}{n}}\sum _{i=1}^{n}Y_{i}\,,$
então conforme $n$ tende ao infinito, $X_{n}$ converge em probabilidade à média comum $\mu$ das variáveis aleatórias $Y_{i}$. Este resultado é conhecido como lei fraca dos grandes números. Outras formas de convergência são importantes em outros teoremas úteis, incluindo o teorema central do limite.
Ao longo do que se segue, assume-se que $(X_{n})$ é uma sequência de variáveis aleatórias, $X$ é uma variável aleatória e todas elas estão definidas no mesmo espaço de probabilidade $(\Omega ,{\mathcal {F}},P)$.

## Convergência em distribuição

Com este modo de convergência, nós esperamos ver o próximo valor observado em uma sequência de experimentos aleatórios cada vez mais bem modelado por uma dada distribuição de probabilidade.
A convergência em distribuição é a forma mais fraca de convergência, já que é implicada por todos os outros tipos de convergência mencionados nesta página. Entretanto, a convergência em distribuição é usada com muita regularidade na prática. Mais frequentemente, ela surge da aplicação do teorema central do limite.

### Definição

Uma sequência X$_1$, X$_2$, ... de variáveis aleatórias de valores reais converge em distribuição, converge fracamente ou converge em lei a uma variável aleatória $X$ se
    $\lim _{n\to \infty }F_{n}(x)=F(x),$
para todo número x ∈ R no qual $F$ é contínua. Aqui, F$_n$ e F são as funções distribuição acumulada das variáveis aleatórias X$_n$ e X respectivamente.
A exigência de que apenas os pontos de continuidade de F sejam considerados é essencial. Por exemplo, se X$_n$ for distribuída uniformemente nos intervalos, (0, 1n), então, esta sequência converge em distribuição a uma variável aleatória degenerada X = 0. De fato, F$_n$(x) = 0 para todo $n$ quando x ≤ 0 e F$_n$(x) = 1 para todo x ≥ 1n quando n > 0. Entretanto, para esta variável aleatória limitante, F(0) = 1, ainda que F$_n$(0) = 0 para todo $n$. Assim, a convergência das funções distribuição acumulada falha no ponto $x=0$, em que $F$ é descontínua.
A convergência em distribuição pode ser denotada como
    ${\begin{aligned}&X_{n}\ {\xrightarrow {d}}\ X,\ \ X_{n}\ {\xrightarrow {\mathcal {D}}}\ X,\ \ X_{n}\ {\xrightarrow {\mathcal {L}}}\ X,\ \ X_{n}\ {\xrightarrow {d}}\ {\mathcal {L}}_{X},\\&X_{n}\rightsquigarrow X,\ \ X_{n}\Rightarrow X,\ \ {\mathcal {L}}(X_{n})\to {\mathcal {L}}(X),\\\end{aligned}}$
em que $\scriptstyle {\mathcal {L}}_{X}$ é a lei (distribuição de probabilidade) de X. Por exemplo, se X tiver distribuição normal padrão, podemos escrever $X_{n}\,{\xrightarrow {d}}\,{\mathcal {N}}(0,\,1)$.
Para vetores aleatórios {X$_1$, X$_2$, ...} ⊂ R$^k$, a convergência em distribuição é definida de forma semelhante. Dizemos que esta sequência converge em distribuição a um vetor $k$ aleatório $X$ se
    $\lim _{n\to \infty }\operatorname {Pr} (X_{n}\in A)=\operatorname {Pr} (X\in A)$
para todo A ⊂ R$^k$ que for um conjunto continuidade de $X$.
A definição de convergência em distribuição pode ser estendida de vetores aleatórios a elementos aleatórios mais gerais em espaços métricos arbitrários, até mesmo a "variáveis aleatórias" não mensuráveis — uma situação que ocorre, por exemplo, no estudo de processos empíricos. Isto é a convergência fraca de leis sem que leis sejam definidas — exceto assintoticamente.
Neste caso, o termo convergência fraca é preferível e dizemos que uma sequência de elementos aleatórios $\{X_{n}\}$ converge fracamente a $X$ (denotado como X$_n$ ⇒ X) se
    $\operatorname {E} ^{*}h(X_{n})\to \operatorname {E} \,h(X)$
para todas as funções contínuas limitadas h. Aqui, $\operatorname {E} ^{*}$ denota o valor esperado externo, que é o valor esperado da menor função mensurável $g$ que domina h(X$_n$).

### Propriedades

* Já que F(a) = Pr(X ≤ a), a convergência em distribuição significa que a probabilidade de que X$_n$ esteja em um dado intervalo é aproximadamente igual à probabilidade de que o valor de X esteja neste intervalo, sendo $n$ suficientemente grande.
* Em geral, a convergência em distribuição não implica que a sequência de funções densidade de probabilidade correspondentes também convergirá. Como um exemplo, podem-se considerar variáveis aleatórias com densidades f$_n$(x) = (1 − cos(2πnx))1$_{(0,1)}$. Estas variáveis aleatórias convergem em distribuição a uma uniforme $U(0,1)$, enquanto suas densidades não convergem de qualquer forma.
** Entretanto, o lema de Scheffé implica que a convergência das funções densidade de probabilidade implica convergência em distribuição.
* O lema de Portmanteau oferece várias definições equivalentes de convergência em distribuição. Ainda que estas definições sejam menos intuitivas, elas são usadas para provar uma série de teoremas estatísticos. O teorema afirma que {X$_n$} converge em distribuição a X se e somente só qualquer uma das afirmações seguintes for verdadeira:
** Eƒ(X$_n$) → Eƒ(X) para todas as funções limitadas, contínuas $f$ (em que E denota o valor esperado);
** Eƒ(X$_n$) → Eƒ(X) para todas as funções limitadas e de Lipschitz ƒ;
** limsup{ Eƒ(X$_n$) } ≤ Eƒ(X) para toda função semicontínua superior $f$ limitada a partir de cima;
** liminf{ Eƒ(X$_n$) } ≥ Eƒ(X) para toda função semicontínua inferior $f$ limitada a partir de baixo;
** limsup{Pr(X$_n$ ∈ C)} ≤ Pr(X ∈ C) para todos os conjuntos fechados C;
** liminf{Pr(X$_n$ ∈ U)} ≥ Pr(X ∈ U) para todos os conjuntos abertos U;
** lim{Pr(X$_n$ ∈ A)} = Pr(X ∈ A) para todos os conjuntos continuidade A da variável aleatória X.
* O teorema de Mann-Wald afirma que, para uma função contínua $g$, se a sequência {X$_n$} convergir em distribuição a $X$, então {g(X$_n$)} converge em distribuição a g(X).
** Entretanto, a convergência em distribuição de {X$_n$} a $X$ e de {Y$_n$} a Y não implica, em geral, a convergência em distribuição de{X$_n$ + Y$_n$} a X + Y ou de {X$_n$Y$_n$} a XY.
* O teorema da continuidade de Lévy afirma que a sequência {X$_n$} converge em distribuição a X se e somente se a sequência das funções características correspondentes {φ$_n$} convergir pontualmente à função característica φ de X.
* A convergência em distribuição é metrizável pela métrica de Lévy-Prokhorov.
* Uma ligação natural à convergência em distribuição é o teorema da representação de Skorokhod.

## Convergência em probabilidade

A ideia básica por trás deste tipo de convergência é que a probabilidade de um valor observado "incomum" se torna cada vez menor conforme a sequência progride.
O conceito de convergência em probabilidade é usado muito frequentemente em estatística. Por exemplo, um estimador é considerado consistente se convergir em probabilidade à quantidade sendo estimada. A convergência em probabilidade é também o tipo de convergência estabelecido pela lei fraca dos grandes números.

### Definição

Uma sequência $\{X_{n}\}$ de variáveis aleatórias converge em probabilidade em direção à variável aleatória $X$ se para todo $\varepsilon >0$
    $\lim _{n\to \infty }\Pr {\big|X_{n}-X|\geq \varepsilon {\big )}=0.$
Formalmente, considere qualquer $\varepsilon >0$ e qualquer $\delta >0$. Considere $P_{n}$ a probabilidade de que $X_{n}$ esteja fora de um intervalo de confiança de raio $\varepsilon$ e em torno de $X$. Então, para que $X_{n}$ convirja em probabilidade a $X$, deve existir um número $N$ (que dependerá de $\varepsilon$ e $\delta$) tal que, para todo $n\geq N$, $P_{n}<\delta$.
A convergência em probabilidade $\{X_{n}\}$ é denotada colocando-se a letra $p$ sobre uma seta indicando convergência ou o operador de limite de probabilidade $\mathrm {plim}$:
    $X_{n}\ {\xrightarrow {p}}\ X,\ \ X_{n}\ {\xrightarrow {P}}\ X,\ \ {\underset {n\to \infty }{\operatorname {plim} }}\,X_{n}=X.$
Para elementos aleatórios $\{X_{n}\}$ em um espaço métrico separável (S, d), a convergência em probabilidade é definida de forma semelhante por
    $\forall \varepsilon >0,\Pr {\bigd(X_{n},X)\geq \varepsilon {\big )}\to 0.$

### Propriedades

* A convergência em probabilidade implica convergência em distribuição.
* Na direção oposta, a convergência em distribuição implica a convergência em probabilidade quando a variável aleatória limitante $X$ for uma constante.
* A convergência em probabilidade não implica convergência quase certa.
* O teorema de Mann-Wald afirma que, para toda função contínua $g(\cdot )$, se $X_{n}{\xrightarrow {p}}X$, então também $g(X_{n}){\xrightarrow {p}}g(X)$.
* A convergência em probabilidade define uma topologia no espaço de variáveis aleatórias sobre um espaço de probabilidade fixado. Esta topologia é metrizável pela métrica de Ky Fan:
    $d(X,Y)=\inf \!{\big \\varepsilon >0:\ \Pr {\big|X-Y|>\varepsilon {\big )}\leq \varepsilon {\big \}}$
    ou
    $d(X,Y)=\mathbb {E} \left[\min(|X-Y|,1)\right]$.

## Convergência quase certa

Este é o tipo de convergência estocástica mais semelhante à convergência pontual conhecida a partir da análise real elementar.

### Definição

Dizer que a sequência X$_n$ converge quase certamente, quase em todo lugar, com probabilidade 1 ou fortemente em direção a $X$ significa que
    $\operatorname {Pr} \!\left(\lim _{n\to \infty }\!X_{n}=X\right)=1.$
Isto significa que os valores de X$_n$ se aproximam do valor de $X$ no sentido de que os eventos para os quais X$_n$ não converge a $X$ têm probabilidade zero. Usando o espaço de probabilidade $(\Omega ,{\mathcal {F}},\operatorname {Pr} )$ e o conceito da variável aleatória como uma função de $\Omega$ a R, isto equivale à afirmação
    $\operatorname {Pr} {\Big\omega \in \Omega :\lim _{n\to \infty }X_{n}(\omega )=X(\omega ){\Big )}=1.$
Usando a noção do limite inferior de uma sequência de conjuntos, a convergência quase certa pode ser definida como:
    $\operatorname {Pr} {\Big\liminf _{n\to \infty }{\big \\omega \in \Omega :|X_{n}(\omega )-X(\omega )|<\varepsilon {\big \}}{\Big )}=1\quad {\text{para todo}}\quad \varepsilon >0.$
A convergência quase certa é frequentemente denotada colocando-se as letras $q.c.$ sobre uma seta indicando convergência,
    $X_{n}\,{\xrightarrow {\mathrm {q.c.} }}\,X.$
Para elementos aleatórios genéricos $\{X_{n}\}$ em um espaço métrico $(S,d)$, a convergência quase certa é definida de forma semelhante:
    $\operatorname {Pr} {\Big\omega \in \Omega :\,d{\bigX_{n}(\omega ),X(\omega ){\big )}\,{\underset {n\to \infty }{\longrightarrow }}\,0{\Big )}=1$

### Propriedades

* A convergência quase certa implica convergência em probabilidade pelo lema de Fatou e, por isso, implica convergência em distribuição. É a noção de convergência usada na lei forte dos grandes números.
* O conceito de convergência quase certa não vem de uma topologia sobre o espaço de variáveis aleatórias. Isto significa que não há topologia no espaço de variáveis aleatórias tal que as sequências quase certamente convergentes são exatamente as sequências convergentes em relação àquela topologia. Em particular, não há métrica de convergência quase certa.

## Convergência certa

Dizer que a sequência de variáveis aleatórias $X_{n}$ definida ao longo do mesmo espaço de probabilidade (isto é, um processo aleatório) converge certamente, em todo lugar ou pontualmente a $X$ significa que
    $\lim _{n\to \infty }X_{n}(\omega )=X(\omega ),\,\,\forall \omega \in \Omega .$
em que $\Omega$ é o espaço amostral do espaço de probabilidade subjacente sobre o qual as variáveis aleatórias são definidas.
Esta é a noção de convergência pontual de uma sequência de funções estendida a uma sequência de variáveis aleatórias, lembrando que as variáveis aleatórias são elas mesmas funções.
    ${\big \\omega \in \Omega \,|\,\lim _{n\to \infty }X_{n}(\omega )=X(\omega ){\big \}}=\Omega .$
A convergência certa de uma variável aleatória implica todos os outros tipos de convergência descritos acima. A diferença entre a convergência quase certa e a convergência certa está nos conjuntos com probabilidade zero. Por isso, o conceito de convergência certa de variáveis aleatórias é muito raramente usado.

## Convergência em média

Dado um número real r ≥ 1, dizemos que a sequência X$_n$ converge na $r$-ésima média ou na norma L$^r$ à variável aleatória $X$ se os $r$-ésimos momentos absolutos $\mathrm {E} (|X_{n}|^{r})$ e $\mathrm {E} (|X|^{r})$ de $X_{n}$ e $X$ existem e
    $\lim _{n\to \infty }\operatorname {E} \left(|X_{n}-X|^{r}\right)=0,$
em que o operador $\mathrm {E}$ denota o valor esperado. A convergência na $r$-ésima média nos diz que o valor esperado da $r$-ésima potência da diferença entre $X_{n}$ e $X$ converge a zero.
Este tipo de convergência é frequentemente denotado colocando-se L$^r$ sobre uma seta indicando convergência:
    $X_{n}\,{\xrightarrow {L^{r}}}\,X.$
Os casos mais importantes de convergência na $r$-ésima média são:
* Quando X$_n$ converge na $r$-ésima média a $X$ para $r=1$, dizemos que X$_n$ converge em média a $X$.
* Quando X$_n$ converge na $r$-ésima média a $X$ para $r=2$, dizemos que X$_n$ converge em média quadrática a $X$.
A convergência na na $r$-ésima média, para $r\geq 1$, implica convergência em probabilidade pela desigualdade de Markov. Além disso, se $r>s\geq 1$, a convergência na $r$-ésima média implica convergência na $s$-ésima média. Assim, a convergência em média quadrática implica a convergência em média.
Vale notar que, se $X_{n}{\xrightarrow {L^{r}}}X$, então
    $\lim _{n\to \infty }E[|X_{n}|^{r}]=E[|X|^{r}]$

## Propriedades

Se o espaço de probabilidade for completo:
* Se $X_{n}\ {\xrightarrow {p}}\ X$ e $X_{n}\ {\xrightarrow {p}}\ Y$, então $X=Y$ quase certamente.
* Se $X_{n}\ {\xrightarrow {q.c.}}\ X$ e $X_{n}\ {\xrightarrow {q.c.}}\ Y$, então $X=Y$ quase certamente.
* Se $X_{n}\ {\xrightarrow {L^{r}}}\ X$ e $X_{n}\ {\xrightarrow {L^{r}}}\ Y$, então $X=Y$ quase certamente.
* Se $X_{n}\ {\xrightarrow {p}}\ X$ e $Y_{n}\ {\xrightarrow {p}}\ Y$, então $aX_{n}+bY_{n}\ {\xrightarrow {p}}\ aX+bY$ (para quaisquer números reais $a$ e $b$) e $X_{n}Y_{n}{\xrightarrow {p}}\ XY$.
* Se $X_{n}\ {\xrightarrow {q.c.}}\ X$ e $Y_{n}\ {\xrightarrow {q.c.}}\ Y$, então $aX_{n}+bY_{n}\ {\xrightarrow {q.c.}}\ aX+bY$ (para quaisquer números reais $a$ e $b$) e $X_{n}Y_{n}{\xrightarrow {q.c.}}\ XY$.
* Se $X_{n}\ {\xrightarrow {L^{r}}}\ X$ e $Y_{n}\ {\xrightarrow {L^{r}}}\ Y$, então $aX_{n}+bY_{n}\ {\xrightarrow {L^{r}}}\ aX+bY$ (para quaisquer números reais $a$ e $b$).
* Nenhuma das afirmações acima é verdadeira para convergência em distribuição.
A cadeia de implicações entre as várias noções de convergências estão notadas em suas respectivas seções. Elas são, usando notação de setas:
    ${\begin{matrix}{\xrightarrow {L^{s}}}&{\underset {s>r\geq 1}{\Rightarrow }}&{\xrightarrow {L^{r}}}&&\\&&\Downarrow &&\\{\xrightarrow {q.c.}}&\Rightarrow &{\xrightarrow {\ p\ }}&\Rightarrow &{\xrightarrow {\ d\ }}\end{matrix}}$
Estas propriedades, unidas a uma série de outros casos especiais, estão resumidas na lista abaixo:
* Convergência quase certa implica convergência em probabilidade:
    $X_{n}\ {\xrightarrow {q.c.}}\ X\quad \Rightarrow \quad X_{n}\ {\xrightarrow {p}}\ X$
* Convergência em probabilidade implica que existe uma subsequência $(k_{n})$ que quase certamente converge:
    $X_{n}\ {\xrightarrow {p}}\ X\quad \Rightarrow \quad X_{k_{n}}\ {\xrightarrow {a.s.}}\ X$
* Convergência em probabilidade implica convergência em distribuição:
    $X_{n}\ {\xrightarrow {p}}\ X\quad \Rightarrow \quad X_{n}\ {\xrightarrow {d}}\ X$
* Convergência na $r$-ésima média implica convergência em probabilidade:
    $X_{n}\ {\xrightarrow {L^{r}}}\ X\quad \Rightarrow \quad X_{n}\ {\xrightarrow {p}}\ X$
* Convergência na $r$-ésima média implica convergência na média de ordem mais baixa, assumindo que ambas as ordens são maiores ou iguais a um:
    $X_{n}\ {\xrightarrow {L^{r}}}\ X\quad \Rightarrow \quad X_{n}\ {\xrightarrow {L^{s}}}\ X,$ sendo $r>s\geq 1$.
* Se $X_{n}$ convergir em distribuição a uma constante $c$, então $X_{n}$ converge em probabilidade a $c$:
    $X_{n}\ {\xrightarrow {d}}\ c\quad \Rightarrow \quad X_{n}\ {\xrightarrow {p}}\ c,$ sendo $c$ uma constante.
* Se X$_n$ convergir em distribuição a $X$ e a diferença entre $X_{n}$ e $Y_{n}$ converge em probabilidade a zero, então $Y_{n}$ também converge em distribuição a $X$:
    $X_{n}\ {\xrightarrow {d}}\ X,\ \ |X_{n}-Y_{n}|\ {\xrightarrow {p}}\ 0\ \quad \Rightarrow \quad Y_{n}\ {\xrightarrow {d}}\ X$
* Se $X_{n}$ convergir em distribuição a $X$ e $Y_{n}$ convergir em distribuição a uma constante $c$, então o vetor conjunto $(X_{n},Y_{n})$ converge em distribuição a $(X,c)$:
    $X_{n}\ {\xrightarrow {d}}\ X,\ \ Y_{n}\ {\xrightarrow {d}}\ c\ \quad \Rightarrow \quad (X_{n},Y_{n})\ {\xrightarrow {d}}\ (X,c)$ sendo $c$ uma constante.
    A condição de que Y$_n$ convirja a uma constante é importante. Se convergisse a uma variável aleatória $Y$, então não se poderia concluir que $(X_{n},Y_{n})$ converge a $(X,Y)$.
* Se $X_{n}$ convergir em probabilidade a $X$ e $Y_{n}$ convergir em probabilidade a $Y$, então o vetor conjunto $(X_{n},Y_{n})$ converge em probabilidade a $(X,Y)$:
    $X_{n}\ {\xrightarrow {p}}\ X,\ \ Y_{n}\ {\xrightarrow {p}}\ Y\ \quad \Rightarrow \quad (X_{n},Y_{n})\ {\xrightarrow {p}}\ (X,Y)$
* Se X$_n$ convergir em probabilidade a $X$ e P(|X$_n$| ≤ b) = 1 para todo $n$ e algum $b$, então X$_n$ converge na $r$-ésima média a $X$ para todo r ≥ 1. Em outras palavras, se X$_n$ convergir em probabilidade a $X$ e todas as variáveis aleatórias X$_n$ forem quase certamente limitadas acima e abaixo, então X$_n$ converge a $X$ também em qualquer $r$-ésima média.
* Geralmente, convergência em distribuição não implica convergência quase certa. Entretanto, para uma dada sequência $\{X_{n}\}$ que converge em distribuição a $X_{0}$, é sempre possível encontrar um novo espaço de probabilidade $(\Omega ,{\mathcal {F}},P)$ e variáveis aleatórias $\{Y_{n},n=0,1,...\}$ definidas neste espaço tal que $Y_{n}$ seja igual em distribuição X$_n$ para todo $n\geq 0$ e $Y_{n}$ convirja a $Y_{0}$ quase certamente.
* Se para todo $\varepsilon >0$
    $\sum _{n}\mathbb {P} \left(|X_{n}-X|>\varepsilon \right)<\infty ,$
    então dizemos que X$_n$ converge quase completamente ou quase em probabilidade em direção a $X$. Quando $X_{n}$ converge quase completamente em direção a $X$, então também converge quase certamente a $X$. Em outras palavras, se X$_n$ convergir em probabilidade a $X$ de forma suficientemente rápida, isto é, se a sequência acima das probabilidades de cauda for somável para todo ε > 0, então, X$_n$ converge quase certamente a $X$. Esta é uma implicação direta do lema de Borel-Cantelli.
* Se S$_n$ for uma soma de $n$ variáveis aleatórias independentes reais:
    $S_{n}=X_{1}+\cdots +X_{n}\,$
    então S$_n$ converge quase certamente se e somente se S$_n$ convergir em probabilidade.
* O teorema da convergência dominada dá condições suficientes para que a convergência quase certa implique convergência $L^{1}$
    $\left.{\begin{matrix}X_{n}{\xrightarrow {a.s.}}X\\|X_{n}|<Y\\\mathrm {E} (Y)<\infty \end{matrix}}\right\$
* Uma condição necessária e suficiente para a convergência $L^{1}$ é que $X_{n}{\xrightarrow {P}}X$ e a sequência $(X_{n})$ seja uniformemente integrável.