A standard Brownian motion satisfies almost surely, has almost surely continuous sample paths, and has independent stationary increments such that
The variable is the limit of Riemann sums of the Gaussian process , so it is a Gaussian random variable. Its mean is zero, and Fubini's theorem with givesTherefore .
Let be independent and identically distributed random variables with mean zero and variance one, and let . Define the linearly interpolated processThe Donsker invariance principle, also called the functional central limit theorem, states that converges weakly in the space with the uniform norm to standard Brownian motion.
The evaluation map is continuous on in the uniform norm. The continuous mapping theorem applied to part (c) therefore givesThis recovers the central limit theorem from the functional version.
Reversing the finite summations givesThis is a Riemann sum for the continuous functional evaluated at the interpolated random walk; the interpolation error tends to zero in probability. The continuous mapping theorem and part (b) yield
Articles by others on the same topic
There are currently no matching articles.