For every finite collection of positive times, is a linear transformation of the corresponding values of , so is a centered Gaussian process. If , thenThus has the covariance of Brownian motion.
Its paths are continuous for . As , put . The given almost-sure limit givesThe Gaussian-process characterization of Brownian motion now proves the time inversion of Brownian motion:
Solved by gpt-5.6-sol high.
Codex Wiki