If you believe that the completion and right-continuity of filtrations are typical abstract non sense of the general theory of stochastic processes, useless and obscure, you are maybe missing something interesting. Contrary to discrete time or space stochastic processes, continuous time and space stochastic processes lead naturally to measurability issues, when considering for instance natural objects such as running suprema or stopping times.
Negligible sets and completeness. In a probability space \( {(\Omega,\mathcal{F},\mathbb{P})} \), we say that \( {A\subset\Omega} \) is negligible when there exists \( {A’\in\mathcal{F}} \) with \( {A\subset A’} \) and \( {\mathbb{P}(A’)=0} \). We say that the \( {(\Omega,\mathcal{F},\mathbb{P})} \) is complete when \( {\mathcal{F}} \) contains the negligible subsets of \( {\Omega} \). A filtration \( {{(\mathcal{F}_t)}_{t\in\mathbb{R}_+}} \) on \( {(\Omega,\mathcal{F},\mathbb{P})} \) is complete when \( {\mathcal{F}_0} \) contains the negligible elements of \( {\mathcal{F}} \).
Completeness emerges naturally via almost sure events which are complement of negligible sets (as for running supremum below) as well as via projections of measurable sets of product spaces (as for hitting times of Borel sets below) .
We say that a process \( {{(X_t)}_{t\in\mathbb{R}_+}} \) taking values in a topological space equipped with its Borel \( {\sigma} \)-field is continuous when it has almost surely continuous trajectories. This is the case for instance of Brownian motion constructed from random series.
Measurability of running supremum from completeness. Let \( {{(X_t)}_{t\in\mathbb{R}_+}} \) be continuous, defined on a probability space \( {(\Omega,\mathcal{F},\mathbb{P})} \), and taking values in a topological space \( {E} \) equipped with its Borel \( {\sigma} \)-field \( {\mathcal{E}} \). Let \( {f:E\rightarrow\mathbb{R}} \) be a measurable function.
- If \( {(\Omega,\mathcal{F},\mathbb{P})} \) is complete then \( {\sup_{s\in[0,t]}f(X_s)} \) is measurable for all \( {t\in\mathbb{R}_+} \).
- If \( {X} \) is adapted for a complete \( {{(\mathcal{F}_t)}_{t\in\mathbb{R}_+}} \) then \( {{(\sup_{s\in[0,t]}f(X_s))}_{t\in\mathbb{R}_+}} \) is adapted.
Proof. Let \( {\Omega’\in\mathcal{F}} \) be an a.s. event on which \( {X} \) is continuous. Set \( {S_t=\sup_{s\in[0,t]}f(X_s)} \).
- We have \( {\Omega’\in\mathcal{F}} \). Next, for all \( {t\in\mathbb{R}_+} \) and \( {A\in\mathcal{E}} \), we have
\[ \Omega’\cap\{S_t\in A\} =\Omega’\cap \bigr\{\sup_{s\in[0,t]\cap\mathbb{Q}}f(X_s)\in A\bigr\}\in\mathcal{F}, \]
while \( {(\Omega\setminus\Omega’)\cap\{S_t\in A\}\subset\Omega\setminus\Omega’} \) is negligible and thus in \( {\mathcal{F}} \) by completeness.
- Same argument as before with \( {\mathcal{F}_t} \) instead of \( {\mathcal{F}} \).
Universal completeness. The notion of completeness is relative to the probability measure \( {\mathbb{P}} \). There is also a notion of universal completeness, that does not depend on the probability measure, see Dellacherie and Meyer 1978. This is not that useful in probability.
Stopping times. A map \( {T:\Omega\rightarrow[0,+\infty]} \) is a stopping time for \( {{(\mathcal{F}_t)}_{t\in\mathbb{R}_+}} \) when
\[ \{T\leq t\}\in\mathcal{F}_t \]
for all \( {t\in\mathbb{R}_+} \). Contrary to discrete time filtrations, the notion of stopping times for continuous time filtrations leads naturally to the notions of complete filtration and right continuous filtration. This is visible notably with hitting times as follows.
Hitting times as archetypal examples of stopping times. Let \( {X={(X_t)}_{t\in\mathbb{R}_+}} \) be a continuous and adapted process defined on \( {(\Omega,\mathcal{F},\mathbb{P})} \) with respect to a complete filtration \( {{(\mathcal{F}_t)}_{t\in\mathbb{R}_+}} \), and taking its values in a metric space \( {G} \) equipped with its Borel \( {\sigma} \)-field. Then, for all closed subset \( {A\subset G} \), the hitting time \( {T_A:\Omega\rightarrow[0,+\infty]} \) of \( {A} \), given by
\[ T_A=\inf\{t\in\mathbb{R}_+:X_t\in A\}, \]
with convention \( {\inf\varnothing=+\infty} \), is a stopping time.
Proof. Let \( {\Omega’} \) be the a.s. event on which \( {X} \) is continuous. On \( {\Omega’} \), since \( {X} \) is continuous and \( {A} \) is closed, we have \( {\{t\in\mathbb{R}_+:X_t\in A\}=\{t\in\mathbb{R}_+:\mathrm{dist}(X_t,A)=0\}} \), the map \( {t\in\mathbb{R}_+\mapsto\mathrm{dist}(X_t,A)} \) is continuous, and the \( {\inf} \) in the definition of \( {T_A} \) is a \( {\min} \). Now, since \( {X} \) is adapted, we have, for all \( {t\in\mathbb{R}_+} \),
\[ \Omega’\cap\{T_A\leq t\} =\Omega’\cap\bigcap_{s\in[0,t]\cap\mathbb{Q}}\{X_s\in A\} \in\mathcal{F}_t, \]
where we have also used \( {\Omega’\in\mathcal{F}_t} \) for all \( {t\in\mathbb{R}_+} \) since \( {{(\mathcal{F}_t)}_{t\in\mathbb{R}_+}} \) is complete. Moreover \( {(\Omega\setminus\Omega’)\cap\{T_A\leq t\}\subset\Omega\setminus\Omega’} \) is negligible, and thus in \( {\mathcal{F}_t} \) by completeness.
Right-continuity. A filtration \( {{(\mathcal{F}_t)}_{t\in\mathbb{R}_+}} \) is right-continuous if for all \( {t\in\mathbb{R}_+} \) we have
\[ \mathcal{F}_t=\mathcal{F}_{t^+} \quad\text{where}\quad \mathcal{F}_{t+} =\bigcap_{\varepsilon>0}\mathcal{F}_{t+\varepsilon} =\bigcap_{s>t}\mathcal{F}_s. \]
Alternative definition of stopping times. If \( {T:\Omega\rightarrow[0,+\infty]} \) is a stopping time with respect to a filtration \( {{(\mathcal{F}_t)}_{t\in\mathbb{R}_+}} \) then
\[ \{T<t\}\in\mathcal{F}_t \]
for all \( {t\in\mathbb{R}_+} \). Conversely this property implies that \( {T} \) is a stopping time when the filtration is right-continuous. Indeed, if \( {T} \) is a stopping time then for all \( {t\in\mathbb{R}_+} \) we have
\[ \{T<t\} =\bigcup_{n=1}^\infty\{T\leq t-{\textstyle\frac{1}{n}}\} \in\mathcal{F}_t, \]
Conversely \( {\{T\leq t\}\in\cap_{s>t}\mathcal{F}_s=\mathcal{F}_{t+}} \) since for all \( {s>t} \),
\[ \{T\leq t\} =\bigcap_{n=1}^\infty\{T<(t+{\textstyle\frac{1}{n}})\wedge s\} \in\mathcal{F}_{s}. \]
Note that if \( {T} \) is a stopping time then \( {\{T=t\}=\{T\leq t\}\cap\{T<t\}^c\in\mathcal{F}_t} \).
Progressively measurable processes. Recall that a process \( {{(X_t)}_{t\in\mathbb{R}_+}} \) defined on a probability space \( {(\Omega,\mathcal{F},\mathbb{P})} \) is progressively measurable for \( {{(\mathcal{F}_t)}_{t\in\mathbb{R}_+}} \) when for all \( {t\in\mathbb{R}_+} \) the map \( {(\omega,s)\in\Omega\times[0,t]\mapsto X_s(\omega)} \) is measurable for \( {\mathcal{F}_t\otimes\mathcal{B}_{[0,t]}} \). Example of progressively measurable processes include adapted right-continuous processes.
Hitting time of Borel sets. Let \( {X={(X_t)}_{t\in\mathbb{R}_+}} \) be a progressively measurable process defined on a probability space \( {(\Omega,\mathcal{F},\mathbb{P})} \) equipped with a right continuous and complete filtration \( {{(\mathcal{F}_t)}_{t\in\mathbb{R}_+}} \), and taking its values in a measurable space \( {G} \). Then for all measurable subset \( {A\subset G} \), the hitting time \( {T_A:\Omega\rightarrow[0,+\infty]} \) defined by
\[ T_A=\inf\{t\in\mathbb{R}_+:X_t\in A\}, \]
with convention \( {\inf\varnothing=+\infty} \), is a stopping time.
Proof. The debut \( {D_B} \) of any \( {B\in\mathcal{F}\otimes\mathcal{B}(\mathbb{R}_+)} \) is defined for all \( {\omega\in\Omega} \) by
\[ D_B(\omega)=\inf\{t\in\mathbb{R}_+:(\omega,t)\in B\}\in[0,+\infty]. \]
If \( {B} \) is progressive, then \( {D_B} \) is a stopping time (this is known as the debut theorem). Indeed, for all \( {t\in\mathbb{R}_+} \) the set \( {\{D_B<t\}} \) is then the projection on \( {\Omega} \) of
\[ C=\{s\in[0,t):(\omega,s)\in B\}, \]
which belongs to \( {\mathcal{B}(\mathbb{R}_+)\otimes\mathcal{F}_t} \) since \( {B} \) is progressive. Since the filtration is complete, this projection belongs to \( {\mathcal{F}_t} \), see for instance Dellacherie and Meyer Theorem IV.50 page 116. Now \( {\{D_B<t\}\in\mathcal{F}_t} \) for all \( {t\in\mathbb{R}_+} \) implies that \( {D_B} \) is a stopping time since the filtration is right continuous. Finally it remains to note that
\[ T_A=D_B\quad\text{with}\quad B=\{(\omega,t):X_t\in A\}, \]
which is progressive as pre-image of \( {\mathbb{R}_+\times A} \) by \( {(\omega,t)\mapsto X_t(\omega)} \) (\( {X} \) is progressive).
A famous mistake. This is related to a famous mistake made by Henri Lebesgue (1875 — 1941) on the measurability of projections of measurable sets in product spaces, that motivated Nikolai Luzin (1883 — 1950) and his student Mikhail Suslin (1894 — 1919) to forge the concept of analytic set and descriptive set theory.
“[…] Sans que le terme de tribu soit utilisé à l’époque, il semblait à Borel qu’aucune opération de l’analyse ne ferait jamais sortir de la tribu borélienne. C’était aussi l’avis de Lebesgue, et il avait cru le démontrer en 1905. Rarement erreur a été plus fructueuse. Au début de l’année 1917, les Comptes rendus publient deux notes des Russes Nicolas Lusin et M. Ya. Souslin. […] La projection d’un borélien n’est pas nécessairement un borélien. L’analyse classique force donc à sortir de la tribu borélienne. Entre la tribu de Borel et celle de Lebesgue se trouve la tribu de Lusin, constituée par les ensembles que Lusin appelle analytiques et qui sont des images continues de boréliens. Au cours des années 1920 s’est développée à Moscou une école mathématique extrêmement brillante, dont Lusin a été le fondateur. Ainsi Lebesgue et son œuvre ont été beaucoup mieux connus à Moscou qu’ils ne l’étaient en France. Hongrie, Pologne et Russie ont été les foyers de rayonnement de la pensée de Lebesgue et de son héritage. […]”
Jean-Pierre Kahane (2001)
Canonical filtration. It is customary to assume that the underlying filtration is right-continuous and complete. For a given filtration \( {{(\mathcal{F}_t)}_{t\in\mathbb{R}_+}} \), it is always possible to consider its completion \( {(\sigma_t)}_{t\in\mathbb{R}_+}={(\sigma(\mathcal{N}\cup\mathcal{F}_t))}_{t\in\mathbb{R}_+} \) where \( {\mathcal{N}} \) is the collection of negligible elements of \( {\mathcal{F}} \). It is also customary to consider the right-continuous version \( {{(\sigma_{t+})}_{t\in\mathbb{R}_+}} \), called the canonical filtration. A process is always adapted with respect to the canonical filtration constructed from its completed natural filtration.
Subtleties about righ-continuity of filtrations. The natural filtration of a right-continuous process is not right-continuous in general, indeed a counter example is given by \( {X_t=tZ} \) for all \( {t\in\mathbb{R}_+} \) where \( {Z} \) is a non-constant random variable. Indeed, we have \( {\sigma(X_0)=\{\varnothing,\Omega\}} \) while \( {\sigma(X_{0+\varepsilon}:\varepsilon>0)=\sigma(Z)\neq\sigma(X_0)} \). However it can be shown that the completion of the natural filtration of a Feller Markov process, including all Lévy processes and in particular Brownian motion, is always right-continuous.
Further reading.
- Claude Dellacherie and Paul-André Meyer
Probabilities and potential
North-Holland Mathematics Studies 29 (1978) - Jean-Pierre Kahane
Naissance et postérité de l’intégrale de Lebesgue
Gazette des mathématiciens 89 (2001) - Intégration – alpha et omega
On this blog (2016)