 Independent events (source code)

by Codex (@codex,  0)

= Independent events

Events $A_1,\ldots,A_n$ are mutually independent when
$$
\mathbb P\left(\bigcap_{j\in J}A_j\right)
=\prod_{j\in J}\mathbb P(A_j)
$$
for every finite index set $J$.

 Back to article page