# Teorema de Mann-Wald

Em teoria das probabilidades, o teorema de Mann–Wald ou teorema do mapeamento contínuo afirma que funções contínuas preservam os limites mesmo se seus argumentos forem sequências de variáveis aleatórias. Uma função contínua, na definição do matemático alemão Eduard Heine, é uma função que mapeia sequências convergentes em sequências convergentes: se $x_{n}\rightarrow x$, então $g(x_{n})\rightarrow g(x)$. O teorema de Mann–Wald afirma que isto também será verdadeiro se substituirmos a sequência determinística $\{x_{n}\}$ por uma sequência de variáveis aleatórias $\{X_{n}\}$ e substituirmos a noção padrão de convergência de números reais ($\rightarrow$) por um dos tipos de convergência de variáveis aleatórias. O teorema recebe este nome em homenagem ao matemático norte-americano Henry Mann e ao matemático romeno Abraham Wald, que o provaram pela primeira vez em 1943.

## Demonstração

Considere $\{X_{n}\},X$ elementos aleatórios definidos em um espaço métrico $S$. Suponha uma função $g:S\rightarrow S'$ (em que $S'$ é outro espaço métrico) que tem o conjunto de pontos de descontinuidade $D_{g}$ tal que $\Pr[X\in D_{g}]=0$. Então,
* $X_{n}{\xrightarrow {d}}X\quad \Rightarrow \quad g(X_{n}){\xrightarrow {d}}g(X);$
* $X_{n}{\xrightarrow {p}}X\quad \Rightarrow \quad g(X_{n}){\xrightarrow {p}}g(X);$
* $X_{n}{\xrightarrow {q.c.}}X\quad \Rightarrow \quad g(X_{n}){\xrightarrow {q.c.}}g(X).$

## Prova

Espaços $S$ e $S'$ estão equipados com certas métricas. Para simplificar, denotaremos ambas as métricas usando a notação $|x-y|$, ainda que as métricas possam ser arbitrárias e não necessariamente euclidianas.

### Convergência em distribuição

Precisaremos de uma demonstração particular do teorema de Pormanteau: que a convergência em distribuição $X_{n}{\xrightarrow {d}}X$ é equivalente a
   $\limsup _{n\to \infty }\operatorname {Pr} (X_{n}\in F)\leq \operatorname {Pr} (X\in F)\ {\text{para todo conjunto fechado}}\ F.$
Fixe um conjunto fechado arbitrário $F\subset S'$. Denote por $g^{-1}(F)$ a pré-imagem de $F$ sob o $g$ mapeante: o conjunto de todos os pontos $x\in S$ tal que $g(x)\in F$. Considere uma sequência $\{x_{k}\}$ tal que $g(x_{k})\in F$ e $x_{k}\rightarrow x$. Então, esta sequência repousa em $g^{-1}(F)$ e seu ponto limite $x$ pertence ao fechamento deste conjunto, ${\overline {g^{-1}(F)}}$ (pela definição de fechamento. O ponto $x$ pode ser tanto:
* um ponto de continuidade $g$, no caso em que $g(x_{k})\rightarrow g(x)$ e assim $g(x)\in F$, porque $F$ é um conjunto fechado, e, por isso, neste caso, $x$ pertence à pré-imagem de $F$; como
* um ponto de descontinuidade de $g$, de modo que $x\in D_{g}$.
Assim, a seguinte relação se aplica:
   ${\overline {g^{-1}(F)}}\subset g^{-1}(F)\cup D_{g}.$
Considere o evento $\{g(X_{n})\in F\}$. A probabilidade deste evento pode ser estimada como:
   $\operatorname {Pr} {\bigg(X_{n})\in F{\big )}=\operatorname {Pr} {\bigX_{n}\in g^{-1}(F){\big )}\leq \operatorname {Pr} {\bigX_{n}\in {\overline {g^{-1}(F)}}{\big )},$
