Donsker's Theorem - History

History

By the classical central limit theorem, for fixed x, the random variable G_n(x) converges in distribution to a Gaussian (normal) random variable G(x) with zero mean and variance F(x)(1 − F(x)) as the sample size n grows.

Kolmogorov (1933) showed that when F is continuous, the supremum and supremum of absolute value, converges in distribution to the laws of the same functionals of the Brownian bridge B(t), see the Kolmogorov–Smirnov test. In 1949 Doob asked whether the convergence in distribution held for more general functionals, thus formulating a problem of weak convergence of random functions in a suitable function space.

In 1952 Donsker stated and proved (not quite correctly) a general extension for the Doob-Kolmogorov heuristic approach. In the original paper, Donsker proved that the convergence in law of G_n to the Brownian bridge holds for Uniform distributions with respect to uniform convergence in t over the interval .

However Donsker's formulation was not quite correct because of the problem of measurability of the functionals of discontinuous processes. In 1956 Skorokhod and Kolmogorov defined a separable metric d, called the Skorokhod metric, on the space of cadlag functions on, such that convergence for d to a continuous function is equivalent to convergence for the sup norm, and showed that G_n converges in law in to the Brownian bridge.

Later Dudley reformulated Donsker's result to avoid the problem of measurability and the need of the Skorokhod metric. One can prove that there exist X_i, iid uniform in and a sequence of sample-continuous Brownian bridges B_n, such that

is measurable and converges in probability to 0. An improved version of this result, providing more detail on the rate of convergence, is the Komlós–Major–Tusnády approximation.