Poincaré Recurrence Theorem

Theorem
Let $\struct {X, \BB, \mu}$ be a probability space.

Let $T: X \to X$ be a measure-preserving transformation.

For all $A \in \BB$:


 * $\ds \map \mu {A \setminus \bigcap_{N \mathop = 1}^\infty \bigcup_{n \mathop = N}^\infty T^{-n} \sqbrk A} = 0$

That is, for $\mu$-almost all $x\in A$ there are integers $0 < n_1 < n_2 < \cdots$ such that $\map {T^{n_i} }x \in A$.