A real-valued stochastic process is a Brownian motion which starts at
if the following properties are satisfied:
1. .
2. For all times ,
the increments
,
, ...,
, are independent random variables.
3. For all ,
, the increments
are normally
distributed with expectation value zero
and variance
.
4. The function
is continuous almost
everywhere. The Brownian motion
is said to be standard if
.
It is easily shown from the above criteria that a Brownian motion has a number of unique natural invariance properties including scaling invariance and invariance
under time inversion. Moreover, any Brownian motion satisfies a law of large
numbers so that
almost everywhere. Moreover, despite looking ill-behaved at first glance, Brownian motions are Hölder continuous almost
everywhere for all values . Contrarily, any Brownian motion is nowhere differentiable almost
surely.
The above definition is extended naturally to get higher-dimensional Brownian motions. More precisely, given independent Brownian
motions
which start at
,
one can define a stochastic process
by
Such a
is called a
-dimensional
Brownian motion which starts at
.