Умблик
Высшая математика
Основы вероятности
Вероятность и статистика · Основы вероятности

Аксиомы Колмогорова

Три требования, из которых выводятся правила работы с вероятностями.

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

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

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

Главная идея. Аксиомы Колмогорова требуют неотрицательности, нормировки P(Ω) = 1 и счётной аддитивности для попарно непересекающихся измеримых событий.

План рассуждения и проверка понимания
  1. Убедитесь, что событие принадлежит сигма-алгебре F; вероятность не обязана быть определена на любом мыслимом подмножестве Ω.
  2. При сложении бесконечной серии событий сначала проверьте их попарную несовместимость и счётность семейства.
  3. Выведите P(Aᶜ) = 1 − P(A) из разбиения Ω на A и Aᶜ, а монотонность — из разбиения B на A и B \ A.
  4. Различайте пустое событие и событие вероятности ноль, особенно для отдельных точек непрерывного равномерного закона.

Частая ошибка. Применять счётную аддитивность к несчётному объединению всех одноточечных событий и заключать, что отрезок имеет вероятность ноль.

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

Схема к теме

Наглядная модель: Аксиомы Колмогорова

Три требования, из которых выводятся правила работы с вероятностями.

Наглядная модель: Аксиомы КолмогороваТри требования, из которых выводятся правила работы с вероятностями.АксиомыКолмогороваprobabilityАксиомыКолмогорова
  • Аксиомы Колмогорова → Аксиомы Колмогорова
  • Аксиомы Колмогорова → probability
Схема связывает понятие «Аксиомы Колмогорова» с его ключевыми признаками. Вывод: Свяжите определение, условия и обозначения: тогда формула станет краткой записью уже понятной идеи.
Проверка пониманияОбъясните тему своими словами

Выведите формулу дополнения из аксиом и затем объясните, почему нулевая вероятность точки при U(0,1) не делает весь отрезок невозможным.

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

  • Использовано Ω = A ∪ Aᶜ и несовместимость частей.
  • Нормировка P(Ω) = 1 применена явно.
  • Счётное объединение отличено от несчётного.

Договор о вероятности

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

Строгая запись

На измеримом пространстве (Ω,F)(\Omega,\mathcal F) вероятность — неотрицательная функция PP на F\mathcal F, нормированная условием P(Ω)=1P(\Omega)=1 и счётно-аддитивная. Если события AnA_n попарно не пересекаются, вероятность их счётного объединения равна сумме вероятностей. Слово «счётного» существенно: произвольное несчётное суммирование не входит в аксиому.

Почему появляются привычные правила

Из Ω=A∪Ac\Omega=A\cup A^c и несовместимости частей следует P(Ac)=1−P(A)P(A^c)=1-P(A). Из разбиения B=A∪(B∖A)B=A\cup(B\setminus A) при A⊂BA\subset B получаем монотонность. Пустое событие имеет нулевую вероятность, потому что добавление пустой части не меняет целое. Это короткие доказательства следствий, а не дополнительные аксиомы.

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

Три примера

  1. У честной монеты сумма вероятностей двух исходов равна 1, поэтому при P(орёл)=1/2 вероятность решки также 1/2.
  2. Три несовместимые альтернативы с вероятностями 0,2; 0,3; 0,5 образуют полную группу. Вероятность первых двух равна 0,5.
  3. Для убывающих отрезков [0,1/n] при равномерном выборе на [0,1] вероятности равны 1/n и стремятся к нулю; пересечение — непустое одноточечное множество.

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

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

P(Ω)=1,P(A)≥0,P ⁣(⋃n=1∞An)=∑n=1∞P(An)P(\Omega)=1,\quad P(A)\ge0,\quad P\!\left(\bigcup_{n=1}^{\infty} A_n\right)=\sum_{n=1}^{\infty}P(A_n)

Формула словами: Последнее равенство относится к попарно непересекающимся измеримым событиям.

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

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

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

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

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

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

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

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