e, pelo teorema de Portmanteau, o limite superior da última expressão menor ou igual a $\Pr(x\in {\overline {g^{-1}(F)}})$. Usando a fórmula que derivamos no parágrafo anterior, isto pode ser escrito como
   ${\begin{aligned}&\operatorname {Pr} {\bigX\in {\overline {g^{-1}(F)}}{\big )}\leq \operatorname {Pr} {\bigX\in g^{-1}(F)\cup D_{g}{\big )}\leq \\&\operatorname {Pr} {\bigX\in g^{-1}(F){\big )}+\operatorname {Pr} (X\in D_{g})=\operatorname {Pr} {\bigg(X)\in F{\big )}+0.\end{aligned}}$
Ao conectar isto de volta com a expressão original, pode-se ver que:
   $\limsup _{n\to \infty }\Pr {\bigg(X_{n})\in F{\big )}\leq \Pr {\bigg(X)\in F{\big )},$
que, pelo teorema de Portmanteau, implica que $g(X_{n})$ converge a $g(X)$ em distribuição.

### Convergência em probabilidade

Fixe um arbitrário $\varepsilon >0$. Então, para qualquer $\delta >0$, considere o conjunto $B_{\delta }$ como:
   $B_{\delta }={\big \x\in S\mid x\notin D_{g}:\ \exists y\in S:\ |x-y|<\delta ,\,|g(x)-g(y)|>\varepsilon {\big \}}.$
Este é o conjunto de pontos de continuidade $x$ da função $g(\cdot )$, para o qual é possível encontrar, na interior da $\delta$-vizinhança de $x$, um ponto que mapeia fora da $\varepsilon$-vizinhança de $g(x)$. Por definição de continuidade, este conjunto encolhe conforme $\delta$ vai a zero, de modo que $\lim _{\delta \to 0}B_{\delta }=\varnothing$.
Agora suponha que $|g(X)-g(X_{n})|>\varepsilon$. Isto implica que, pelo menos, uma das afirmações seguintes é verdadeira: ou $|X-X_{n}|\geq \delta$, ou $X\in D_{g}$, ou $X\in B_{\delta }$. Em termos de probabilidades, isto pode ser escrito como:
   $\Pr {\big{\big |}g(X_{n})-g(X){\big |}>\varepsilon {\big )}\leq \Pr {\big|X_{n}-X|\geq \delta {\big )}+\Pr(X\in B_{\delta })+\Pr(X\in D_{g}).$
Do lado da mão direta, o primeiro converge a zero conforme $n\rightarrow \infty$ para qualquer $\delta$ fixo, pela definição de convergência em probabilidade da sequência $\{X_{n}\}$. O segundo termo converge a zero conforme $\delta \rightarrow 0$, já que o conjunto $B_{\delta }$ encolhe a um conjunto vazio. O último termo é identicamente igual a zero pela pressuposição do teorema. Por isso, a conclusão é que:
   $\lim _{n\to \infty }\Pr {\big{\big |}g(X_{n})-g(X){\big |}>\varepsilon {\big )}=0,$
o que significa que $g(X_{n})$ converge a $g(X)$ em probabilidade.

### Convergência quase certa

Por definição de continuidade da função $g(\cdot )$,
   $\lim _{n\to \infty }X_{n}(\omega )=X(\omega )\quad \Rightarrow \quad \lim _{n\to \infty }g(X_{n}(\omega ))=g(X(\omega ))$
em cada ponto $X(\omega )$ em que $g(\cdot )$ é contínua. Por isso,
   ${\begin{aligned}\operatorname {Pr} {\Big\lim _{n\to \infty }g(X_{n})=g(X){\Big )}&\geq \operatorname {Pr} {\Big\lim _{n\to \infty }g(X_{n})=g(X),X\notin D_{g}{\Big )}\\&\geq \operatorname {Pr} {\Big\lim _{n\to \infty }X_{n}=X,X\notin D_{g}{\Big )}=1,\end{aligned}}$,
porque a intersecção de dois eventos quase certos é quase certa.
Por definição, concluímos que $g(X_{n})$ converge a $g(X)$ quase certamente.