Convergence en mesure

Modèle:Confusion En mathématiques et plus particulièrement en théorie de la mesure, la convergence en mesure est une notion de convergence de suite de fonctions mesurables qui généralise la notion de convergence en probabilité.

Définition

Soit $(X,𝒜,\mu )$ un espace mesuré et $(Y,d)$ un espace métrique séparable. Soit $f,(f_n{)}_{n\in \mathbb{N}}:X\to Y$ des fonctions mesurables. On dit que $(f_n{)}_{n\in \mathbb{N}}$ converge en mesure vers $f$ si pour tout $\epsilon >0$

$\underset{n\to \mathrm{\infty }}{\lim }\mu \{x|d(f_n(x),f(x))>\epsilon \}=0$.

Lorsque $\mu$ est une mesure de probabilité et que $(Y,d)$ est l'espace des nombres réels muni de la distance euclidienne, on retrouve la définition de la convergence en probabilité de variables aléatoires réelles.

Propriétés

• Si $\mu$ est une mesure finie, autrement dit, si $\mu (X)<\mathrm{\infty }$, alors la convergence presque partout entraîne la convergence en mesure.
• De manière générale, si $(f_n{)}_{n\in \mathbb{N}}$ converge en mesure vers $f$ alors il existe une sous suite $(f_{\varphi (n)}{)}_{n\in \mathbb{N}}$ qui converge presque partout vers $f$.
• Si $(Y,d)$ est l'espace des nombres réels muni de la distance euclidienne alors, pour tout $p\in [1,+\mathrm{\infty }]$, la convergence pour la norme $L^p$ implique la convergence en mesure.
• Pour tout $f,g:X\to Y$ mesurables, posons $e_{\mu }(f,g):=\inf \{\epsilon |\mu \{x|d(f(x),g(x))>\epsilon \}<\epsilon \}$ (avec la convention $\inf \mathrm{\varnothing }=+\mathrm{\infty }$). Posons aussi $d_{\mu }(f,g):=\frac{e_{\mu }(f,g)}{1+e_{\mu }(f,g)}$ (avec la convention $\frac{+\mathrm{\infty }}{1+\mathrm{\infty }}=1$). Alors $d_{\mu }$ est une distance. La convergence en mesure est équivalente à la convergence pour la distance $d_{\mu }$. De plus si l'espace $(Y,d)$ est complet alors l'espace des fonctions mesurables de $X$ dans $Y$ muni de la distance $d_{\mu }$ est complet aussi.