Filtration (probability theory, $({\mathcal{F}}_t)$)

A filtration is an increasing family of sigma-algebras: ${\mathcal{F}}_s\subseteq {\mathcal{F}}_t$ whenever $s\le t$. It represents the information available as time passes.

On $(0,1{]}^d$, the dyadic filtration is generated by the partitions into half-open cubes of side $2^{-n}$. The conditional expectation of an integrable function is its average on each atom. The increasing partitions generate the Borel sigma-algebra. Step functions on these partitions are dense in $L^1$; approximation and the Doob maximal inequality show that their conditional averages converge in $L^1$ and almost everywhere to the original function.

A filtered probability space is a probability space together with an increasing family of sigma-algebras ${\mathcal{F}}_t\subseteq \mathcal{F}$ describing the information available by time $t$.

The usual conditions are completeness and right continuity of a filtration: ${\mathcal{F}}_0$ contains all subsets of null events in the ambient probability space, and ${\mathcal{F}}_t={\bigcap }_{s>t}{\mathcal{F}}_s$. They allow the standard continuous-time martingale, stopping time and stochastic integration theorems to be used without repeated augmentation qualifications. An absolute continuity of measures change preserves old null sets but can introduce new ones; the usual completion under the new measure may therefore be understood when needed.

For a filtration $({\mathcal{F}}_t)$, the information strictly before time $t$ isA predictable process evaluated at a deterministic positive time $t$ is ${\mathcal{F}}_{t-}$-measurable.