Independência e os Lemas de Borel-Cantelli

A independência formaliza a ideia de que o conhecimento de alguns eventos não informa nada sobre outros, e os lemas de Borel-Cantelli transformam a somabilidade de probabilidades em afirmações quase-certas precisas sobre a frequência com que uma sequência de eventos ocorre.

Definition

Eventos são independentes quando a probabilidade de sua ocorrência conjunta se fatoriza no produto de suas probabilidades, e os lemas de Borel-Cantelli relacionam a convergência ou divergência da soma das probabilidades de eventos com a ocorrência quase-certa de infinitos eventos.

Scope

O tópico abrange a independência de eventos, sigma-álgebras e variáveis aleatórias, os lemas de agrupamento e aproximação que a sustentam, os primeiros e segundos lemas de Borel-Cantelli, a lei zero-um de Kolmogorov para eventos de cauda, e aplicações à convergência quase-certa e à recorrência de eventos raros.

Core questions

• O que significa independência para eventos, para sigma-álgebras e para variáveis aleatórias, e como essas noções estão relacionadas?
• Quando uma sequência de eventos ocorre apenas um número finito de vezes, e quando ela se repete infinitas vezes?
• Por que o lema de Borel-Cantelli recíproco deve assumir independência?
• Por que um evento de cauda de uma sequência independente tem probabilidade zero ou um?

Key concepts

• independência de eventos
• independência de sigma-álgebras
• sigma-álgebra de cauda
• evento de ocorrência infinita
• recorrência quase-certa

Key theories

Primeiro lema de Borel-Cantelli

Se as probabilidades de uma sequência de eventos têm uma soma finita, então com probabilidade um apenas um número finito de eventos ocorre; nenhuma independência é necessária, e o resultado sustenta muitos argumentos de convergência quase-certa.

Segundo lema de Borel-Cantelli

Se os eventos são independentes e a soma de suas probabilidades diverge, então com probabilidade um infinitos eventos ocorrem, fornecendo uma recíproca precisa para o primeiro lema sob independência.

Lei zero-um de Kolmogorov

Qualquer evento na sigma-álgebra de cauda de uma sequência de variáveis aleatórias independentes tem probabilidade zero ou um, de modo que propriedades assintóticas, como a convergência de uma série de termos independentes, são determinísticas em seu valor de verdade.

Clinical relevance

Esses resultados são os pilares das leis fortes dos grandes números e da análise de recordes, sequências e eventos raros; na análise de confiabilidade e risco, eles determinam se um perigo recorrente ocorre infinitas vezes, e na teoria dos números e teoria ergódica, a lei zero-um explica por que muitas propriedades limitantes são sempre verdadeiras ou nunca verdadeiras.

History

Borel provou a metade da convergência em 1909 em seu estudo de números normais, e Cantelli forneceu a recíproca da independência em 1917. Kolmogorov mais tarde englobou ambos em sua lei zero-um para eventos de cauda, tornando-os ferramentas centrais da teoria da medida.

Key figures

• Emile Borel
• Francesco Paolo Cantelli
• Andrey Kolmogorov

Seminal works

• durrett2019

Frequently asked questions

Por que o segundo lema de Borel-Cantelli exige independência, mas o primeiro não?

Sem independência, probabilidades divergentes ainda podem descrever eventos que se sobrepõem tão intensamente que apenas um número finito de eventos distintos ocorre; a independência exclui essa conspiração e força a ocorrência de infinitos eventos.

O que é um evento de cauda?

Um evento de cauda é aquele cuja ocorrência não depende de um número finito de variáveis aleatórias subjacentes, como a convergência de uma série infinita; a lei de Kolmogorov afirma que tais eventos têm probabilidade zero ou um quando as variáveis são independentes.