Независимые события

Определение:

Два события [math]A[/math] и [math]B[/math] называются независимыми (англ. independent), если [math] p(A \cap B) = p(A)p(B) [/math]

Определение:

Два события [math]A[/math] и [math]B[/math] называются несовместными (англ. mutually exclusive), если [math] A \cap B = \emptyset [/math]

Примеры

• Игральная кость

[math] A = \{2,4,6\}\ p(A)=\dfrac{1}{2} [/math] — вероятность выпадения чётной цифры

[math] B=\{1,2,3\}\ p(B)=\dfrac{1}{2} [/math] — вероятность выпадения одной из первых трёх цифр

[math] p(A \cap B)=p(\{2\})=\dfrac{1}{6}[/math]

[math]p(A)p(B)=\dfrac{1}{2}\cdot\dfrac{1}{2}=\dfrac{1}{4}[/math]

Получаем, что [math]p(A \cap B) \neq p(A)p(B)[/math], значит эти события не независимы.

• Карты

[math] A = \{(1,j)\}\ p(A)=\dfrac{1}{4} [/math] — вероятность выпадения карты заданной масти

[math] B=\{(i,1)\}\ p(B)=\dfrac{1}{13} [/math] — вероятность выпадения карты заданного достоинства

[math] p(A \cap B)=p(\{(1,1)\})=\dfrac{1}{52}[/math] — вероятность выпадения карты заданной масти и заданного достоинства

[math]p(A)p(B)=\dfrac{1}{4}\cdot\dfrac{1}{13}=\dfrac{1}{52}[/math]

Получаем, что [math]p(A \cap B)=p(A)p(B)[/math], значит эти события независимы.

Определение:

События называются независимыми в совокупности (англ. mutually independent), если для [math]\forall I\subset \{1, ..., k\}[/math] [math]p(\bigcap\limits_{i \in I} A_{i}) = \prod\limits_{i \in I} p(A_{i})[/math]

Определение:

События [math]A_{1}, ...,A_{n}[/math] называются попарно независимыми (англ. pairwise independent), если для [math]\forall i \neq j[/math] [math]\Rightarrow A_{i}[/math] и [math]A_{j}[/math] — независимы.

Утверждение:

Несовместные события [math]A[/math] и [math]B[/math] являются независимыми, тогда и только тогда если хотя бы одно из них является пустым множеством.

[math]\triangleright[/math]

[math]\Rightarrow [/math]: Если несовместные события являются независимыми, то выполняется [math] p(A \cap B) = p(A)\cdot p(B) [/math]. Также для несовместных событий выполняется [math] A \cap B = \emptyset [/math]. Следовательно [math] p(\emptyset) = p(A) \cdot p(B) [/math]. А это выполняется тогда и только тогда когда [math] p(A) = 0 [/math] или [math] p(B) = 0 [/math]. [math] \Leftarrow [/math]: Допустим [math]A[/math] является пустым множеством, тогда [math] A \cap B = \emptyset[/math]. Значит [math] p(A \cap B) = 0 [/math] и [math] p(A) \cdot p(B) = 0[/math]. Следовательно события [math]A[/math] и [math]B[/math] являются независимыми.

[math]\triangleleft[/math]

Замечание

Попарно независимые события и события, независимые в совокупности - это не одно и то же. Пример: тетраэдр Бернштейна. Рассмотрим правильный тетраэдр, три грани которого окрашены соответственно в красный, синий, зелёный цвета, а четвёртая грань содержит все три цвета. Событие А (соответственно, В, С) означает, что выпала грань, содержащая красный (соответственно, синий, зелёный) цвета.

Вероятность каждого из этих событий равна [math] \dfrac {1}{2} ,[/math] так как каждый цвет есть на двух гранях из четырёх. Вероятность пересечения любых двух из них равна [math] \dfrac {1}{4} ,[/math] так как только одна грань из четырёх содержит два цвета. А так как [math]\dfrac{1}{4}=\dfrac{1}{2}\cdot\dfrac{1}{2},[/math] то все события попарно независимы.

Но вероятность пересечения всех трёх тоже равна [math] \dfrac {1}{4} ,[/math] а не [math] \dfrac {1}{8} ,[/math] т.е. события не являются независимыми в совокупности.

Ссылки и источники

• Независимость событий

• Википедия: Независимость (теория вероятностей)

• Дискретный анализ, Романовский И. В.