1
$\begingroup$

Let $(B)_{t \geq 0}$ be a standard Brownian motion. Then $B$ is adapted to its natural filtration $(\mathcal{F}^B_t)_{t\geq 0}$. Often, we want to consider a slightly bigger filtration, ones satisfying the right-continuity condition. In that case, we define for every $t \geq 0$: \begin{align*} \mathcal{F}_t^+ = \bigcap_{s > t} \mathcal{F}^B_s. \end{align*} My questions is that is it true that, according to the definition above, \begin{align*} \mathcal{F}_t^+ = \bigcap_{n \in \mathbb{N}} \mathcal{F}^B_{t+1/n}. \end{align*}

My reasoning is as follow:

Clearly, the set on the left is contained by the set on the right. But for every $s > t$, we can find $n \in \mathbb{N}$ such that $t + 1/n < s$, so I think this implies that the set on the left is also contained by the set on the right. Is my assertion true? Is this how we actually prove that $\mathcal{F}_t^+$ is actually a $\sigma$-algebra (because countable intersection of $\sigma$-algebras is also a $\sigma$-algebra)?

  • 2
    Your reasoning is correct. But: Any intersection of $\sigma$-algebras (not necessarily only countably many) is a $\sigma$-algebra.2012-05-16

0 Answers 0