Пусть имеется группа событий H
1, H
2,..., H
n , обладающая следующими
свойствами:
1) Все события попарно несовместны: H
i H
j =
; i, j=1,2,...,n; i
j
2) Их объединение образует пространство элементарных исходов
:
=H
1U H
2U ... U H
n.
В этом случае будем говорить, что H
1, H
2,...,H
n
образуют полную группу событий. Такие
события иногда называют гипотезами.
Пусть А - некоторое событие: А
(диаграмма Венна представлена на рисунке 8).
Тогда имеет место формула полной
вероятности:
Доказательство. Очевидно: A = (A
H
1) U (A
H
2) U...U (A
H
n), причем все
события A
H
i (i = 1,2,...,n) попарно несовместны. Отсюда по теореме сложения
вероятностей получаем
Если учесть, что по теореме умножения P(A
H
i) = P(A/H
i) P(H
i) (i = 1,2,...,n), то
из последней формулы легко получить приведенную выше формулу полной
вероятности.