Théorème de représentation de Skorokhod

En théorie des probabilités, le théorème de représentation de Skorokhod montre qu'une suite de variables aléatoires convergeant en loi peut toujours, en un certain sens, être représentée par une suite de variables aléatoires convergeant presque sûrement. Ce théorème porte le nom du mathématicien ukrainien A.V. Skorokhod.

Énoncé

Illustration du théorème de représentation de Skorokhod

Soit $(X_n{)}_{n\ge 1}$ une suite de variables aléatoires à valeurs dans un espace topologique $S$ de Lusin. Supposons que $X_n$ converge en loi vers une variable aléatoire $X$ à valeurs dans $S$ quand $n\to +\mathrm{\infty }$. Alors il existe un espace probabilisé $(\mathrm{\Omega },𝒜,\mathbb{P})$ et des variables aléatoires $Y_n$, $Y$ définies sur cet espace probabilisé $(\mathrm{\Omega },𝒜,\mathbb{P})$ telles que :

• pour chaque entier $n$, $Y_n$ et $X_n$ ont même loi ;
• les variables aléatoires $Y$ et $X$ ont même loi ;

• $Y_n$ converge $(\mathrm{\Omega },𝒜,\mathbb{P})-$presque sûrement vers $Y$.

Démonstration dans le cas réel

Dans cette section, on suppose que $S$ est la droite réelle. On note $F_n$ la fonction de répartition de $X_n$, et on note $F$ la fonction de répartition de $X$, et on considère les réciproques généralisées de $F$ et $F_n$, définies, pour $\omega$ dans $]0,1[$, par

$\begin{array}{cc}Y(\omega )& =\inf \{x\in ℝ|F(x)\ge \omega \},\\ \text{et}& \\ Y_n(\omega )& =\inf \{x\in ℝ|F_n(x)\ge \omega \}.\end{array}$

De plus, on pose

$Z(\omega )=\inf \{x\in ℝ|F(x)>\omega \}\text{et}C=\{\omega \in ]0,1[|Y(\omega )<Z(\omega )\}.$

L'idée est que la convergence de $F_n$ vers $F$ entraîne la convergence des réciproques généralisées correspondantes : Modèle:Théorème Modèle:Démonstration Modèle:Théorème Modèle:Démonstration On conclut en remarquant, à l'aide du théorème de la réciproque, que $Y_n$ et $X_n$ ont même loi, mais aussi que $Y$ et $X$ ont même loi.

Voir aussi

• Convergence de variables aléatoires
• Théorème de la réciproque
• Espace de Lusin

Références

• Modèle:Ouvrage.
• Modèle:Ouvrage.