Независимость и леммы Бореля-Кантелли

Независимость формализует идею о том, что знание одних событий ничего не говорит о других, а леммы Бореля-Кантелли превращают суммируемость вероятностей в точные утверждения «почти наверное» о том, как часто происходит последовательность событий.

Definition

События независимы, когда вероятность их совместного наступления факторизуется в произведение их вероятностей, а леммы Бореля-Кантелли связывают сходимость или расходимость суммы вероятностей событий с тем, происходят ли бесконечно много событий «почти наверное».

Scope

Тема охватывает независимость событий, сигма-алгебр и случайных величин, леммы о группировке и аппроксимации, которые её поддерживают, первую и вторую леммы Бореля-Кантелли, закон нуля-единицы Колмогорова для хвостовых событий и приложения к сходимости «почти наверное» и повторяемости редких событий.

Core questions

• Что означает независимость для событий, для сигма-алгебр и для случайных величин, и как эти понятия связаны?
• Когда последовательность событий происходит лишь конечное число раз, а когда она повторяется бесконечно часто?
• Почему обратная лемма Бореля-Кантелли должна предполагать независимость?
• Почему хвостовое событие независимой последовательности имеет вероятность либо ноль, либо единицу?

Key concepts

• независимость событий
• независимость сигма-алгебр
• хвостовая сигма-алгебра
• бесконечно частое событие
• повторяемость «почти наверное»

Key theories

Первая лемма Бореля-Кантелли

Если вероятности последовательности событий имеют конечную сумму, то с вероятностью единица происходит лишь конечное число событий; независимость не требуется, и результат лежит в основе многих аргументов о сходимости «почти наверное».

Вторая лемма Бореля-Кантелли

Если события независимы и сумма их вероятностей расходится, то с вероятностью единица происходит бесконечно много событий, что дает точное обратное утверждение к первой лемме при условии независимости.

Закон нуля-единицы Колмогорова

Любое событие в хвостовой сигма-алгебре последовательности независимых случайных величин имеет вероятность либо ноль, либо единицу, поэтому асимптотические свойства, такие как сходимость ряда независимых членов, являются детерминированными по своему значению истинности.

Clinical relevance

Эти результаты являются основой для усиленных законов больших чисел и анализа рекордов, серий и редких событий; в анализе надежности и рисков они определяют, происходит ли повторяющаяся опасность бесконечно часто, а в теории чисел и эргодической теории закон нуля-единицы объясняет, почему многие предельные свойства выполняются либо всегда, либо никогда.

History

Борель доказал часть, касающуюся сходимости, в 1909 году в своем исследовании нормальных чисел, а Кантелли представил обратное утверждение о независимости в 1917 году. Колмогоров позднее объединил оба результата в своем законе нуля-единицы для хвостовых событий, сделав их центральными инструментами теоретико-мерной теории.

Key figures

• Emile Borel
• Francesco Paolo Cantelli
• Andrey Kolmogorov

Seminal works

• durrett2019

Frequently asked questions

Почему вторая лемма Бореля-Кантелли требует независимости, а первая нет?

Без независимости расходящиеся вероятности все еще могут описывать события, которые настолько сильно перекрываются, что происходит лишь конечное число различных событий; независимость исключает этот сговор и принуждает к бесконечному числу наступлений.

Что такое хвостовое событие?

Хвостовое событие — это событие, наступление которого не зависит от любого конечного числа лежащих в основе случайных величин, например, сходимость бесконечного ряда; закон Колмогорова гласит, что такие события имеют вероятность ноль или один, когда переменные независимы.