So, what’s ergodic theory all about?

The idea is that we are given a system together with some operation on it. For instance, could be a homeomorphism of a topological space, i.e. a discrete dynamical system. We are interested in studying the iterates of this process. In many case, averaging over the iterates of this process yields in the limit something that is actually invariant under this process.

For instance, suppose is a measure-preserving transformation of a measure space (which means if is measurable, then so is and ). How might one arise? Well, suppose is a compact symplectic manifold, a Hamiltonian vector field, and the volume form. Then the flows of leave invariant the volume form , so any such diffeomorphism is a measure-preserving transformation of the measure induced by the volume form. Anyway, back to the general story. Then the action of on a function is given by

The **Birkhoff ergodic theorem** states that the averages

converge a.e. to a function invariant under , provided . In many interesting cases, the invariant limit will actually be constant a.e. For instance, this is guaranteed if the transformation is **ergodic**, i.e. has no nontrivial invariant subsets. There are many spectacular applications to number theory of this result, e.g. the existence of Khintchine’s constant. Cf. also this post of Harrison Brown. (more…)