We consider random processes defined on a probability space
(Ω,F,P)
which take values in a fixed state space. In general, the state space is at least a measurable space (S,S); in this script, however, we will only consider the case
S=Rd,S=B(Rd).
Most of the results in the first chapter can be transferred without substantial changes to the case where S is a so-called Polish space.
This definition emphasizes the dependence on the time parameter t. Conversely, for fixed time points
t1<⋯<tn
we may consider the random vector
ω⟼(Xt1(ω),…,Xtn(ω)).
The distribution of (Xt1,…,Xtn) is called the finite-dimensional marginal distribution of X at the time points (t1,…,tn).
Many interesting aspects of stochastic processes arise from the interaction between “path properties” (i.e. properties of the mappings t↦Xt(ω)) and properties of the marginal distributions. In general, we will impose certain regularity requirements on the paths of the stochastic processes under consideration.
Continuity is a path property of X which cannot be inferred from the finite-dimensional marginal distributions of X alone. Analogously, one can define right-continuous stochastic processes. Right-continuity of the path t↦Xt(ω) means that at every t≥0 the right-hand limit
s↓tlimXs(ω)
exists and agrees with Xt(ω).
The most important example of a continuous process is the (already familiar) Brownian motion.
For the existence of Brownian motion, see Steele [2003] or Bolthausen [2009]. The requirement of continuous paths excludes some important stochastic processes which possess only right-continuous paths. An important example is the Poisson process, which can be defined as follows.
Let (Ek)k∈N be a family of independent exponentially distributed random variables with parameter λ>0. Define
Nt(ω):=max{n∈N:k=1∑nEk(ω)<t}.
Then (Nt)t≥0 is called a Poisson process with rate λ. It is easy to verify that N is a right-continuous but not a continuous stochastic process.