# Théorème de Prokhorov

En mathématiques, et plus précisément en théorie de la mesure, le théorème de Prokhorov relie le concept de tension à la compacité relative dans l'espace des mesures de probabilité, ou plus généralement des mesures finies. Ce théorème porte le nom du mathématicien Iouri Prokhorov.

## Définitions

Soit $\Omega$ un espace topologique complètement régulier. Cette hypothèse couvre les deux cas particuliers importants : espace localement compact et espace métrisable.
${\mathcal {C}}_{b}(\Omega )$ désigne l'espace de Banach des fonctions continues bornées sur $\Omega$ (muni de la norme uniforme) et ${\mathcal {C}}_{0}(\Omega )$ le sous-espace des fonctions nulles à l'infini (c'est-à-dire les fonctions $f$ telles que pour tout $\epsilon >0$, il existe un compact $K\subset \Omega$ tel que $\forall x\in \Omega \setminus K\quad \vert f(x)\vert <\epsilon$).
D'après le théorème de représentation de Riesz, le dual de ${\mathcal {C}}_{0}(\Omega )$ est l'espace ${\mathcal {M}}_{b}(\Omega )$ des mesures de Radon bornées. Il contient l'ensemble ${\mathcal {M}}_{b}^{+}(\Omega )$ des mesures positives bornées et le sous-ensemble ${\mathcal {P}}$ des mesures de probabilité.
On rappelle que :
* ${\mathcal {M}}_{b}(\Omega )$ est muni de deux topologies faibles (qui coïncident si $\Omega$ est compact) :
** ${\mathfrak {S}}{\big{\mathcal {M}}_{b}(\Omega ),{\mathcal {C}}_{0}(\Omega ){\big )}$ (topologie faible-*) : la topologie de la convergence simple sur ${\mathcal {C}}_{0}(\Omega )$,
** ${\mathfrak {S}}{\big{\mathcal {M}}_{b}(\Omega ){\big )},{\mathcal {C}}_{b}(\Omega ){\big )}$ (topologie étroite) : la topologie (plus fine) de la convergence simple sur ${\mathcal {C}}_{b}(\Omega )$ ;
* le cône convexe ${\mathcal {M}}_{b}^{+}(\Omega )$ est *-faiblement fermé.

## Énoncé

   Sur un espace complètement régulier, si un ensemble de mesures de probabilité est tendu, alors il est relativement compact pour la topologie étroite.
   La réciproque est vraie si l'espace vérifie une hypothèse un peu plus forte comme localement compact ou polonais.
