Введение

В теории вероятностей и логике, набор событий является совместно или коллективно исчерпывающим, если по крайней мере одно из событий должно произойти. Например, при броске шестигранного кубика события 1, 2, 3, 4, 5 и 6 – это коллективно исчерпывающий набор, поскольку они охватывают весь диапазон возможных исходов. Другой способ описать коллективно исчерпывающие события – это сказать, что их объединение должно покрывать все события в пространстве элементарных исходов. Например, события А и В считаются коллективно исчерпывающими, если где S – пространство элементарных исходов. Сравните это с понятием множества взаимоисключающих событий. В таком множестве в любой момент времени может произойти не более одного события. (В некоторых формах взаимоисключения может произойти только одно событие.) События 1 и 6 являются взаимоисключающими, но не коллективно исчерпывающими. События "четное" (2, 4 или 6) и "не 6" (1, 2, 3, 4 или 5) также являются коллективно исчерпывающими, но не взаимоисключающими. В некоторых формах взаимоисключения может произойти только одно событие, независимо от того, является ли оно коллективно исчерпывающим или нет. Например, бросание определенного печенья группе из нескольких собак нельзя повторить, независимо от того, какая собака его схватит. Один из примеров события, которое является одновременно коллективно исчерпывающим и взаимоисключающим, – это подбрасывание монеты. Результат должен быть либо орлом, либо решкой, или p(орел или решка) = 1, следовательно, результаты коллективно исчерпывающи. Когда выпадает орел, решка выпасть не может, или p(орел и решка) = 0, следовательно, результаты также взаимоисключающи. Другой пример событий, которые одновременно являются коллективно исчерпывающими и взаимоисключающими, – это событие "четное" (2, 4 или 6) и событие "нечетное" (1, 3 или 5) в случайном эксперименте по броску шестигранного кубика. Эти два события взаимоисключающи, поскольку четный и нечетный исход не могут произойти одновременно. Объединение событий "четное" и "нечетное" дает пространство элементарных исходов для броска кубика, следовательно, они коллективно исчерпывающи.