Пусть - полная группа несовместных событий. Тогда выполняются условия:
(12.1)
- достоверное событие и для любых пересечение
- невозможное событие. Представим некоторое событие
в виде
. (12.2)
Далее используем свойство дистрибутивности пересечения относительно объединения, тогда
. (12.3)
Отметим, что при любых события
и
несовместны. Действительно,
. Поэтому из (12.3) следует
(12.4)
или, выражая вероятность пересечения через произведение вероятностей согласно (9.5),
. (12.5)
Равенство (12.5) называется формулой полной вероятности.
В частном случае попарно независимых событий и
условные вероятности
и преобразуется следующим образом:
.
Таким образом, для независимых событий и
формула (12.5) вырождается в равенство
.
Формула Байеса
Пусть также как в п.12 несовместные события образуют полную группу и
- некоторое событие. Согласно формуле умножения вероятностей (9.5)
|
|
. (13.1)
Отсюда
. (13.2)
Здесь знаменатель можно представить по формуле полной вероятности (12.5). Тогда
. (13.3)
Формулы (13.2) и (13.3) называются формулами Байеса.
Формулам Байеса может быть дана следующая интерпретация. Пусть событие - это исход опыта. Тогда вероятности
можно назвать априорными или доопытными, а вероятности
- апостериорными или послеопытными. Таким образом, формула (13.3) связывает между собой априорные и апостериорные вероятности событий
, т.е. позволяют учесть информацию, полученную в результате опыта и ее влияние на вероятность событий
.
Для независимых событий и
условные вероятности
, тогда правая часть (13.3) преобразуется следующим образом:
,
и формула (13.3) принимает вид .