Théorème d'extension de Kolmogorov

En probabilité, le théorème d'extension de Kolmogorov (aussi appelé théorème d'existence de Kolmogorov ou théorème de consistance de Kolmogorov), est un théorème qui garantit l'existence d'un processus stochastique dont on impose les lois fini-dimensionnelles, si elles sont consistantes.

Énoncé

Soit $I$ un ensemble utilisé pour l'indexation, et $(E,ℰ)$ un espace mesurable, $E$ muni d'une topologie de Hausdorff. On se donne pour toute sous-famille finie $J$ de $I$ une mesure de probabilité ${\pi }_J$ intérieurement régulière sur l'espace $(E^J,{ℰ}^J)$.

Notons alors pour $I\supset J\supset K$ la projection canonique de $E^J$ sur $E^K$, $p_{JK}$.

On suppose que pour tout $K\subset J$ on a ${\pi }_K={\pi }_J\circ p_{JK}^{-1}$. Alors il existe un espace de probabilité $(\mathrm{\Omega },ℱ,\mathbb{P})$ et un processus stochastique $X:I\times \mathrm{\Omega }\to {ℝ}^n$ tels que

$\mathbb{P}(X_J\in A)={\pi }_J(A)$ pour tout $A\in {ℰ}^J$ et $J$ un sous ensemble fini de $I$.