Les hypothèses et l’expérience
On mesure n pièces et l’on confronte l’échantillon à la loi de référence F₀ = N(50 ; 6), entièrement spécifiée à l’avance.
Les diamètres suivent la loi N(50 ; 6) : F = F₀.
La vraie loi s’écarte de F₀ quelque part : F ≠ F₀.
L’escalier empirique contre la courbe théorique
La fonction de répartition empirique Fn(x) monte d’une marche de hauteur 1/n à chaque mesure. Une fois l’escalier construit, un curseur balaie l’axe et mesure l’écart vertical |Fn(x) − F₀(x)| : le record rencontré est la statistique D.
La statistique de test
Le supremum se calcule aux seuls points de l’échantillon trié x(1) ≤ … ≤ x(n), en regardant chaque marche par le haut (D⁺) et par le bas (D⁻) : l’escalier saute, la courbe glisse, l’écart extrême est forcément au bord d’une marche.
Le corridor de Kolmogorov et la décision
Si H₀ est vraie, √n Dn suit (asymptotiquement) la loi de Kolmogorov, quelle que soit la loi F₀ — le test est dit « sans distribution ». On en tire un seuil Dcrit : traçons le corridor F₀ ± Dcrit. Tant que l’escalier reste dans le corridor, l’ajustement est acceptable ; s’il en sort, ne serait-ce qu’une fois, H₀ est rejetée.