13.4 Lei 0-1 de Hewitt-Savage
No Exemplo 13.15 foram exibidos alguns exemplos de eventos que não são caudais. Todavia, se a sequência associada a tais eventos for i.i.d., tais eventos satisfarão a outra importante lei 0-1, a Lei 0-1 de Hewitt-Savage.
Dizemos que uma função é uma permutação finita se é uma bijeção e para no máximo finitos valores de . Dada uma sequência , definimos a sequência permutada .
Definição 13.18 (Evento simétrico).
Seja um espaço de probabilidade e uma sequência de variáveis aleatórias. Dizemos que um conjunto é simétrico se para toda permutação finita . Dizemos que um evento é simétrico com respeito à sequência se para algum conjunto simétrico .
Teorema 13.19 (Lei 0-1 de Hewitt-Savage).
Sejam uma sequência de variáveis aleatórias independentes e identicamente distribuídas, e um evento simétrico com respeito à sequência . Então ou .
Demonstração.
Novamente, a ideia é mostrar que é independente de si mesmo. De forma um pouco mais elaborada do que fizemos na Lei 0-1 de Kolmogorov, desta vez vamos considerar diferentes aproximações para que são independentes entre si.
Vamos agora definir outra aproximação independente desta. Para cada , seja a permutação finita que troca de lugar os blocos e , isto é,
e defina
Vejamos primeiro que aproxima . Como a sequência é i.i.d., temos
para cada . Sendo assim,
A segunda igualdade é devida ao fato que , que é válida pois é uma bijeção. Na última igualdade usamos que é simétrico. Logo,
Daí pode-se verificar que
o que novamente deixamos como exercício sobre aproximações.
Por outro lado, como é independente de , pelo Corolário 13.10 temos que e, tomando o limite em , obtemos
Portanto, ou , o que conclui esta demonstração. ∎
Corolário 13.20.
Sejam uma sequência de variáveis aleatórias i.i.d. e para todo . Então, ou para todo evento caudal com respeito à sequência .
Demonstração.
Em geral, o evento não é caudal com respeito à sequência . Porém, observe que se é caudal com respeito à sequência , então é um evento simétrico com respeito à sequência . ∎
Exemplo 13.21 (De volta ao Exemplo 13.15).
São exemplos de eventos simétricos com respeito à sequência :
-
(a)
para todo ;
-
(b)
para todo .
Portanto, se a sequência for i.i.d., vale a Lei 0-1 de Hewitt-Savage para os eventos acima. ∎
Contra-exemplo 13.22.
Seja uma sequência de variáveis aleatórias independentes com distribuição para todo . Observe que o evento é simétrico com respeito à sequência . Porém, . Assim vemos que hipótese de as variáveis terem a mesma distribuição é crucial para a validade da Lei 0-1 de Hewitt-Savage, apesar de desnecessária para a Lei 0-1 de Kolmogorov. ∎