Kolmogorov-Smirnov theorem (source code)

= Kolmogorov-Smirnov theorem
{c}

For an empirical distribution function based on an independent sample from a continuous distribution $F$,
$$
\sqrt n\sup_x|\widehat F_n(x)-F(x)|
\xrightarrow{d}\sup_{0\leq t\leq1}|B(t)|,
$$
where $B$ is a <Brownian bridge>.

This limit calibrates the <Kolmogorov-Smirnov test>; the test compares an empirical distribution with its null distribution using the supremum discrepancy.