A simple proof of the ergodic theorem using nonstandard analysis

A simple proof of the individual ergodic theorem is given. The essential tool is the nonstandard measure theory developed by P. Loeb. Any dynamical system on an abstract Lebesgue space can be represented as a factor of a “cyclic” system with a hyperfinite cycle. The ergodic theorem for such a “cyclic” system is almost trivial because of its simple structure. The general case follows from this special case.