5.4 Esperança condicional dado um evento

Assim como a Seção 3.4, esta seção será necessária para o estudo da esperança condicional a ser desenvolvido no Capítulo 11 e, exceto por isso, pode ser omitida.

A informação sobre a ocorrência de um certo evento AA\in\mathcal{F} com (A)>0\mathbb{P}(A)>0 leva à definição de uma nova medida 𝐏\mathbf{P} em (Ω,)(\Omega,\mathcal{F}), dada pela relação 𝐏(B)=(B|A)\mathbf{P}(B)=\mathbb{P}(B|A), BB\in\mathcal{F}. A distribuição de qualquer variável aleatória XX também é afetada neste caso. Como vimos na Seção 3.4, XX passa a ter uma nova função de distribuição FX|A()F_{X|A}(\cdot), uma nova lei X|A()\mathbb{P}_{X|A}(\cdot).

Nesta situação, XX também terá uma nova média 𝔼[X|A]\mathbb{E}[X|A], dada por

𝔼[X|A]=0+(X>x|A)dx0(X<x|A)dx,\mathbb{E}[X|A]=\int_{0}^{+\infty}\mathbb{P}(X>x|A)\ \mathrm{d}x-\int_{-\infty% }^{0}\mathbb{P}(X<x|A)\ \mathrm{d}x,

que pode ser calculada a partir de FX|AF_{X|A}, pX|Ap_{X|A} ou fX|Af_{X|A} conforme o caso.

Exemplo 5.50.

Seja XX a variável aleatória que representa o resultado do lançamento de um dado, isto é, XUd{1,2,3,4,5,6}X\sim U_{d}\{1,2,3,4,5,6\}. Vamos calcular 𝔼[X|A]\mathbb{E}[X|A], onde AA é dado pelo evento “XX é par”. Primeiro encontramos a função de probabilidade condicional:

pX|A(x)=(X=x|A)=13 1{2,4,6}(x)p_{X|A}(x)=\mathbb{P}(X=x|A)=\frac{1}{3}\,\mathds{1}_{\{2,4,6\}}(x)

e em seguida a esperança

𝔼[X|A]=xxpX|A(x)=4.\mathbb{E}[X|A]=\sum_{x}x\cdot p_{X|A}(x)=4.\qed
Exemplo 5.51.

Sejam XX a variável aleatória e AA o evento definidos no Exemplo 3.30. Podemos calcular a esperança condicional de XX dado AA por

𝔼[X|A]\displaystyle\mathbb{E}[X|A] =xxpX|A(x)=231+132=43.\displaystyle=\sum_{x}x\cdot p_{X|A}(x)=\frac{2}{3}\cdot 1+\frac{1}{3}\cdot 2=% \frac{4}{3}.\qed (5.52)
Exemplo 5.53.

Assim como fizemos no exemplo anterior, considerando agora XX e AA como definidos no Exemplo 3.31, podemos calcular esperança condicional como

𝔼[X|A]=0+xfX|A(x)dx=14.\mathbb{E}[X|A]=\int_{0}^{+\infty}x\,f_{X|A}(x)\,\mathrm{d}x=\frac{1}{4}.\qed

A proposição seguinte nos fornece uma definição equivalente de esperança condicional de uma variável aleatória dado um evento. Tal definição será muito útil conforme veremos no Capítulo 11.

Proposição 5.54.

Sejam XX uma variável aleatória e AA um evento tal que (A)>0\mathbb{P}(A)>0. Então podemos escrever

𝔼[X|A]=𝔼[X𝟙A](A).\mathbb{E}[X|A]=\frac{\mathbb{E}[X\cdot\mathds{1}_{A}]}{\mathbb{P}(A)}.
Demonstração.

Basta observar que

𝔼[X|A]\displaystyle\mathbb{E}[X|A] =0+(X>x|A)dx0(X<x|A)dx\displaystyle=\int_{0}^{+\infty}\mathbb{P}(X>x|A)\ \mathrm{d}x-\int_{-\infty}^% {0}\mathbb{P}(X<x|A)\ \mathrm{d}x
=0+({X>x}A)(A)dx0({X<x}A)(A)dx\displaystyle=\int_{0}^{+\infty}\frac{\mathbb{P}(\{X>x\}\cap A)}{\mathbb{P}(A)% }\mathrm{d}x-\int_{-\infty}^{0}\frac{\mathbb{P}(\{X<x\}\cap A)}{\mathbb{P}(A)}% \mathrm{d}x
=0+(X𝟙A>x)dx0(X𝟙A<x)dx(A)\displaystyle=\frac{\int_{0}^{+\infty}\mathbb{P}(X\mathds{1}_{A}>x)\ \mathrm{d% }x\ -\ \int_{-\infty}^{0}\mathbb{P}(X\mathds{1}_{A}<x)\ \mathrm{d}x}{\mathbb{P% }(A)}
=𝔼[X𝟙A](A).\displaystyle=\frac{\mathbb{E}[X\cdot\mathds{1}_{A}]}{\mathbb{P}(A)}.\qed

Em muitas situações, mesmo teóricas, é conveniente separar a distribuição de uma variável segundo a ocorrência ou não de um certo evento (ou, de forma mais geral, de uma sequência de eventos que particione o espaço amostral). Esse abaixo é um análogo da Lei da Probabilidade Total para a esperança condicional.

Proposição 5.55.

Sejam XX uma variável aleatória e A1,A2,A3,A_{1},A_{2},A_{3},... uma partição do espaço amostral. Então

𝔼X=n=1(An)𝔼[X|An].\mathbb{E}X=\sum_{n=1}^{\infty}\mathbb{P}(A_{n})\,\mathbb{E}[X|A_{n}].
Demonstração.

Basta escrever X=n=1X𝟙AnX=\sum_{n=1}^{\infty}X\mathds{1}_{A_{n}} e desenvolver

𝔼X\displaystyle\mathbb{E}X =𝔼[n=1X𝟙An]=n=1𝔼[X𝟙An]=n=1(An)𝔼[X|An],\displaystyle=\mathbb{E}[\textstyle\sum_{n=1}^{\infty}X\mathds{1}_{A_{n}}]=% \textstyle\sum_{n=1}^{\infty}\mathbb{E}[X\mathds{1}_{A_{n}}]=\textstyle\sum_{n% =1}^{\infty}\mathbb{P}(A_{n})\,\mathbb{E}[X|A_{n}],

usando o Teorema da Convergência Monótona e a proposição anterior. ∎

Exemplo 5.56.

No Exemplo 5.50, podemos calcular

𝔼X=124+123=72.\mathbb{E}X=\frac{1}{2}\cdot 4+\frac{1}{2}\cdot 3=\frac{7}{2}.\qed