La notion d'indépendance peut être étendue à n événements, via la notion d'indépendance des tribus, mais on va plutôt donner ici deux critères plus lisibles :
Critère 1 — n événements
sont dits indépendants si et seulement si, pour toute partie
on a
Le nombretotal de conditions à vérifier est donc le nombre de parties
possédant au moins deux éléments, à savoir :
L'indépendance des n évènements
entraîne que
ce qui correspond au choix particulier
mais est une propriété beaucoup plus faible que l'indépendance. Dans le même esprit, comme on le constate dans l'exemple ci-dessous, n événements peuvent être indépendants deux à deux, ce qui correspond à vérifier la propriété pour toutes les parties
à 2 éléments, sans pour autant être indépendants :
Exemple :
On lance deux dés et on pose
A1 : le résultat du lancer du dé n°1 est pair,
A2 : le résultat du lancer du dé n°2 est pair,
A3 : la somme des résultats des 2 lancers est impaire.
On a
alors que, pourtant, pour
choisis arbitrairement,
Critère 2 — n événements
sont dits indépendants si et seulement si, pour tout choix de
on a
où, par convention,
et
Lemme de regroupement
Lemme de regroupement — Dans un espace probabilisé soit une famille quelconque de tribus indépendantes incluses dans
Soit une partition
de
Notons
le principe de Maurey, ou méthode des différences bornées.
De manière plus élémentaire,
dans le cas fini, si (X1 , X2 , X3 , X4 , X5 ) est une famille de variables indépendantes, et si ƒ et g sont deux fonctions quelconques (mesurables), alors, par application du lemme de regroupement, ƒ(X2 , X3 , X5 ) et g(X1 , X4 ) sont deux variables indépendantes, car {2, 3, 5} et {1, 4} forment une partition de {1, 2, 3, 4, 5}.
une famille finie de tribus incluses dans
est une famille de tribus indépendantes si et seulement si
une famille quelconque de tribus incluses dans
est une famille de tribus indépendantes si et seulement si toute sous famille finie de
est une famille de tribus indépendantes (c'est-à dire, si et seulement si, pour toute partie finie I de J, est une famille de tribus indépendantes).
Lien avec l'indépendance des évènements
Définition — Une famille
d'évènements (i.e. d'éléments de
) est une famille d'évènements indépendants si et seulement si
est une famille de tribus indépendantes.
Comme la tribu
engendrée par
est décrite par :
la définition donnée dans cette section pour une famille quelconque d'évènements, une fois particularisée à une famille de
évènements, apparaît comme plus forte que les deux critères donnés plus haut. En effet, pour un choix approprié des évènements
dans la définition
donnée dans cette section, on retrouve le critère 1 (choisir tantôt
tantôt
dans
) et le critère 2 (choisir tantôt
tantôt
dans
). Pourtant les critères 1 et 2 sont effectivement équivalents à la définition via les tribus, donnée dans cette section, mais cela mérite démonstration.
Lien avec l'indépendance des variables aléatoires
Définition — Une famille
de variables aléatoires définies sur
est une famille de variables aléatoires indépendantes si et seulement si
est une famille de tribus indépendantes.
Comme la tribu
engendrée une variable aléatoire
définie de
dans
est définie par :
la définition donnée dans cette section pour une famille quelconque de variables aléatoires, une fois particularisée à une famille de
variables aléatoires, est clairement équivalente à la définition de la section Indépendance des variables aléatoires. En effet
est un abus de notation pour
et
est un abus de notation pour
Propriétés élémentaires
Propriétés —
Une sous-famille d'une famille de tribus indépendantes est une famille de tribus indépendantes : si la famille
est une famille de tribus indépendantes et si
alors est une famille de tribus indépendantes .
Si, pour tout
la tribu
est incluse dans la tribu
et si la famille
est une famille de tribus indépendantes, alors la famille
est une famille de tribus indépendantes.
Pour démontrer le premier point on applique la définition de l'indépendance à la famille
en spécialisant à une famille
d'évènements telle que
Le second point est immédiat : il suffit d'écrire la définition de l'indépendance de la famille