TeorVer / Лекция 2. Теоретико-множественная трактовка основных понятий теории вероятностей
.pdfЧАСТЬ 2
АКСИАМАТИЧЕСКОЕ ПОСТРОЕНИЕ ТЕОРИИ ВЕРОЯТНОСТЕЙ
Лекция 2
ТЕОРЕТИКО-МНОЖЕСТВЕННАЯ ТРАКТОВКА ОСНОВНЫХ ПОНЯТИЙ ТЕОРИИ ВЕРОЯТНОСТЕЙ. АКСИОМЫ ТЕОРИИ ВЕРОЯТНОСТЕЙ
И ИХ СЛЕДСТВИЯ
ЦЕЛЬ ЛЕКЦИИ: познакомить с элементарными сведениями из теории множеств; сформулировать аксиомы теории вероятностей, их следствия и правило сложения вероятностей.
Элементарные сведения из теории множеств
Множеством называется любая совокупность объектов произвольной природы, каждый из которых называется элементом множества.
Примеры множеств: множество студентов на лекции; множество точек на плоскости, лежащих внутри круга радиуса r; множество точек на числовой оси, расстояние от которых до точки b с абсциссой а не превышает d; множество натуральных чисел.
Множества обозначаются по-разному. Множество M натуральных чисел от 1 до 100 может быть записано как
M {1, 2, , 100} {i целое; 1 i 100} {i |
1, 2, , 100}. |
Множество точек на числовой оси, расстояние от которых до точки b с абсциссой а не превышает d, можно записать в виде
S { x a d} или S {x : x a d} ,
где x – абсцисса точки.
Множество точек плоскости, лежащих внутри или на границе круга радиуса r с центром в начале координат,
11
C {x2 y2 r 2} или C {( x, y) : x2 y2 r 2} ,
где x, y – декартовы координаты точки. Еще одна запись этого множества
C { r} ,
где – одна из полярных координат точки.
По числу элементов множества делятся на конечные и бесконечные. Множество M {1, 2, , 100} конечно и состоит из 100 элементов. Но
множество может состоять и из одного элемента и даже вообще не содержать элементов.
Множество всех натуральных чисел N1 {1, 2, , n, } бесконечно,
также как бесконечно множество четных чисел N2 {2, 4, , 2n, } .
Бесконечное множество называется счетным, если все его элементы можно расположить в какой-то последовательности и пронумеровать (оба
множества, N1 и N2 , являются счетными).
Множества S и C бесконечны и несчетны (их элементы нельзя пронумеровать).
Два множества A и B совпадают, если они состоят из одних и тех же элементов: {1, 4} и {4, 1} . Совпадение множеств обозначается знаком равенства: А=В. Запись a A обозначает, что объект а является элементом множества А или "а принадлежит А". Другая запись a A означает , что "а не принадлежит А".
|
Множество, не содержащее ни одного элемента, называется пустым и |
обозначается символом . |
|
|
Множество В называется подмножеством (частью) множества А, ес- |
ли |
все элементы В содержатся и в А, и обозначается как B A или |
A |
B . Например, {1, 2, 3} {1, 2, , 100} . |
Подмножество может быть равно самому множеству. Графически можно изобразить соотношение множества и подмножества, как показано на рис. 2.1, где каждая точка фигуры В принадлежит и фигуре
B |
A . |
|
Объединением (суммой) множеств А и В называется множество |
C |
A B A B , состоящее из всех элементов А и всех элементов В. |
Таким образом, объединение – это совокупность элементов, принадлежащих хотя бы одному из объединяемых множеств.
Например: {1, 2, , 100} {50, 51, , 200} {1, 2, , 200} .
12
Геометрическая интерпретация объединения двух множеств А и В показана на рис. 2.2.
A |
A |
|
B |
|
B |
|
А+B |
Рис. 2.1. Множество А и под- |
Рис. 2.2. Объединение двух |
множество В |
множеств |
Аналогично определяется объединение (сумма) нескольких множеств
|
n |
A1 A2 An |
Ai , |
i 1
где результирующее множество есть множество всех элементов, входящих хотя бы в одно из множеств: A1 , A2 , , An .
Пересечением (произведением) множеств А и В называется множест-
во D, состоящее из элементов, входящих одновременно и в А, и в B : |
|
|||||
D |
A B A |
B AB . |
|
|
A |
B |
|
|
|
|
|
||
Геометрическая интерпретация пере- |
|
|
|
|
||
сечения представлена на рис. 2.3. |
|
|
|
|
||
Аналогично определяется пересече- |
|
|
|
|
||
ние нескольких множеств |
|
|
|
|
|
|
n |
|
АB |
|
|
||
|
|
|
|
|
||
|
|
|
|
|
|
|
A1 |
A2 An |
Ai |
Рис. 2.3. Пересечение двух |
|
||
|
|
|
|
|||
|
i |
1 |
|
|
множеств |
|
|
|
|
|
|
как множество, состоящее из элементов, входящих одновременно во все множества.
Операции объединения (сложения) и пересечения (умножения) множеств обладают рядом свойств, которые аналогичны свойствам сложения и умножения чисел:
1. Переместительное свойство:
A B B A, AB BA .
2. Сочетательное свойство:
( A B) C A (B C) , ( AB)C A(BC) .
13
3. Распределительное свойство:
A(B C) AB AC .
Прибавление пустого множества и умножение на пустое множество аналогичны соответствующим операциям над числами, если считать нуль за пустое множество:
A |
A , A |
. |
Некоторые операции над множествами не имеют аналогов в обычных операциях над числами, в частности
A A A , A A A .
Аксиомы теории вероятностей и их следствия. Правила сложения вероятностей
Пользуясь элементарными сведениями по теории множеств, можно дать теоретико-множественную схему построения теории вероятностей и ее аксиоматику.
При опыте со случайным исходом имеется множество |
всех воз- |
|
можных исходов опыта. Каждый элемент этого множества |
назы- |
|
вают элементарным событием, само множество |
– пространством эле- |
ментарных событий. Любое событие А в теоретико-множественной трактовке есть некоторое подмножество множества : A . Если же в свою очередь множество А распадается на несколько непересекающихся
подмножеств |
A |
A1 |
A2 |
An ( Ai Aj |
при i |
j ), |
то события |
A1, A2 , , An |
называют "вариантами" события А. На рис. 2.4 событие А |
||||||
распадается на три варианта: |
A1, A2 , A3 . |
|
|
|
|||
Например, при бросании игральной кости пространство элемен- |
|||||||
тарных событий |
|
{1, 2, 3, 4, 5, 6} . Если событие A {выпадение |
|||||
четного числа очков} |
{2, 4, 6}, то варианты |
события |
А: |
A1 {2}; |
|||
A2 {4}; A3 |
{6}, |
|
|
|
|
|
|
т. е. A A1 |
A2 |
A3 . |
|
|
|
|
|
14
|
Подмножеством множества |
мож- |
|
|
|
|
|
|
|
|
А |
|
|||||
но рассматривать и само |
– оно будет в |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||
этом случае достоверным событием. |
Ко |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
А2 |
|
А3 |
|
|
|
|
|
|
||||||
|
А1 |
|
|
|
|
|
|
|
|
||||||||
всему пространству |
элементарных со- |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||
бытий добавляется еще и пустое множест- |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||
во |
; это множество рассматривается тоже |
|
|
|
|
|
|
|
|
|
|
|
|
||||
Рис. 2.4. Три варианта события А |
|
|
|||||||||||||||
как событие, но невозможное. |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
Теоретико-множественное толкование ранее рассмотренных свойств |
||||||||||||||||
событий сводится к следующему: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
1. |
Несколько событий |
|
A1, A2 , , An |
образуют полную |
группу, если |
n
Ai , т. е. их сумма (объединение) есть достоверное событие.
i 1
2. Два события А и В называются несовместными, если соответствующие им множества не пересекаются, т. е. AB . Несколько событий A1, A2 , , An называются попарно несовместными, если появление любо-
го из них исключает появление каждого из остальных: Ai Aj |
при i j . |
3.Суммой двух событий А и В называется событие С, состоящее в выполнении события А или события В, или обоих событий вместе. Суммой нескольких событий называется событие, состоящее в выполнении хотя бы одного из них.
4.Произведением двух событий А и В называется событие D, состоящее в совместном выполнении события А и события В. Произведением нескольких событий называется событие, состоящее в совместном выполнении всех этих событий.
5.Противоположным по отношению к событию А называется событие A , состоящее в непоявлении А и соответственно дополняющее событие А до
(см. рис. 2.5).
A
А
Рис. 2.5. Событие А и противо-
положное событие A
На основе изложенного толкования событий как множеств формулируются аксиомы теории вероятностей.
Каждому событию А ставится в соответствие некоторое число, называемое вероятностью события P( A) . Поскольку
любое событие есть множество, то вероятность события есть функция множества.
15
Эти вероятности событий должны удовлетворять следующим аксиомам:
1. Вероятность любого события заключена между нулем и единицей:
0 P( A) |
1 . |
|
2. Если А и В – несовместные события, т. е. AB |
, то |
|
P( A B) |
P( A) P(B) . |
|
Эта аксиома легко обобщается с помощью сочетательного свойства сло-
жения на любое число событий. Если Ai Aj |
при i j , то |
||
|
n |
n |
|
P( |
Ai ) |
P( Ai ) , |
(2.1) |
i |
1 |
i 1 |
|
т. е. вероятность суммы несовместных событий равна сумме вероятностей этих событий.
Эту аксиому называют "теоремой" сложения (для схемы случаев она может быть доказана), или правилом сложения вероятностей.
3 . Е сл и и м еется сч етн о е м н о жество н есо вм естн ых со бы ти й
A1, A2 , , An , ( Ai Aj |
при i j ), то |
|
P( |
Ai ) |
P( Ai ) . |
i 1 |
i 1 |
|
Эта аксиома не выводится из предыдущей аксиомы и поэтому формулируется как отдельная.
Для схемы случаев (схемы урн), т. е. для событий, обладающих свойствами полноты, несовместности и равновозможности, можно вывести классическую формулу (1.1) для непосредственного подсчета вероятностей из правила сложения (2.1).
Пусть результаты опыта представляются в виде n несовместных случаев A1, A2 , , An . Случай Ai благоприятен событию А, если он пред-
ставляет подмножество А ( Ai A ), или, иначе говоря, это вариант события А. Так как A1, A2 , , An образуют полную группу, то
n
Ai .
i 1
16
Но все случаи A1, A2 , , An несовместны, и к ним применимо правило сложения вероятностей
n |
n |
P( Ai ) |
P( Ai ) P( ) 1 . |
i 1 |
i 1 |
Кроме этого, так как все события A1, A2 , , An равновозможны, то
P( A1) P( A2 ) P( An ) 1n .
Благоприятные событию случаи образуют mA его вариантов, и так как вероятность каждого из них равна 1n , то по правилу сложения получаем
P( A) |
1 1 |
|
1 |
|
mA |
. |
||
|
|
|
|
|
||||
|
n n |
|
n n |
|||||
|
|
mA
Но это и есть классическая формула (1.1).
Следствия правила сложения вероятностей
1. Сумма вероятностей полной группы несовместных событий равна единице, т. е. если
|
n |
|
|
|
|
|
|
|
|
Ai |
; |
|
Ai Aj |
при i |
j , |
||
i |
1 |
|
|
|
|
|
|
|
то |
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
P( Ai ) |
1 . |
|
|
|
|
||
i |
1 |
|
|
|
|
|
|
|
Доказательство. |
Так как события |
A1, A2 , , An несовместны, то к |
||||||
ним применимо правило сложения |
|
|||||||
|
n |
|
|
|
|
n |
|
|
|
P( Ai ) |
|
P( |
Ai ) |
P( ) 1 . |
|||
i |
1 |
|
|
|
i |
1 |
|
|
2. Сумма вероятностей противоположных событий равна единице: |
||||||||
|
|
|
|
|
|
|
||
P( A) P( A) |
|
1 , |
|
|
так как события А и A образуют полную группу.
Правило широко используется в задачах, когда проще вычислить вероятность противоположного события.
17
3. Если события А и В совместны, т. е. AB |
, то |
|
||
P( A B) P( A) P(B) |
P( AB) . |
|
(2.2) |
|
В |
|
Доказательство. Представим A |
B как |
|
|
сумму несовместных (непересекающих- |
AB АВ AB ся) вариантов (см. рис. 2.6)
А |
A B {A, но не B} {B, но не A} |
|
Рис. 2.6. Сумма двух совместных событий
{AB} AB BA AB .
По правилу сложения
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
P( A B) P( AB ) P(BA) P( AB) . |
(2.3) |
|||||||||||||
Но |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
||||
A AB AB, P( A) |
P(AB ) P( AB) , |
|
||||||||||||
|
|
|
|
|
|
|
||||||||
B BA AB, P(B) |
P(BA) P( AB) , |
|
откуда получаем
P( AB ) P( A) P( AB), P(BA) P(B) P( AB).
После подстановки полученных выражений в (2.3) имеем
P( A B) P( A) P( AB) P(B) P( AB) P( AB) P( A) P(B) P( AB),
что и требовалось доказать.
Формулу (2.3) можно вывести и для более чем двух совместных событий.