Дискретное вероятностное пространство

{toc_noshowall}

Определение вероятностного пространства

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

Мы начинаем изучение курса теории вероятностей с исследования свойств моделей таких случайных экспериментов, которые имеют конечное или счетное число исходов. Элементарным исходом мы будем называть такое событие, которое однозначно (с определенной точки зрения) говорит о том, чем закончился эксперимент. Это сразу же накладывает на множество элементарных исходов следующее важное ограничение: в каждом испытании происходит один и только один элементарный исход.

Чтобы понять, как должна выглядеть наша модель, рассмотрим пример. Однородный игральный кубик в одинаковых условиях подбрасывают много раз и отмечают число очков, выпавших на верхней грани. Ясно, что в этом эксперименте есть 6 элементарных исходов, которые мы обозначим(означает, что выпало к очков). Пусть- относительная частота появления исхода. Тогда эти частоты обладают следующими свойствами:

1

2

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

Определение 1. Дискретным вероятностным пространством называется пара,  где -конечное или счетное множество, Р - вещественная функция, заданная на, такая, что

1)

2) 

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

Пример 1. Симметричную монету подбрасывают один раз. Здесь два элементарных исхода: выпал герб - Г, выпала цифра - Ц. Таким образом,. В силу симметрии естественно положить 5

Пример 2. Однородный симметричный игральный кубик подбрасывают один раз. В этом случае 

Другие примеры будут приведены на практических занятиях. Важную роль играет следующий частный случай дискретного вероятностного пространства.

Определение 2 . Говорят, что мы имеем задачу на классическое определение вероятности, если-конечное множество и для всех,, т.е. все исходыравновозможны.

Обычно предположение о равновозможности исходов делается из соображений симметрии задачи. Но так ли это на самом деле (т.е. верна ли модель), можно установить только из сравнения с экспериментальными данными.

 

 

До сих пор мы рассматривали только элементарные исходы, т.е. в некотором смысле простейшие события. Но кроме них нас могут интересовать и другие, более сложные события. В примере 2 мы можем рассмотреть событие А, состоящее в том, что выпало четное число очков. В теории вероятностей о каждом событии мы хотим знать только одно: произошло оно или нет в данном испытании. Каждое испытание (т.е. однократное проведение эксперимента) заканчивается появлением одного из элементарных исходов, которые однозначно описывают то, чем закончился эксперимент. В частности, по элементарному исходу  можно определить, произошло событие А или нет. Поэтому все элементарные исходы делятся на две группы: те , которые приводят к появлению события А (назовем их благоприятными этому событию), и все остальные. С точки зрения их появления в рассматриваемом эксперименте событие А и множество благоприятных для него исходов являются для нас эквивалентными. Таким образом, мы приходим к следующему определению.

Определение 3 . Случайным событием назовем произвольное подмножество А пространства элементарных исходов  Будем говорить, что событие произошло, если появился элементарный исход, ему принадлежащий, т.е. благоприятный.

Пример 3. Подбрасывают игральный кубик, А - выпала четная цифра. Тогда

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

Определение 4 .

1) Событие называется достоверным, если оно происходит всегда, и невозможным, если оно никогда не происходит. Этим событиям соответствуют все пространствои пустое множество.

2) Объединением двух событий А и В называется такое событие С, которое происходит тогда и только тогда, когда происходит хотя бы одно из этих двух событий. На языке теории множеств это соответствует операции объединения множеств и обозначается как

3) Пересечением двух событий А и В называется такое событие С, которое происходит тогда и только тогда, когда происходят оба эти события одновременно. Это соответствует операции пересечения множеств и обозначаетсяили

4) События А и В называются несовместными (непересекающимися),  если они не могут происходить одновременно. Это соответствует непересекающимся множествам и обозначается

5) Суммой событий А и В называется их объединение в случае, когда они несовместны. Это не новая операция, а частный случай определения 2 и обозначается

6) Событиеназывается противоположным к событию А, если оно происходит тогда и только тогда, когда не происходит событие А. На языке теории множеств это соответствует переходу к дополнению множества А.

