3
$\begingroup$

Let $\mathcal{F}$ be the Borel $\sigma$-algebra on $(0,\infty)$ and fix $t>0$. I'm trying to show that

$$\sigma(\{[s,\infty):0

The intervals generating the $\sigma$-algebra on the left are contained in the set on the right. We may also check directly that the righthand set is a $\sigma$-algebra. So it suffices to show that

$$\sigma(\{[s,\infty):0

How to proceed from here?

Thank you.

1 Answers 1

1

Let $\mathcal B$ a $\sigma$-algebra containing $\{[s,+\infty): 0

  • $\mathcal B$ contains each interval of the form $[a,b),0
  • If $B\subset (0,t)$ then $B$ is in the trace of $\mathcal F$ on $(0,t)$, and thanks to the definition of trace topology and $\sigma$-algebra, $B$ is a Borel subset of $(0,t)$, i.e. an element of $\mathcal B(0,t)$ (see here for the argument). Such an element is necessarily in the $\sigma$-algebra generated by $\{(a,b), 0\leq a\leq b\leq t\}$, hence in $B$.
  • If $B^c\subset \mathcal F$, then by the previous case $B^c\in\mathcal B$ and since $\mathcal B$ is a $\sigma$-algebra $B\in \mathcal B$.