A stochastic process may also be seen as a random system evolving in time. This system carries some information. More precisely, if one observes the paths of a stochastic process up to a time
, one is able to decide if an event
has occured (here and in the sequel denotes the smallest
-field that makes all the random variables
measurable). This notion of information carried by a stochastic process is modeled by filtrations.
Definition. Let be a probability space. A filtration
is a non-decreasing family of sub-
-algebras of
.
As a basic example, if is a stochastic process defined on
,then
is a filtration. This filtration is called the natural filtration of the process and will often be denoted by
.
Definition. A stochastic process is said to be adapted to a filtration
if for every
, the random variable
is measurable with respect to
.
Of course, a stochastic process is always adapted with respect to its natural filtration. We may observe that if a stochastic process is adapted to a filtration
and that if
contains all the subsets of
that have a zero probability, then every process
that satisfies
is still adapted to the filtration .
We previously defined the notion of measurability for a stochastic process. In order to take into account the dynamic aspect associated to a filtration, the notion of progressive measurability is needed.
Definition. A stochastic process that is adapted to a filtration
, is said to be progressively measurable with respect to the filtration
if for every
,
By using the diagonal method, it is possible to construct adapted but not progressively measurable processes. However, the next proposition whose proof is let as an exercise to the reader shows that an adapted and continuous stochastic process is atomically progressively measurable.
Proposition. A continuous stochastic process , that is adapted with respect to a filtration
, is also progressively measurable with respect to it.