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

Вероя́тностное простра́нство — понятие, введённое А. Н. Колмогоровым в 30-х годах XX века для формализации понятия вероятности, которое дало начало бурному развитию теории вероятностей как строгой математической дисциплины.

История возникновения понятия

В 1904 году Анри Лебег опубликовал свой курс[1], посвящённый интегральному исчислению. В нём французский математик обстоятельно рассмотрел понятие интеграла, осветил его эволюцию с момента изобретения этого понятия Ньютоном и Лейбницем до начала 20 века. В конце этого курса Лебег приводит своё определение интеграла. Приведённая им конструкция впоследствии станет известна под названием интеграл Лебега.

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

В 1933 Андрей Колмогоров в своей работе «Основные понятия теории вероятностей» вводит систему аксиом, известную ныне как аксиоматика Колмогорова[2][3], которая описывает схему, позволяющую работать с широким классом случайных процессов не описываемых существовавшими до этого преимущественно дискретными схемами.

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

Определение

Вероятностное пространство[4] — это тройка $(\Omega ,{\mathfrak {A}},\mathbb {P} )$

$\Omega$ — произвольное непустое множество, элементы которого называются элементарными событиями, исходами или точками;
${\mathfrak {A}}$ — сигма-алгебра подмножеств $\Omega$ , называемых (случайными) событиями;
$\mathbb {P}$ — вероятностная мера или вероятность, то есть сигма-аддитивная конечная мера, такая что $\mathbb {P} (\Omega )=1$ .

Замечания

Элементарные события (элементы $\Omega$ ), по определению, — это исходы случайного эксперимента, из которых в эксперименте происходит ровно один.
Каждое случайное событие (элемент ${\mathfrak {A}}$ ) — это подмножество $\Omega$ . Говорят, что в результате эксперимента произошло случайное событие $A\subseteq \Omega$ , если (элементарный) исход эксперимента является элементом $A$ .
Требование, что ${\mathfrak {A}}$ является сигма-алгеброй подмножеств $\Omega$ , позволяет, в частности, говорить о вероятности случайного события, являющегося объединением счётного числа элементарных событий, а также о вероятности дополнения любого события.

Частные случаи вероятностных пространств

Классическое вероятностное пространство[5]

Пусть $\Omega =\{\omega _{1},\ldots ,\omega _{n}\}$ — конечное множество, содержащее $\vert \Omega \vert =n$ элементов. В качестве сигма-алгебры удобно взять семейство подмножеств $\Omega$ . Его часто символически обозначают $2^{\Omega }$ . Легко показать, что общее число членов этого семейства, то есть число различных случайных событий, как раз равно $2^{\vert \Omega \vert }$ , что объясняет обозначение. Вероятностью события полагают отношение числа элементарных исходов для этого события к общему числу исходов:

\mathbb {P} (A)={\frac {n_{A}}{n}}

,

где $A\subset \Omega$ , и $\vert A\vert =n_{A}$ — число элементарных исходов, принадлежащих $A$ . В частности, вероятность любого элементарного события:

\mathbb {P} (\{\omega \})={\frac {1}{n}},\;\forall \omega \in \Omega .

Пример

Рассмотрим эксперимент с бросанием уравновешенной монеты. Естественным будет взять два события: выпадение герба ( $\Gamma$ ) и выпадение решки ( $\mathrm {P}$ ), то есть $\Omega =\{\Gamma ,\mathrm {P} \}.$ Тогда ${\mathfrak {A}}=\{\{\Gamma \},\{\mathrm {P} \},\{\Gamma ,\mathrm {P} \},\varnothing \},$ и вероятность можно посчитать следующим образом:

\mathbb {P} (\{\Gamma \})={\frac {1}{2}},\;\mathbb {P} (\{\mathrm {P} \})={\frac {1}{2}},\;\mathbb {P} (\{\Gamma ,\mathrm {P} \})=1,\;\mathbb {P} (\varnothing )=0.

Таким образом определена тройка $(\Omega ,{\mathfrak {A}},\mathbb {P} )$ — вероятностное пространство, в рамках которого можно рассматривать различные задачи.

Дискретные вероятностные пространства[6]

Пусть $\Omega =\{\omega _{1},\ldots ,\omega _{n},\ldots \}$ — счетное множество, ${\mathfrak {A}}$ — набор всех подмножеств $\Omega$ . Пусть $p_{k}$ , $k=1,2,\ldots ,$ — неотрицательные числа такие, что $\sum _{k=1}^{\infty }p_{k}=1$ . Тогда для любого события $A\in {\mathfrak {A}}$ положим

\mathbb {P} \left(A\right)=\sum _{k\in \{i|\omega _{i}\in A\}}p_{k}

Если $p_{k}=0$ при $k>n$ , то имеем конечное пространство элементарных исходов $\Omega =\{\omega _{1},\ldots ,\omega _{n}\}$ . В случае $p_{1}=p_{2}=\cdots =p_{n}={\frac {1}{n}}$ получаем классическое определение вероятности.

Геометрические вероятности[7]

Пусть $\Omega$ — ограниченное множество $n$ -мерного евклидова пространства, обладающее объёмом. Пусть ${\mathfrak {A}}$ — система подмножеств $\Omega$ , имеющих объём. Тогда для любого события $A\in {\mathfrak {A}}$ положим

\mathbb {P} \left(A\right)={\frac {\mu \left(A\right)}{\mu \left(\Omega \right)}}

где $\mu \left(C\right)$ — объём множества $C$ .

Литература

Henri Leon Lebesgue. Leçons sur l'intégration et la recherche des fonctions primitives professées au Collège de France. — Paris: Gauthier-Villars, 1904.
Колмогоров А. Н. Основные понятия теории вероятностей = Grundbegriffe der Wahrscheinlichkeitsrechnung. — М.- Л.: ОНТИ, 1936. — 80 с.
Майстров Л. Е. Теория вероятностей. Исторический очерк. — Μ.: Наука, 1967. — 321 с.
Чистяков В. П. Курс теории вероятностей. — 3-е изд.. — М.: Наука, 1987. — 240 с.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[_90ab368d3e27ffd9-1] Lebesgue, 1904.

[_0870a2d9f00a2165-2] Колмогоров, 1936.

[_5400dc9055b4ea7d-3] Майстров, 1967, с. 312.

[_b78dcde097fb512d-4] Чистяков, 1987, с. 11-22.

[_d87360c673cb8722-5] Чистяков, 1987, с. 24-29.

[_c42568f84c96bac1-6] Чистяков, 1987, с. 29.

[_793f1cc63de4477a-7] Чистяков, 1987, с. 29-31.