Progressively Measurable Process

From GM-RKB
(Redirected from Progressive Process)
Jump to navigation Jump to search

A Progressively Measurable Process is a stochastic process that is adapted and measurable.

See: Adapted Process, Filtration, Sigma Algebra.



References

2016

Definition
Let
  • [math]\displaystyle{ (\Omega, \mathcal{F}, \mathbb{P}) }[/math] be a probability space;
  • [math]\displaystyle{ (\mathbb{X}, \mathcal{A}) }[/math] be a measurable space, the state space ;
  • [math]\displaystyle{ \{ \mathcal{F}_{t} \mid t \geq 0 \} }[/math] be a filtration of the sigma algebra [math]\displaystyle{ \mathcal{F} }[/math];
  • [math]\displaystyle{ X : [0, \infty) \times \Omega \to \mathbb{X} }[/math] be a stochastic process (the index set could be [math]\displaystyle{ [0, T] }[/math] or [math]\displaystyle{ \mathbb{N}_{0} }[/math] instead of [math]\displaystyle{ [0, \infty) }[/math]).
The process [math]\displaystyle{ X }[/math] is said to be progressively measurable (or simply progressive) if, for every time [math]\displaystyle{ t }[/math], the map [math]\displaystyle{ [0, t] \times \Omega \to \mathbb{X} }[/math] defined by [math]\displaystyle{ (s, \omega) \mapsto X_{s} (\omega) }[/math] is [math]\displaystyle{ \mathrm{Borel}([0, t]) \otimes \mathcal{F}_{t} }[/math]-measurable. This implies that [math]\displaystyle{ X }[/math] is [math]\displaystyle{ \mathcal{F}_{t} }[/math]-adapted.
A subset [math]\displaystyle{ P \subseteq [0, \infty) \times \Omega }[/math] is said to be progressively measurable if the process [math]\displaystyle{ X_{s} (\omega) := \chi_{P} (s, \omega) }[/math] is progressively measurable in the sense defined above, where [math]\displaystyle{ \chi_{P} }[/math] is the indicator function of [math]\displaystyle{ P }[/math]. The set of all such subsets [math]\displaystyle{ P }[/math] form a sigma algebra on [math]\displaystyle{ [0, \infty) \times \Omega }[/math], denoted by [math]\displaystyle{ \mathrm{Prog} }[/math], and a process [math]\displaystyle{ X }[/math] is progressively measurable in the sense of the previous paragraph if, and only if, it is [math]\displaystyle{ \mathrm{Prog} }[/math]-measurable.

2012