Для построения полной и законченной теории случайного эксперимента или теории
вероятностей, помимо введенных исходных понятий случайного эксперимента,
элементарного исхода, пространства элементарных исходов, события, введем аксиому (пока
для случая конечного или счетного пространства элементарных исходов).
Каждому элементарному исходу
i пространства
![Случай конечного или счетного числа исходов. Случай конечного или счетного числа исходов.](/pic/o.jpg)
соответствует некоторая
неотрицательная числовая характеристика P
i шансов его появления, называемая
вероятностью исхода
i , причем
(здесь суммирование ведется по всем i, для которых выполняется условие:
![Случай конечного или счетного числа исходов. Случай конечного или счетного числа исходов.](/pic/f14.jpg)
).
Отсюда следует, что 0
![Случай конечного или счетного числа исходов. Случай конечного или счетного числа исходов.](/pic/rav.jpg)
P
i ![Случай конечного или счетного числа исходов. Случай конечного или счетного числа исходов.](/pic/rav.jpg)
1для всех i.
Вероятность любого события А определяется как сумма вероятностей всех
элементарных исходов, благоприятствующих событию А. Обозначим ее Р(А).
Отсюда следует, что
1) 0
![Случай конечного или счетного числа исходов. Случай конечного или счетного числа исходов.](/pic/rav.jpg)
P(A)
![Случай конечного или счетного числа исходов. Случай конечного или счетного числа исходов.](/pic/rav.jpg)
1;
2) P
![Случай конечного или счетного числа исходов. Случай конечного или счетного числа исходов.](/pic/o.jpg)
=1;
3) P(
![Случай конечного или счетного числа исходов. Случай конечного или счетного числа исходов.](/pic/q.jpg)
)=0.
Будем говорить, что задано вероятностное пространство, если задано пространство
элементарных исходов
![Случай конечного или счетного числа исходов. Случай конечного или счетного числа исходов.](/pic/o.jpg)
и определено соответствие
Возникает вопрос: как определить из конкретных условий решаемой задачи
вероятность P(
![Случай конечного или счетного числа исходов. Случай конечного или счетного числа исходов.](/pic/w.jpg)
i ) отдельных элементарных исходов?