Inégalité DKW

En probabilités et statistiques, l'inégalité DKW (Dvoretzky-Kiefer-Wolfowitz) précise à quel point la fonction de répartition empirique sera proche de la fonction de répartition théorique de la variable aléatoire étudiée. Cette inégalité est établie par les mathématiciens Aryeh Dvoretzky, Jack Kiefer et Jacob Wolfowitz qui en 1956 l'ont démontrée, mais avec une constante multiplicative indéterminée. Ce n'est qu'en 1990 que Pascal Massart montre que l'inégalité était vraie pour la constante $C=2$, confirmant ainsi une conjecture de Birnbaum et McCarty.

Énoncé

Soit $n\in {\mathbb{N}}^{*}$ un entier naturel non nul fixé et $X_1,\dots ,X_n$ des variables aléatoires réelles indépendantes et identiquement distribuées (iid) de fonction de répartition $F$. On note $F_n$ la fonction de répartition empirique définie par

$F_n(t)=\frac{1}{n}\sum _{i=1}^n{\mathrm{𝟏}}_{\{X_i\le t\}},\mathrm{\forall }t\in ℝ.$

L'inégalité DKW borne la probabilité que la fonction de répartition empirique diffère de la fonction de répartition d'une valeur plus élevée que $\epsilon$ uniformément sur $ℝ$. Formellement, l'inégalité DKW par rapport à un côté est donnée par :

$\mathbb{P}(\underset{t\in ℝ}{\sup }(F_n(t)-F(t))>\epsilon )\le e^{-2n{\epsilon }^2},\mathrm{\forall }\epsilon \ge \sqrt{\frac{1}{2n}\ln 2}.$

Cette inégalité entraîne l'inégalité par les deux côtés suivante (qui n'exige pas de conditions sur $\epsilon$) :

$\mathbb{P}(\underset{t\in ℝ}{\sup }|F_n(t)-F(t)|>\epsilon )\le 2e^{-2n{\epsilon }^2},\mathrm{\forall }\epsilon >0.$

Ce résultat renforce le théorème de Glivenko-Cantelli, appelé théorème fondamental de la statistique, qui précise lui que la fonction de répartition empirique $F_n$ converge uniformément vers la fonction de répartition $F$. En effet, elle quantifie la vitesse de convergence quand $n$ tend vers l'infini. Elle permet également d'estimer la queue de probabilité de la statistique de Kolmogorov-Smirnov.

Voir également

Inégalité de concentration - résumé des inégalités de concentration pour les variables aléatoires.

Inégalité de Berry-Esseen - inégalité concernant également la fonction de répartition.