Gaussian-process characterization of Brownian motion
= Gaussian-process characterization of Brownian motion
A centered <Gaussian process> with almost surely continuous paths and covariance $\mathbb E[B_sB_t]=\min(s,t)$ is a standard <Brownian motion>.