Si l'espace $\Omega$ est compact, la tension est trivialement toujours vérifiée en prenant $\forall \epsilon >0\quad K_{\epsilon }=\Omega$, mais dans ce cas le théorème n'est qu'une expression inutilement compliquée du théorème de Banach-Alaoglu.
Sens direct.
Toute fonction continue bornée sur $\Omega$ se prolonge de façon unique en une fonction continue sur le compactifié de Stone-Čech ${\check {\Omega }}$, et toute mesure de Radon bornée sur $\Omega$ se prolonge en une mesure de Radon sur ${\check {\Omega }}$ (mais il y a des mesures sur ${\check {\Omega }}$ qui ne sont pas associées à des mesures sur $\Omega$). La boule unité de ${\mathcal {M}}_{b}({\check {\Omega }})$ est étroitement compacte (ou *-faiblement : les deux topologies coïncident puisque ${\check {\Omega }}$ est compact), il suffit donc de montrer que la condition de Prokhorov implique que l'adhérence étroite ${\overline {M}}$ de $M$ dans ${\mathcal {M}}_{b}({\check {\Omega }})$ est contenue dans ${\mathcal {M}}_{b}(\Omega )$.
Pour tout compact $K\subset \Omega$ la fonction indicatrice $1_{K}$ est « s.c.s. » (semi-continue supérieurement) et bornée, donc enveloppe inférieure de fonctions continues bornées sur $\Omega$, donc de fonctions continues $\phi _{i}$ sur ${\check {\Omega }}$ ; la fonction $\psi _{K}:\mu \mapsto \psi _{K}(\mu )=\mu (K)$ est donc s.c.s. sur ${\mathcal {M}}_{b}^{+}({\check {\Omega }})$ comme enveloppe inférieure des $\mu \mapsto \mu (\phi _{i})$.
Appliquons cela à l'un des $K_{\epsilon }$ de l'énoncé. Soit $\mu \in {\overline {M}}$. Il existe un voisinage $V$ de $\mu$ tel que $\forall \lambda \in V\quad \lambda (K_{\epsilon })<\mu (K_{\epsilon })+\epsilon$, or ce voisinage rencontre $M$, donc contient une probabilité $\lambda$ telle que $\lambda (K_{\epsilon })>1-\epsilon$, donc $\mu (K_{\epsilon })>1-2\epsilon$.
Par conséquent, en prenant successivement $\epsilon =1/n$, on obtient $\forall n\quad \mu (\Omega )\geqslant 1-2/n$ donc $\mu (\Omega )=1$.
Réciproque : démonstration pour $\Omega$ localement compact.
Soit $A$ une partie compacte de ${\mathcal {P}}$, et soit $\epsilon >0$. Pour toute probabilité $\mu \in A$ il existe un compact $K_{\mu }\subset \Omega$ tel que $\mu (K_{\mu })>1-\epsilon$. Comme $\Omega$ est localement compact, $K_{\mu }$ a un voisinage ouvert $U_{\mu }$ d'adhérence compacte.
Le complémentaire $F_{\mu }$ de $U_{\mu }$ est un fermé tel que $\mu (F_{\mu })<\epsilon$, et l'application $\lambda \mapsto \lambda (F_{\mu })$ est s.c.s. donc il existe un voisinage ouvert $V_{\mu }$ de $\mu$ tel que $\forall \lambda \in V_{\mu }\quad \lambda (F_{\mu })<\epsilon$. Les $V_{\mu }$ sont un recouvrement ouvert de $A$, on peut en extraire un sous recouvrement fini par $V_{\mu _{1}},\dots ,V_{\mu _{n}}$. La réunion des ${\overline {U}}_{\mu _{i}},i=1\dots n$ est un compact $K$ tel que $\forall \mu \in A\quad \mu (K)>1-\epsilon$.

## Généralisations

Une première généralisation, facile, passe des probabilités aux mesures positives finies :
   Sur un espace complètement régulier, si un ensemble de mesures positives finies est tendu et borné (au sens de la norme sur ${\mathcal {M}}_{b}(\Omega )$), alors il est relativement compact pour la topologie étroite.
   La réciproque est vraie si l'espace vérifie une hypothèse un peu plus forte, par exemple localement compact ou polonais.
