Stopping-time sigma-algebra (source code)

= Stopping-time sigma-algebra
{title2=$\mathcal F_T$}

The information available at a <stopping time> $T$ is the <sigma-algebra>
$$
\mathcal F_T=\{A\in\mathcal F:A\cap\{T\leq t\}\in\mathcal F_t\text{ for every }t\geq0\}.
$$
In discrete time, $A\cap\{T=k\}\in\mathcal F_k$ for $A\in\mathcal F_T$. A <bounded stopping time> permits conditional forms of the <optional stopping theorem> with respect to this <sigma-algebra>.