Definition:Filtered Probability Space/Discrete Time

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {\Omega, \Sigma, \Pr}$ be a probability space.

Let $\sequence {\mathcal F_n}_{n \mathop \in \N}$ be a discrete-time filtration of $\Sigma$.


We say that $\struct {\Omega, \Sigma, \sequence {\mathcal F_n}_{n \mathop \in \N}, \Pr}$ is a filtered probability space.


Sources