Лемма Бореля — Кантелли

Пусть дано вероятностное пространство ${\displaystyle (\Omega ,{\mathcal {F}},\mathbb {P} )}$ и последовательность событий ${\displaystyle \{A_{n}\}_{n=1}^{\infty }\subset {\mathcal {F}}}$. Обозначим

${\displaystyle A=\limsup \limits _{n\to \infty }A_{n}\equiv \bigcap \limits _{n=1}^{\infty }\left(\bigcup \limits _{m=n}^{\infty }A_{m}\right)}$.

Тогда если ряд ${\displaystyle \sum \limits _{n=1}^{\infty }\mathbb {P} \left(A_{n}\right)}$ сходится, то ${\displaystyle \mathbb {P} (A)=0}$.

Если все события ${\displaystyle \{A_{n}\}_{n=1}^{\infty }}$ совместно независимы, и ряд ${\displaystyle \sum \limits _{n=1}^{\infty }\mathbb {P} \left(A_{n}\right)}$ расходится, то ${\displaystyle \mathbb {P} (A)=1}$.

В первой лемме Бореля — Кантелли независимость событий не требуется.

• Закон нуля или единицы;
• Теорема о бесконечных обезьянах;
• Борель, Эмиль;
• Кантелли, Франческо Паоло;
• Конвергенция Куратовского

• Prokhorov, A.V. (2001), Borel–Cantelli lemma, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4