If \mu is a probability measure on a space X which is ergodic for a transformation T the pointwise ergodic theorem of G. Birkhoff states that for every measurable functions f: X \to \mathbb R and for \mu-almost every point x \in X the time average on the orbit of x converges to the space average of f. Formally this means that
