Вероятностное пространство и аксиомы Колмогорова

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

Вероятностное пространство

Определение: Тройка (Ω, F, P), где: Ω — пространство элементарных исходов. F ⊆ 2^Ω — σ-алгебра событий. P: F → [0,1] — вероятностная мера.

σ-алгебра F: Семейство подмножеств Ω, удовлетворяющее: (1) Ω ∈ F; (2) A ∈ F → Aᶜ ∈ F (замкнутость относительно дополнения); (3) A₁, A₂,... ∈ F → ⋃ₙ Aₙ ∈ F (замкнутость относительно счётного объединения).

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

P1 (Неотрицательность): P(A) ≥ 0 для всех A ∈ F. P2 (Нормировка): P(Ω) = 1. P3 (Счётная аддитивность): Для попарно несовместных A₁, A₂,...: P(⋃ₙ Aₙ) = Σₙ P(Aₙ).

Следствия: P(∅) = 0. P(Aᶜ) = 1 - P(A). A ⊆ B → P(A) ≤ P(B). P(A ∪ B) = P(A) + P(B) - P(A ∩ B). P(⋃ᵢ Aᵢ) ≤ Σᵢ P(Aᵢ) (неравенство Буля/Бонферрони).

Классическая вероятность

Определение Лапласа: Ω — конечное множество, все исходы равновероятны. P(A) = |A|/|Ω|.

Формула включений-исключений: P(A₁ ∪ A₂ ∪ ... ∪ Aₙ) = Σ P(Aᵢ) - Σ P(AᵢAⱼ) + Σ P(AᵢAⱼAₖ) - ... + (-1)^{n+1}P(A₁...Aₙ).

Задание: (а) Для σ-алгебры F: если A,B ∈ F, докажите что A∩B ∈ F и AB ∈ F. (б) 52 карты, 5-карточная рука. P(фулл-хаус) = P(три одного + пара другого). Вычислите. (в) Парадокс дней рождения: среди n людей P(хотя бы двое с одинаковым ДР) > 0.5. Найдите минимальное n.

Историческое развитие аксиоматики

До Колмогорова теория вероятностей развивалась интуитивно. Паскаль и Ферма в 1654 году переписывались о задаче дележа ставок — это считается рождением теории вероятностей как математической дисциплины. Лаплас в XIX веке систематизировал классическую вероятность, но строгой математической основы не было. Проблема заключалась в том, что для непрерывных распределений классическое определение «число благоприятных исходов делить на общее число» теряло смысл. Аксиоматика Колмогорова (1933) решила эту проблему, опираясь на теорию меры Лебега.

Ключевая идея: вероятность — это просто мера на измеримом пространстве с условием нормировки P(Ω) = 1. Это делает теорию вероятностей частью более общей теории меры и интегрирования, что открывает доступ ко всему математическому аппарату анализа.

Типы событий и операции

На практике важно уметь работать с составными событиями. Достоверное событие — Ω, всегда происходит. Невозможное событие — ∅, никогда не происходит. Элементарный исход — одноэлементное подмножество {ω} ∈ F. Несовместные события A и B: A ∩ B = ∅, не могут произойти одновременно. Полная группа событий B₁,...,Bₙ: попарно несовместны и ⋃Bᵢ = Ω.

Операции над событиями соответствуют логическим связкам: объединение A ∪ B означает «A или B», пересечение A ∩ B — «A и B», дополнение Aᶜ — «не A». Закон де Моргана: (A ∪ B)ᶜ = Aᶜ ∩ Bᶜ говорит, что «ни A, ни B» равнозначно «не A и не B».

Непрерывность вероятностной меры

Важное следствие счётной аддитивности — непрерывность P. Если A₁ ⊇ A₂ ⊇ ... убывающая последовательность событий с ⋂ₙ Aₙ = A, то P(Aₙ) → P(A). Аналогично для возрастающих: A₁ ⊆ A₂ ⊆ ..., ⋃ₙ Aₙ = B ⟹ P(Aₙ) → P(B). Это свойство критично при работе с пределами событий — стандартная операция в асимптотическом анализе.

Лемма Бореля–Кантелли: Если Σₙ P(Aₙ) < ∞, то P(lim sup Aₙ) = 0 — почти наверное произойдёт лишь конечное число событий из последовательности. Если события независимы и Σₙ P(Aₙ) = ∞, то P(lim sup Aₙ) = 1 — почти наверное произойдёт бесконечно много. Этот результат используется в доказательстве сильного закона больших чисел.

Модели вероятностных пространств на практике

На практике построение вероятностного пространства — первый шаг моделирования. Для броска монеты: Ω = {H, T}, F = {∅, {H}, {T}, Ω}, P({H}) = P({T}) = 1/2. Для броска кубика: Ω = {1,...,6}, F = 2^Ω (все 64 подмножества), P равномерна. Для непрерывных случаев: Ω = ℝ, F = σ-алгебра Бореля B(ℝ), P задаётся через функцию распределения F(x) = P((-∞, x]).

Сложность выбора подходящего F отражает глубину теории. Для ℝ нельзя взять F = 2^ℝ — существуют неизмеримые множества (пример Витали), для которых невозможно корректно определить вероятность, не нарушив аддитивность. σ-алгебра Бореля B(ℝ) содержит все «разумные» подмножества и является стандартным выбором.

Численный пример: бросок трёх монет

Задача: Бросаем 3 честные монеты. Найти P(ровно 2 орла).

Шаг 1: Ω = {ООО, ООР, ОРО, ОРР, РОО, РОР, РРО, РРР}, |Ω| = 2³ = 8. Все исходы равновозможны.

Шаг 2: A = «ровно 2 орла» = {ООР, ОРО, РОО}, |A| = C(3,2) = 3.

Шаг 3: P(A) = |A|/|Ω| = 3/8 = 0.375.

Шаг 4: Проверка через формулу Бернулли: P(X=2) = C(3,2)·(1/2)²·(1/2)¹ = 3·(1/4)·(1/2) = 3/8. ✓ σ-алгебра F = 2^Ω здесь содержит 2⁸ = 256 подмножеств, и мера P задана на каждом.