Famille indépendante

[ Definition ]
Soit \(\{A_1,\ldots, A_N\}\) une famille finie d’évènements d’un espace de probabilité \((\Omega,\mathcal{A},P)\). On dit que c’est une famille indépendante ( on dit parfois un "système indépendant d’évènements") si pour toute partie non vide \(I\) de \(\{1,2,\ldots,N\}\) on a \[P(\cap_{i\in I}A_i)=\prod_{i\in I}P(A_i).\]
En savoir plus