Category:Definitions/Independent Random Variables

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Independent Random Variables.
Related results can be found in Category:Independent Random Variables.


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

Let $\struct {S, \Sigma'}$ be a measurable space.

Let $\sequence {X_n}_{n \mathop \in \N}$ be a sequence of random variables on $\struct {\Omega, \Sigma, \Pr}$ taking values in $\struct {S, \Sigma'}$.

For each $i \in \N$, let $\map \sigma {X_i}$ be the $\sigma$-algebra generated by $X_i$.


We say that $\sequence {X_n}_{n \mathop \in \N}$ is a sequence of independent random variable if and only if:

$\sequence {\map \sigma {X_n} }_{n \mathop \in \N}$ is a sequence of independent $\sigma$-algebras.