ATLAS Ouvrir dans l'atlas →

Théorème 5Probabilités

Loi du 0-1 de Kolmogorov

Pour une suite de variables aléatoires (Xn)(X_n), on note σ(Xk:k⩾n)\sigma(X_k : k \geqslant n) la tribu engendrée par la réunion des tribus σ(Xk)\sigma(X_k), k⩾nk \geqslant n (Variables aléatoires). La tribu asymptotique est 𝒯=⋂nσ(Xk:k⩾n)\mathcal T = \bigcap_n \sigma(X_k : k \geqslant n) : ses événements ne dépendent pas d'un nombre fini quelconque de variables.

Énoncé

Si les XnX_n sont indépendantes, tout événement de 𝒯\mathcal T a pour probabilité 00 ou 11.

Démonstration

Par regroupement (Indépendance, (ii)), σ(X1,…,Xn)\sigma(X_1, \dots, X_n) est indépendante de σ(Xk:k>n)\sigma(X_k : k > n), qui contient 𝒯\mathcal T.

Ainsi 𝒯\mathcal T est indépendante de chaque σ(X1,…,Xn)\sigma(X_1, \dots, X_n), donc de leur réunion, qui est un π-système, réunion croissante de tribus. Par Indépendance, (i), 𝒯\mathcal T est indépendante de la tribu engendrée par cette réunion, σ(Xk:k⩾1)\sigma(X_k : k \geqslant 1), qui contient 𝒯\mathcal T.

Pour A∈𝒯A \in \mathcal T, P(A)=P(A∩A)=P(A)2P(A) = P(A \cap A) = P(A)^2, donc P(A)∈{0,1}P(A) \in \{0, 1\}.

□
Remarque

Posons Sn=X1+⋯+XnS_n = X_1 + \cdots + X_n. L'événement « Sn/nS_n/n converge » est asymptotique : pour tout NN, Sn/nS_n/n converge si et seulement si 1n(XN+⋯+Xn)\frac1n(X_N + \cdots + X_n) converge, puisque 1n(X1+⋯+XN−1)→0\frac1n(X_1 + \cdots + X_{N-1}) \to 0, 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 σ(Xk:k⩾N)\sigma(X_k : k \geqslant N), 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.

Repose sur

Sert à

Aucune fiche de ce graphe ne l'utilise encore.
Ouvrir dans l'atlas interactif →