7)  Разностью двух событий А и В называется такое событие С, которое происходит тогда и только тогда, когда происходит А и не происходит В. Это соответствует операции разности множеств и обозначается 

8) Говорят, что событие А влечет событие В, если при появлении события А, обязательно происходит и событие В. Это означает, что множество А есть часть (подмножество) множества В и обозначается

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

Конкретные примеры событий и операций над ними будут рассмотрены далее, а также на практических занятиях. Некоторые свойства операций над событиями собраны в следующем предложении.

Предложение 1

Задача 1. Доказать предложение 1.

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

Определение 5 . Некоторый класс событий называется алгеброй событий, если

Задача 2. Доказать, что все определенные выше операции не выводят нас за пределы алгебры 

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

 

 

До сих пор мы рассматривали только вероятности элементарных исходов. Теперь мы определим вероятности событий и исследуем некоторые их свойства.

Определение 6 . Вероятностью события А называется число

(2.1)

Пример 4. Симметричный игральный кубик подбрасывают один раз. Найти вероятность события А, состоящего в том, что выпала четная цифра.

В этом случае,.

Пример 5. Пусть мы имеем задачу на классическое определение вероятности. Если, где- общее число элементарных исходов, а- число благоприятных исходов для события

А, то

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

Соберем некоторые простейшие свойства вероятностей в виде следующего предложения.

Предложение Пусть выделена некоторая алгебра  событий, для которых определены вероятности по формуле (1). Тогда справедливы следующие свойства:

  1. Если -попарно несовместны, тоЭто свойство называется теоремой сложения или свойством конечной аддитивности вероятности.
  2. .
  3. Если, то
  4. Если, то
  5. - свойство полуаддитивности вероятности.
  6. - формула включения и исключения.

Доказательство. Основными являются свойства 1-3. Только здесь мы будем использовать в явном виде то, что мы работаем в рамках дискретного вероятностного пространства. Все остальные свойства будут выведены из этих трех.

Свойства 1 и 2 вытекают непосредственно из определений дискретного вероятностного пространства и вероятности события.

Докажем свойство 3. Пусть, вначале,. Тогда мы имеем два событияи. Так как они несовместны, то исходы распадаются на два непересекающихся класса: те, что принадлежат, и те, что принадлежат. В силу свойств рядов с неотрицательными членами имеем

Для произвольного  доказательство проводится по индукции. Предлагается это сделать самостоятельно.

Свойство 4 очевидно следует из определения вероятности события и того, что сумма вероятностей всех элементарных исходов равна 1.

Событияинесовместны, и. Используя свойства 2 и 3, имеем:

Представим события А, В ив следующем виде:

Далее используем свойство 3:

Этим доказано свойство 5.

Свойства 6,7,8,9 можно доказать аналогично (сделать самостоятельно!).

Докажем свойство 10. Для упрощения доказательства введем одно новое понятие, которое будет полезным и в других вопросах.

Индикатором события А называется функция,  заданная на пространстве элементарных исходовпо правилу:

Легко доказать следующие свойства индикаторов событий:

1)

2), 3)

Используя понятие индикатора события, можно в следующем виде записать определение вероятности события:

(2.2)

Применим этот результат к доказательству свойства 10. В силу предложения 2.1 мы имеем. Тогда для индикаторов

получаем

Дальше воспользуемся формулой (2), свойством аддитивности суммы ряда и перейдем к противоположному событию.

Из вышеизложенного следует, что основой нашей модели является некоторое множество (алгебра) событий и вероятности этих событий, обладающие свойствами 1-3 из предложения 2.2. Поэтому мы можем дать новое определение вероятностного пространства.

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

1)

2) ,

3) если-попарно несовместны , то 

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

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

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

,

где-мера Лебега( длина, площадь, объем, ...) множества

Пример 6. Из отрезкаслучайным образом выбирают точку. Найти вероятность того, что она лежит на расстоянии не более от точки 0.

В результате такого эксперимента мы получаем некоторую точку . Поэтому естественно положить . Если воспользоваться геометрическим определением вероятности, то получаем  и