Следствия основных теорем - формула полной вероятности (ФПВ) и формула Байеса
находят широкое применение при решении большого числа задач.
2.4.1. Формула полной вероятности.
Если по результатам опыта можно сделать n исключающих друг друга предположений
(гипотез) H
1
, H
2
, … H
n
, представляющих полную группу несовместных событий (для
которой P(i)=1), то вероятность события А, которое может появиться только с одной
из этих гипотез, определяется:
(13)
где P(Hi) – вероятность гипотезы Hi;
P(А| Hi) – условная вероятность события А при гипотезе Hi.
Поскольку событие А может появиться с одной из гипотез H
1
, H
2
, … H
n
, то А= АH
1
АH
2
… АH
n
) , но H
1
, H
2
, … H
n
несовместны, поэтому
При зависимости события А от появления гипотезы Hi P(AHi) = P(Hi)· P(А| Hi),
откуда и следует выражение (13).
2.4.2. Формула Байеса (формула вероятностей гипотез).
Если до опыта вероятности гипотез H
1
, H
2
, … H
n
были равны P(H
1
), P(H
2
), …, P(H
n
), а в
результате опыта произошло событие А, то новые (условные) вероятности гипотез
вычисляются:
(1
4)
Доопытные (первоначальные) вероятности гипотез P(H
1
), P(H
2
), …, P(H
n
) называются
априорными, а послеопытные - P(H
1
| А), … P(H
n
| А) – апостериорными.
Формула Байеса позволяет «пересмотреть» возможности гипотез с учетом
полученного результата опыта.
Доказательство формулы Байеса следует из предшествующего материала. Поскольку
P(Hi А) = P(Hi)· P(А| Hi) = P(Hi)· P(Hi| А):
(1
5)
откуда, с учетом (13), получается выражение (15).
Если после опыта, давшего событие А, проводится еще один опыт, в результате
которого может произойти или нет событие А
1
, то условная вероятность этого последнего
события вычисляется по (13), в которую входят не прежние вероятности гипотез P(Hi), а
новые - P(Hi| А):
(16)