07. Теорема о продолжении меры

Построим минимальную s - алгебру, которой принадлежит поле событий F (например, борелевская s - алгебра - это минимальная s - алгебра, которая содержит поле всех полуинтервалов ненулевой длины).

Тогда доказывается, что счетно-аддитивная функция P(A) однозначно распространяется на все элементы минимальной s - алгебры и при этом ни одна из аксиом не нарушается.

Таким образом, продленное P(A) называется s - аддитивной мерой.

S - алгебра содержит ненаблюдаемые события наряду с наблюдаемыми.

Но в аксиоматической теории вероятности считается, что может произойти любое событие из s - алгебры.

Расширение поля наблюдаемых событий на s - алгебру связано с невозможностью получить основные результаты теории вероятности без понятия s - алгебры.

< Предыдущая		Следующая >