Сигма-алгебра событий

Сигма-алгебра событий (σ-алгебра, σ-поле событий) — это класс подмножеств некоторого множества, замкнутый относительно счётных теоретико-множественных операций (объединения, пересечения и дополнения). В теории вероятностей сигма-алгебра служит формальной основой для задания множества случайных событий, для которых можно определить вероятность. Понятие введено Андреем Николаевичем Колмогоровым в 1933 году в рамках аксиоматики теории вероятностей.

Определение

Пусть \(\Omega\) — произвольное множество (называемое пространством элементарных исходов). Семейство \(\mathcal{F}\) подмножеств \(\Omega\) называется σ-алгеброй (или σ-полем), если выполнены три аксиомы:

1. \(\Omega \in \mathcal{F}\) (всё пространство принадлежит семейству).
2. Если \(A \in \mathcal{F}\), то его дополнение \(A^c = \Omega \setminus A\) также принадлежит \(\mathcal{F}\) (замкнутость относительно дополнения).
3. Если \(\{A_n\}_{n=1}^{\infty}\) — счётная последовательность множеств из \(\mathcal{F}\), то их объединение \(\bigcup_{n=1}^{\infty} A_n\) также принадлежит \(\mathcal{F}\) (замкнутость относительно счётного объединения).

Из этих аксиом автоматически следует, что \(\varnothing \in \mathcal{F}\) (пустое множество), а также замкнутость относительно счётного пересечения (по законам де Моргана). Семейство, удовлетворяющее только первым двум аксиомам и замкнутости относительно конечных объединений, называется алгеброй (или полем) событий, но не обязательно сигма-алгеброй.

История

Понятие сигма-алгебры возникло в рамках теории меры и интеграла Лебега в начале XX века. Эмиль Борель и Анри Лебег использовали σ-алгебры для задания измеримых множеств на числовой прямой. В 1933 году Андрей Колмогоров в монографии «Основные понятия теории вероятностей» впервые применил σ-алгебру для формализации вероятностного пространства. До этого вероятности определялись для произвольных подмножеств, что приводило к парадоксам (например, парадокс Бертрана). Колмогоров показал, что ограничение на σ-алгебру позволяет корректно определить вероятность как счётно-аддитивную меру.

Свойства

• Минимальность: пересечение любого семейства σ-алгебр на \(\Omega\) является σ-алгеброй. Это позволяет определить σ-алгебру, порождённую произвольным семейством подмножеств, как наименьшую σ-алгебру, содержащую это семейство.
• Борелевская σ-алгебра: на \(\mathbb{R}^n\) σ-алгебра, порождённая всеми открытыми множествами, называется борелевской. Она содержит все интервалы, полуинтервалы, замкнутые множества и их счётные комбинации.
• Счётная аддитивность: вероятность, определённая на σ-алгебре, является счётно-аддитивной мерой: для попарно непересекающихся событий \(A_n\) из \(\mathcal{F}\) выполняется \(P(\bigcup_{n=1}^{\infty} A_n) = \sum_{n=1}^{\infty} P(A_n)\).

Примеры

Тривиальная σ-алгебра

\(\mathcal{F} = \{\varnothing, \Omega\}\). Содержит только невозможное и достоверное события. Используется в простейших вероятностных моделях.

Дискретная σ-алгебра

\(\mathcal{F} = 2^{\Omega}\) — множество всех подмножеств \(\Omega\). Если \(\Omega\) конечно или счётно, эта σ-алгебра позволяет задать вероятность для любого подмножества. Для несчётных \(\Omega\) (например, отрезка \([0,1]\)) она слишком велика: на ней нельзя задать равномерную меру, удовлетворяющую аксиомам.

σ-алгебра, порождённая разбиением

Если \(\Omega\) разбито на счётное число непересекающихся подмножеств \(B_i\), то σ-алгебра состоит из всех объединений этих подмножеств (включая пустое). Пример: разбиение отрезка \([0,1]\) на двоичные интервалы длины \(2^{-n}\).

Борелевская σ-алгебра на прямой

Обозначается \(\mathcal{B}(\mathbb{R})\). Порождается интервалами вида \((a,b)\). Содержит все интервалы, отрезки, полуинтервалы, а также множества, получаемые счётными объединениями и пересечениями. Например, множество рациональных чисел \(\mathbb{Q}\) является борелевским (как счётное объединение точек).

Связь с вероятностным пространством

Вероятностное пространство — это тройка \((\Omega, \mathcal{F}, P)\), где:

• \(\Omega\) — множество элементарных исходов,
• \(\mathcal{F}\) — σ-алгебра событий,
• \(P: \mathcal{F} \to [0,1]\) — вероятностная мера, удовлетворяющая аксиомам Колмогорова.

Событиями называются только элементы \(\mathcal{F}\). Подмножества \(\Omega\), не входящие в \(\mathcal{F}\), называются неизмеримыми и не имеют вероятности. Существование неизмеримых множеств (например, множества Витали) доказывается с использованием аксиомы выбора; они не могут быть событиями в вероятностной модели.

Порождающие семейства

Часто σ-алгебра задаётся не перечислением всех элементов, а указанием порождающего семейства. Например, σ-алгебра, порождённая случайной величиной \(X: \Omega \to \mathbb{R}\), состоит из прообразов борелевских множеств: \(\sigma(X) = \{X^{-1}(B): B \in \mathcal{B}(\mathbb{R})\}\). Это наименьшая σ-алгебра, относительно которой \(X\) измерима.

σ-алгебра в статистике

В математической статистике σ-алгебра используется для формализации информационной структуры. Например, фильтрация (возрастающее семейство σ-алгебр \(\mathcal{F}_1 \subset \mathcal{F}_2 \subset \dots\)) описывает поток информации во времени. Условное математическое ожидание определяется как случайная величина, измеримая относительно заданной σ-алгебры.

Критика и ограничения

• Необходимость аксиомы выбора: существование неизмеримых множеств требует аксиомы выбора, что делает σ-алгебру неконструктивной в некоторых моделях.
• Сложность для приложений: в практических задачах (например, в финансах или физике) σ-алгебры редко выписываются явно, но их свойства используются для обоснования методов.
• Альтернативы: существуют подходы, использующие алгебры событий без счётной аддитивности (например, конечно-аддитивные вероятности), но они менее распространены.

См. также

• Теория меры
• Борелевская σ-алгебра
• Измеримое пространство
• Фильтрация (теория вероятностей)

Источники

• Колмогоров А. Н. Основные понятия теории вероятностей. — М.: Наука, 1974.
• Ширяев А. Н. Вероятность. — М.: МЦНМО, 2004.
• Биллингсли П. Сходимость вероятностных мер. — М.: Мир, 1977.
• Халмош П. Теория меры. — М.: Иностранная литература, 1953.