Оглавление (стр. 10 )

Определение. Система подмножеств множества называется - алгеброй, если она удовлетворяет следующим условиям:

, . Если , то . Если - некоторое счетное семейство подмножеств и при всех , то подмножества и также принадлежат .

Следующее определение дает нам способ задания интересующих нас - алгебр.

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

Таким образом, если , то - - алгебра, , и если - другая - алгебра, обладающая этим свойством, то .

Можно показать, что для любого класса подмножеств - алгебра, порожденная данным классом, существует и единственна.

Воспользуемся описанной выше конструкцией для определения борелевской - алгебры на числовой прямой (Аналогичным образом можно определить борелевскую - алгебру на любом отрезке числовой прямой).

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

*Теорема. Борелевская - алгебра на числовой прямой содержит следующие подмножества:

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

Доказательство.

Каждую точку можно представить в виде . Все интервалы – борелевские множества, и их счетное пересечение – также борелевское. Утверждение следует из 1) и равенств , , . Множество рациональных точек является борелевским, как счетное объединение отдельных точек. Множество иррациональных точек является борелевским, как дополнение к множеству рациональных точек. Каждое открытое множество является борелевским, как объединение счетного числа интервалов. Каждое замкнутое множество является борелевским, как дополнение к открытому множеству. Каждое множество вида является борелевским, как замкнутое множество.

Пример множества, не являющегося борелевским, привести трудно. Все множества, имеющие практический интерес, являются борелевскими.

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

, , Если - класс событий, не более, чем счетно, при всех , то верно равенство .

Последнее равенство называется свойством счетной аддитивности вероятности.

Замечание. Условия 1) и 2) называются аксиомами Колмогорова.

Определение. Тройка , где - множество (называемое множеством элементарных исходов), - - алгебра (называемая - алгеброй событий), - функция, обладающая свойствами 1) – 2) предыдущего определения (называемая вероятностью), называется вероятностным пространством.

Теорема. Вероятность обладает следующими свойствами:

, , , .

Доказательство.

1) – 3) доказывается точно так же, как в конечном случае. 4) примем без доказательства.

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

Замечание. При , то если на прямой, - это длина или сумма длин; при , то есть на плоскости, - это площадь или сумма площадей; при , то есть в пространстве, - это объем или сумма объемов.