C'est une simple adaptation de la démonstration pour les probabilités :
Sens direct.
Soit $R$ tel que $\forall \mu \in M\quad \Vert \mu \Vert \leqslant R$ ($M$ est bornée, donc il existe de tels $R$).
La boule fermée de rayon $R$ de ${\mathcal {M}}({\check {\Omega }})$ est vaguement compacte, il suffit donc de montrer que la condition de Prokhorov implique que l'adhérence étroite ${\overline {M}}$ de $M$ dans ${\mathcal {M}}({\check {\Omega }})$ est contenue dans ${\mathcal {M}}(\Omega )$.
Soit $\epsilon >0$ et $K_{\epsilon }$ le compact associé. L'application $\lambda \mapsto {\lambda }({\check {\Omega }}\setminus K_{\epsilon })$ est semi-continue inférieurement sur ${\mathcal {M}}_{b}^{+}({\check {\Omega }})$, donc pour toute mesure $\mu \in M$, il existe un voisinage (étroit) ouvert de $\mu$ tel que $\forall \lambda \in V_{\mu }\quad {\lambda }({\check {\Omega }}\setminus K_{\epsilon })>\mu ({\check {\Omega }}\setminus K_{\epsilon })-\epsilon$, et il existe $\lambda \in V_{\mu }\cap M$, qui vérifie donc ${\lambda }({\check {\Omega }}\setminus K_{\epsilon })={\lambda }(\Omega \setminus K_{\epsilon })<\epsilon$ (en effet $\lambda$ est portée par $\Omega$). On en déduit $\mu ({\check {\Omega }}\setminus K_{\epsilon })<2\epsilon$.
On sait que $\forall K\subset \Omega ,\mu ({\check {\Omega }}\setminus \Omega )\leqslant \mu ({\check {\Omega }}\setminus K)$ ; en appliquant cela pour tous les $\epsilon =1/2^{n}$, on obtient $\mu ({\check {\Omega }}\setminus \Omega )=0$.
Réciproque : démonstration pour $\Omega$ localement compact.
Soit $A$ étroitement compact dans ${\mathcal {M}}_{b}^{+}(\Omega )$.
Soit $\epsilon >0$ ; pour toute $\mu \in A$ il existe un compact $K_{\mu }$ tel que $\mu (\Omega \setminus K_{\mu })<\epsilon$.
Comme $\Omega$ est localement compact, $K_{\mu }$ a un voisinage ouvert $U_{\mu }$ d'adhérence compacte.
Le complémentaire $F_{\mu }$ de $U_{\mu }$ est un fermé tel que $\mu (F_{\mu })<\epsilon$, et l'application $\lambda \mapsto \lambda (F_{\mu })$ est s.c.s., donc il existe un voisinage ouvert $V_{\mu }$ de $\mu$ tel que $\forall \lambda \in V_{\mu }\quad \lambda (F_{\mu })<\epsilon$. Les $V_{\mu }$ sont un recouvrement ouvert de $A$, on peut en extraire un sous recouvrement fini par $V_{\mu _{1}},\dots ,V_{\mu _{n}}$.
La réunion des ${\overline {U}}_{\mu _{i}},i=1\dots n$ est un compact $K$ tel que $\forall \mu \in A\quad \mu (\Omega \setminus K)<\epsilon$.
$A$ est borné car $\forall \mu \in {\mathcal {M}}_{b}^{+}(\Omega ),\Vert \mu \Vert =\mu (1)$ ; la fonction constante 1 étant évidemment continue bornée sur $\Omega$, l'ensemble des $\mu (1)$ lorsque $\mu$ parcourt le compact étroit $A$ est borné.
Le théorème est encore vrai si l'on supprime l'hypothèse de positivité :
   Sur un espace complètement régulier, si un ensemble de mesures finies est tendu et borné (au sens de la norme sur ${\mathcal {M}}_{b}(\Omega )$), alors il est relativement compact pour la topologie étroite.
   La réciproque est vraie si $\Omega$ vérifie une hypothèse un peu plus forte, par exemple localement compact ou polonais.
Mais il faut prendre garde que la définition de la tension porte alors non pas sur les mesures $\mu \in M$ elles-mêmes mais sur leurs variations totales $\vert \mu \vert$. Les démonstrations données ci-dessus ne s'adaptent pas facilement à ce nouveau contexte, car l'application $\mu \mapsto \vert \mu \vert$ n'est pas étroitement continue.
Exemple : prendre sur $[0,\pi ]$ les mesures de densité $\sin(nx)$ : la suite $(\mu _{n})$ converge étroitement vers la mesure nulle mais la suite $(\vert \mu _{n}\vert )$ converge vers la mesure de densité constante ${\frac {2}{\pi }}$ ; variante : on prend $\lambda _{2n}=\mu _{n}$ comme précédemment, et $\lambda _{2n+1}=0$ ; la suite $(\lambda _{n})$ tend encore étroitement vers la mesure nulle, mais la suite $(\vert \lambda _{n}\vert )$ diverge. De plus, les arguments de semi-continuité ne sont plus valables.
Bogachev 2007 donne une démonstration dans le cas où $\Omega$ est un espace polonais, et des variantes et contre-exemples. Bourbaki 1969 et Jarchow 1981 donnent des démonstrations dans le cas général où $\Omega$ est un espace complètement régulier.