13.3 Lei 0-1 de Kolmogorov

Nesta seção vamos estudar uma importante classe de eventos, chamados de eventos caudais, e a famosa Lei 0-1 de Kolmogorov associada a tais eventos.

Sejam (Ω,,)(\Omega,\mathcal{F},\mathbb{P}) um espaço de probabilidade e 𝑿=(Xn)n{{\boldsymbol{X}}}=(X_{n})_{n} uma sequência de variáveis aleatórias. Definimos as seguintes σ\sigma-álgebras contidas em \mathcal{F}:

n=σ((Xj)jn),𝒳=nn.\mathcal{F}_{n}^{\infty}=\sigma((X_{j})_{j\geqslant n}),\quad\mathscr{X}=\cap_% {n}\mathcal{F}_{n}^{\infty}.

Em palavras, os eventos da σ\sigma-álgebra n+1\mathcal{F}_{n+1}^{\infty} são aqueles cuja ocorrência, apesar de ser determinada por 𝑿{{\boldsymbol{X}}}, não depende dos valores das nn primeiras variáveis aleatórias X1,,XnX_{1},\dots,X_{n}, enquanto os eventos A𝒳A\in\mathscr{X} são aqueles cuja ocorrência não depende das kk primeiras variáveis aleatórias X1,,XkX_{1},\dots,X_{k}, qualquer que seja kk\in\mathbb{N}, isto é, AA não depende do conhecimento de nenhuma quantidade finita das variáveis aleatórias (Xk)k(X_{k})_{k}, apenas do comportamento remoto desta sequência.

Definição 13.13.

Dizemos que um evento AA é caudal com respeito à sequência 𝑿{{\boldsymbol{X}}} se A𝒳A\in\mathscr{X}. Chamamos 𝒳\mathscr{X} de σ\sigma-álgebra dos eventos caudais com respeito à sequência 𝑿{{\boldsymbol{X}}}, ou simplesmente σ\sigma-álgebra caudal.

Exemplo 13.14.

São exemplos de eventos caudais com respeito a 𝑿{{\boldsymbol{X}}}:

  1. (a)

    {X1++Xnn converge}\{\frac{X_{1}+\dots+X_{n}}{n}\text{ converge}\};

  2. (b)

    {XnBi.v.}\{X_{n}\in B\ i.v.\} para um BB\in\mathcal{B} dado;

  3. (c)

    {lim supnX1++Xnn<C}\{\limsup_{n}\frac{X_{1}+\dots+X_{n}}{n}<C\} para um CC\in\mathbb{R} dado;

  4. (d)

    {n=1Xn converge}\{\sum_{n=1}^{\infty}X_{n}\text{ converge}\}.

Mostraremos apenas o primeiro dos itens acima e deixamos os outros como exercício. Primeiramente, o evento está em 1\mathcal{F}_{1}^{\infty} pelo Lema 3.50. Para todo kk\in\mathbb{N}, podemos escrever

X1++Xnn=X1++Xkn+Xk+1++Xnn.\frac{X_{1}+\dots+X_{n}}{n}=\frac{X_{1}+\dots+X_{k}}{n}+\frac{X_{k+1}+\dots+X_% {n}}{n}.

Como X1++Xkn0\frac{X_{1}+\dots+X_{k}}{n}\to 0 quando nn\to\infty, temos que a convergência de X1++Xnn\frac{X_{1}+\dots+X_{n}}{n} é equivalente à convergência de Xk+1++Xnn\frac{X_{k+1}+\dots+X_{n}}{n}, e este evento está em k\mathcal{F}_{k}^{\infty}. Como isso vale para todo kk, o evento está em kk\cap_{k}\mathcal{F}_{k}^{\infty}, ou seja, {X1++Xnn converge}\{\frac{X_{1}+\dots+X_{n}}{n}\text{ converge}\} é um evento caudal com respeito à sequência 𝑿{{\boldsymbol{X}}}. ∎

Exemplo 13.15.

Dados BB\in\mathcal{B} e CC\in\mathbb{R}, em geral os eventos abaixo não são caudais com respeito a 𝑿{{\boldsymbol{X}}}:

  1. (a)

    {X1++XnBi.v.}\{X_{1}+\dots+X_{n}\in B\ i.v.\};

  2. (b)

    {lim supnX1++Xn<C}\{\limsup_{n}X_{1}+\dots+X_{n}<C\}. ∎

A primeira das leis 0-1 que vamos estudar, conhecida como a Lei 0-1 de Kolmogorov, tem um enunciado bem simples. Se as variáveis aleatórias (Xn)n(X_{n})_{n} são independentes, então todo evento caudal tem probabilidade 0 ou 1.

Teorema 13.16 (Lei 0-1 de Kolmogorov).

Se (Xn)n(X_{n})_{n} é uma sequência de variáveis aleatórias independentes, então (A)=0\mathbb{P}(A)=0 ou 11 para todo A𝒳A\in\mathscr{X}.

Demonstração.

Seja A𝒳A\in\mathscr{X}. No espírito da Proposição 2.16, vamos mostrar que AA é independente de si mesmo. Para isso vamos considerar uma aproximação para AA que é independente de AA.

Como os eventos cilíndricos com respeito à sequência 𝑿{{\boldsymbol{X}}} formam uma álgebra, pelo Teorema 13.5, existem eventos Anσ(X1,,Xn)A_{n}\in\sigma(X_{1},\dots,X_{n}) tais que

(AAn)0\mathbb{P}(A\triangle A_{n})\to 0

quando nn\to\infty. Daí pode-se verificar que

(An)(A) e (AAn)(A),\mathbb{P}(A_{n})\to\mathbb{P}(A)\quad\text{ e }\quad\mathbb{P}(A\cap A_{n})% \to\mathbb{P}(A),

o que deixamos como um instrutivo exercício sobre aproximações (ao final deste capítulo).

Por outro lado, como A𝒳A\in\mathscr{X}, segue que Aσ(Xn+1,Xn+2,)A\in\sigma(X_{n+1},X_{n+2},\dots) para todo nn\in\mathbb{N}. Logo, pelo Corolário 13.11, AA é independente de AnA_{n}, ou seja,

(AAn)=(A)(An).\mathbb{P}(A\cap A_{n})=\mathbb{P}(A)\cdot\mathbb{P}(A_{n}).

Tomando o limite em nn, obtemos

(A)=(A)(A),\mathbb{P}(A)=\mathbb{P}(A)\cdot\mathbb{P}(A),

ou seja, (A)=0 ou 1\mathbb{P}(A)=0\text{ ou }1. ∎

Corolário 13.17.

Se ZZ é uma variável aleatória 𝒳\mathscr{X}-mensurável, então ZZ é uma variável aleatória degenerada.

Demonstração.

Por hipótese, FZ(z)=(Zz)=0F_{Z}(z)=\mathbb{P}(Z\leqslant z)=0 ou 11. Tomando C=sup{z:FZ(z)=0}C=\sup\{z\in\mathbb{R}:F_{Z}(z)=0\}, obtemos (Z=C)=1\mathbb{P}(Z=C)=1 q.c. ∎