Формула полной вероятности
Формула полной вероятности позволяет вычислить вероятность интересующего события через условные вероятности этого события в предположении неких гипотез, а также вероятностей этих гипотез.
Формулировка
Вероятность события , которое может произойти вместе с одним из событий , равна сумме парных произведений вероятностей каждого из этих событий на соответствующие им условные вероятности наступления события .
Доказательство
События образуют полную группу событий, значит событие можно представить в виде следующей суммы:
События несовместны, значит и события тоже несовместны. Тогда можно применить теорему о сложении вероятностей несовместных событий:
При этом
Окончательно получаем:
Замечание
Формула полной вероятности также имеет следующую интерпретацию. Пусть — случайная величина, имеющая распределение
- .
Тогда
- ,
т.е. априорная вероятность события равна среднему его апостериорной вероятности.