Вероятность и статистика · Основы вероятности

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

Как формально описать информацию, которую разрешено различать.

9 минут на чтениеЗаданий для самопроверки: 3

Чему научимся

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

Главная идея. Сигма-алгебра F — набор событий, замкнутый относительно дополнений и счётных объединений и содержащий Ω. Она формализует, какие различия доступны наблюдателю.

План рассуждения и проверка понимания

Проверьте наличие Ω; затем для каждого A включите Aᶜ и убедитесь, что любое счётное объединение элементов снова лежит в F.
Выведите пустое множество и замкнутость счётных пересечений через дополнения и законы де Моргана, не добавляя их как независимые аксиомы.
На конечном Ω найдите непустые атомы информации: каждое событие должно быть объединением целых атомов, а при m атомах событий будет 2^m.
Для наблюдения X рассмотрите σ(X) как наименьшую сигма-алгебру, позволяющую различать все его значения и их борелевские группы.

Частая ошибка. Считать обычное объединение двух сигма-алгебр снова сигма-алгеброй или по числу множеств без проверки замкнутости объявлять семейство допустимым.

Как проверить себя. Объединение может не содержать объединения одного события из первой семьи и другого из второй. Нужно взять порождённую ими сигма-алгебру и проверить операции.

Схема к теме

Наглядная модель: Сигма-алгебры и измеримые события

Как формально описать информацию, которую разрешено различать.

Сигма-алгебры и измеримые события → Сигма-алгебры и измеримые события
Сигма-алгебры и измеримые события → probability-space
Сигма-алгебры и измеримые события → sets

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

Проверка пониманияОбъясните тему своими словами

Постройте сигма-алгебру чётности на шестигранном кубике и объясните, почему она содержит четыре события и не позволяет отличить 2 от 4.

В хорошем объяснении есть:

Атомы — чётные и нечётные исходы.
Перечислены ∅, оба атома и Ω.
Число событий проверено как 2² = 4.

Язык доступных вопросов

Представьте кубик, у которого вам сообщают только чётность. Вы можете определить, наступило ли событие «чётное», но не отличить двойку от четвёрки. Сигма-алгебра описывает набор вопросов, на которые данная информация в принципе позволяет ответить. Она состоит из множеств исходов, а не из самих исходов.

Определение и следствия

Семейство $\mathcal F$ содержит всё пространство, замкнуто относительно дополнения и счётного объединения. Отсюда следуют наличие пустого множества и замкнутость относительно счётного пересечения. Например, отрицание вопроса должно быть допустимым, если допустим сам вопрос.

На конечном пространстве сигма-алгебра определяется разбиением на непустые атомы: каждый допустимый вопрос — объединение некоторых атомов. При $m$ атомах имеется $2^m$ событий. Важно считать атомы информации, а не обязательно элементарные исходы.

Порождённая информация

$\sigma(X)$ — наименьшая сигма-алгебра, делающая наблюдение $X$ измеримым. Если X сообщает только чётность, её атомы — чётные и нечётные исходы. Борелевская сигма-алгебра на прямой порождается открытыми множествами. Она позволяет говорить об интервалах и их счётных комбинациях.

Набросок проверки

Чтобы проверить конечное семейство, проверьте наличие Ω и каждого дополнения, затем замкнутость объединений. Одного условия на число множеств недостаточно. Пересечение любых сигма-алгебр на одном Ω снова является сигма-алгеброй; их обычное объединение таким быть не обязано.

Три примера

Тривиальная сигма-алгебра {∅,Ω} содержит только два вопроса: «никогда» и «всегда».
На кубике информация о чётности даёт четыре события: ∅, чётные, нечётные и Ω.
Разбиение шести исходов на три пары порождает 2³=8 событий. Различить элементы одной пары по такой информации нельзя.

Формула, смысл и ограничения

Главные формулы с расшифровкой

\Omega\in\mathcal F,\quad A\in\mathcal F\Rightarrow A^c\in\mathcal F,\quad A_n\in\mathcal F\Rightarrow\bigcup_{n=1}^{\infty}A_n\in\mathcal F

Формула словами: Замкнутость относится к дополнениям и счётным объединениям; пересечения получаются по де Моргану.

От простого к сложному

Проверьте себя

Сначала запишите решение самостоятельно. Затем можно открыть намёк, сравнить каждый переход с пошаговым разбором и только после этого посмотреть ответ. Прогресс сохраняется в этом браузере.

Открываем задание…

Источники и соглашения

Объяснения и задачи — авторские. Источники помогают проверить определения, условия и школьную привязку. Обозначения и параметризация указаны в статье.

MIT 18.175 — Scott Sheffield: определения и условия теории вероятностей (откроется в новой вкладке)