Théorème 5Probabilités
Loi du 0-1 de Kolmogorov
Pour une suite de variables aléatoires , on note la tribu engendrée par la réunion des tribus , (Variables aléatoires). La tribu asymptotique est : ses événements ne dépendent pas d'un nombre fini quelconque de variables.
Si les sont indépendantes, tout événement de a pour probabilité ou .
Démonstration
Par regroupement (Indépendance, (ii)), est indépendante de , qui contient .
Ainsi est indépendante de chaque , donc de leur réunion, qui est un π-système, réunion croissante de tribus. Par Indépendance, (i), est indépendante de la tribu engendrée par cette réunion, , qui contient .
Pour , , donc .
□Posons . L'événement « converge » est asymptotique : pour tout , converge si et seulement si converge, puisque , et ce dernier événement, qui s'écrit par le critère de Cauchy au moyen d'intersections et de réunions dénombrables d'événements de , appartient à cette tribu. La loi du 0-1 dit, avant tout calcul, qu'il est presque sûr ou presque impossible ; la loi forte tranche. Elle ne dit pas lequel des deux cas a lieu, et c'est là toute sa limite.