
Ergodic theorem
Theorem (Birkhoff-Khinchin (1931))
Consider the dynamical system (X , µ, ϕ) such that ϕ preserves the
measure µ. Let C ⊆ X be an invariant set and let f : C → R be
any integrable function. Then, the limit
¯
f(x) = lim
T →∞
1
T
Z
T
0
f(ϕ
t
(x)) dt
exists almost everywhere in C. Moreover,
¯
f(x) is independent of
the choice of the initial point x (so we write
¯
f from now on).