4.62 Suponham-se
e
eventos independentes. Mostre que qualquer das combinações
são também independentes. Além disso, mostre que
e
são independentes; e assim por diante.
Passo 1
O enunciado dá que
são eventos independentes (isto é, independência mútua: valem as igualdades de probabilidade para pares e para o triplo). As perguntas são:
- Mostrar que qualquer combinação em que se troque alguns eventos por seus complementos — por exemplo
— também forma um conjunto de eventos independentes (ou seja, a probabilidade da interseção é o produto das probabilidades). - Mostrar que
e são independentes (isto é, ), e o mesmo tipo de resultado “e assim por diante” para outras semelhantes.
Informações relevantes dadas:
- Para os dados de independência vale, em particular,
e
Passo 2
Lembrando algumas identidades úteis de probabilidade (ferramentas que vamos usar):
- Para qualquer par de eventos
, Em particular, Essa igualdade vem do fato de que é união disjunta. - Para três eventos
vale a fórmula de inclusão-exclusão para interseções/uniões quando necessária. Ex.: que se expande como
Essas identidades permitem escrever probabilidades com complementos em termos de probabilidades de interseções simples (que sabemos transformar em produto usando independência).
Passo 3
Mostro primeiro um caso simples: provar que
são independentes, ou seja
Usando a identidade do passo anterior,
Pela independência dada,
e
. Então
Como
, obtemos
o que prova a independência do triplo
.
Passo 4
Pelo mesmo raciocínio simétrico (troca de papéis entre
) concluímos imediatamente que qualquer uma das situações com apenas um complemento, isto é
, tem a propriedade
O cálculo é idêntico: expressar a interseção com um complemento como diferença de uma interseção sem complemento, e aplicar a independência conhecida.
Passo 5
Agora trato do caso com dois complementos, por exemplo
. Escrevo a identidade da união/disjunção:
Expandindo (inclusão-exclusão)
Substituindo pelas probabilidades produto (por independência),
Fatorando
,
Assim
são independentes. Por simetria, qualquer combinação com exatamente dois complementos também é independente.
Passo 6
Caso com todos os três complementos: calcule
Pela fórmula da união com três eventos e usando independência para substituir interseções por produtos, obtemos
Portanto
são independentes. Isso fecha os casos restantes.
Passo 7
Conclusão sobre todos os padrões: os cálculos dos passos anteriores mostram o padrão geral: para qualquer escolha
,
,
,
A demonstração usa apenas as identidades do passo 2 e a independência das interseções não complementadas, e vale por simetria para todas as
combinações. Assim todas as combinações pedidas são independentes.
Passo 8
Agora mostro que
e
são independentes. Calculo
Pela independência dada,
,
e
. Substituindo:
Mas
(usando
). Portanto
isto é,
e
são independentes.
Passo 9
Comentário final e extensão: o mesmo cálculo mostra que
é independente de
, e que, em geral, se três eventos são mutuamente independentes então qualquer evento formado por operações booleanas (complemento, união, interseção) em um subgrupo dos eventos será independente dos eventos formados por operações nos demais, contanto que se usem as expressões por inclusão-exclusão e a independência original para substituir interseções por produtos. No enunciado pediam especificamente “e assim por diante”, e esse é o mecanismo que permite estender os resultados.
Resposta
Todas as
combinações
with
(onde
e
) são independentes, ou seja
Além disso,
e
são independentes, isto é