Loi forte des grands nombres - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Loi forte des grands nombres de Kolmogorov

La moyenne empirique d’une suite de variables aléatoires indépendantes, identiquement distribuées, et intégrables, converge presque sûrement vers leur moyenne mathématique (ou espérance).

Autres formulations

On note souvent :

S_{n}=X_{1}+X_{2}+\cdots+X_{n}.

Ainsi l'énoncé devient

Théorème — Pour une suite \ \scriptstyle {(X_n)}_{n>0} de v.a. i.i.d., on a :

\ \scriptstyle \left\{\text{p.s. }\tfrac{S_{n}(\omega)}{n}\text{ est une suite convergente}\right\}\Leftrightarrow\left\{\mathbb{E}\left[\left|X_{1}\right|\right]<+\infty\right\}.

De plus, si l'une de ces deux conditions équivalentes est remplie, on a:

 \ \scriptstyle \mathbb{P}\left(\omega\in\Omega\ \left|\ \lim_{n}\tfrac{S_{n}(\omega)}n=\mathbb{E}\left[X_{1}\right]\right.\right) = 1.

Énoncé usuel de la loi forte

L'énoncé ci-dessous est la forme habituelle de la loi forte des grands nombres, et est une conséquence directe (une forme affaiblie) du Théorème donné plus haut :

Théorème — Soit une suite \ \scriptstyle \left(X_{n}\right)_{n\ge 1}\ de variables aléatoires indépendantes et de même loi, intégrables. Alors

 \ \scriptstyle \mathbb{P}\left(\omega\in\Omega\ \left|\ \lim_{n}\tfrac{S_{n}(\omega)}n=\mathbb{E}\left[X_{1}\right]\right.\right) = 1.

Remarques

  • En statistiques, \ \scriptstyle \tfrac{X_1 + \cdots + X_n}{n}\ ou bien \ \scriptstyle \tfrac{S_n}{n}\ est appelée moyenne empirique des \ \scriptstyle X_i\ , et est souvent notée \ \scriptstyle \overline{X}\ .
  • On peut formuler l'hypothèse \ \scriptstyle \left\{\forall n\ge1,\ X_{n}\text{ est integrable}\right\}\ , sous différentes formes, e.g.
  • \ \scriptstyle \left\{\forall n\ge1,\ \mathbb{E}\left[\left|X_{n}\right|\right]<+\infty\right\}\ ,
  • \ \scriptstyle \left\{\forall n\ge1,\ X_{n}\in\mathcal L^1(\Omega,\mathcal A,\mathbb P)\right\}\ ,
ou bien encore, puisque les \ \scriptstyle X_{i}\ ont toutes même loi,
  • \ \scriptstyle \left\{X_{1}\text{ est integrable}\right\}\ ,
  • \ \scriptstyle \left\{\mathbb{E}\left[\left|X_{1}\right|\right]<+\infty\right\}\ ,
  • \ \scriptstyle \left\{X_{1}\in\mathcal L^1(\Omega,\mathcal A,\mathbb P)\right\}\ .
Page générée en 0.098 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise