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 um espaço de probabilidade e uma sequência de variáveis aleatórias. Definimos as seguintes -álgebras contidas em :
Em palavras, os eventos da -álgebra são aqueles cuja ocorrência, apesar de ser determinada por , não depende dos valores das primeiras variáveis aleatórias , enquanto os eventos são aqueles cuja ocorrência não depende das primeiras variáveis aleatórias , qualquer que seja , isto é, não depende do conhecimento de nenhuma quantidade finita das variáveis aleatórias , apenas do comportamento remoto desta sequência.
Definição 13.13.
Dizemos que um evento é caudal com respeito à sequência se . Chamamos de -álgebra dos eventos caudais com respeito à sequência , ou simplesmente -álgebra caudal.
Exemplo 13.14.
São exemplos de eventos caudais com respeito a :
-
(a)
;
-
(b)
para um dado;
-
(c)
para um dado;
-
(d)
.
Mostraremos apenas o primeiro dos itens acima e deixamos os outros como exercício. Primeiramente, o evento está em pelo Lema 3.50. Para todo , podemos escrever
Como quando , temos que a convergência de é equivalente à convergência de , e este evento está em . Como isso vale para todo , o evento está em , ou seja, é um evento caudal com respeito à sequência . ∎
Exemplo 13.15.
Dados e , em geral os eventos abaixo não são caudais com respeito a :
-
(a)
;
-
(b)
. ∎
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 são independentes, então todo evento caudal tem probabilidade 0 ou 1.
Teorema 13.16 (Lei 0-1 de Kolmogorov).
Se é uma sequência de variáveis aleatórias independentes, então ou para todo .
Demonstração.
Seja . No espírito da Proposição 2.16, vamos mostrar que é independente de si mesmo. Para isso vamos considerar uma aproximação para que é independente de .
Como os eventos cilíndricos com respeito à sequência formam uma álgebra, pelo Teorema 13.5, existem eventos tais que
quando . Daí pode-se verificar que
o que deixamos como um instrutivo exercício sobre aproximações (ao final deste capítulo).
Por outro lado, como , segue que para todo . Logo, pelo Corolário 13.11, é independente de , ou seja,
Tomando o limite em , obtemos
ou seja, . ∎
Corolário 13.17.
Se é uma variável aleatória -mensurável, então é uma variável aleatória degenerada.
Demonstração.
Por hipótese, ou . Tomando , obtemos q.c. ∎