A counterexample for supremum of stopping times

1.3k Views Asked by At

Let $\mathbb{F} = \{ \mathcal{F}_t \}_{t \geq 0}$ be a continuous time filteration. $\tau : \Omega \to [0, \infty]$ is called an $\mathbb{F}$-stopping time if $\{ \tau \leq t \} \in \mathcal{F}_t$ for all $t\geq 0$.

Let $\tau_n$, $n \geq 1$ be $\mathbb{F}$-stopping times. We know that $sup_{n \geq 1} \tau_n$ is also a $\mathbb{F}$-stopping time. I want to find a counterexample such that $\tau_i$, $i \in I$ (where $I$ is uncountable) be $\mathbb{F}$-stopping times, but $sup_{i \in I} \tau_i$ is not a $\mathbb{F}$-stopping time. Any idea?

1

There are 1 best solutions below

3
On BEST ANSWER

Let the sample space be $[0,1]$ and let each element of the filtration be the borel $\sigma-algebra$. Let $I$ be some non-measurable subset and $\tau_x=\mathbb{1}(x), x\in [0,1]$. Then $\{\tau_x<t\}$ is the complement of a singleton for $x\le 1$ and $[0,1]$ otherwise so it belongs to each $F_t$, but $\{sup_{x\in I}\tau_x<t\}=\cap_{x\in I}\{\tau_x <t\}=\cap_{x\in I}\bar{x}=\bar{I}$ isn't measurable for $t< 1$ (but is measurable for times greater than 1).