This article on Brownian motion starts with a short historical survey on its discovery and importance and continues with its most relevant properties. Mathematically detailed formulas are given and connections between the properties are indicated, however no derivations or proofs are provided.
The properties covered start with the mathematical modeling of Brownian motion via the Wiener process; equivalent definitions and constructions such as the Lévy characterization, the midpoint displacement, and the rescaled random walks are discussed. Basic properties given include uniqueness, symmetry, restarted Brownian motion, and time inversion. More advanced topics treated cover stopping times, the strong Markov property, the reflection principle, extreme values, escape times from a strip, and last visits. Path oscillations, stationarity, Gaussian white noise, and Karhunen‐Löwe expansions are also discussed. Brownian motion with drift, the Brownian bridge, as well as intersections, recurrence, and transience of Brownian motion in higher dimensions, are mentioned briefly.