Ergodic theory

Remark: In exercise 3, note that A_N^f is not T-invariant in general. However, after establishing the existence of f^*, it is easy to show that f^* is T-invariant by using the triangle inequality and recalling that the Koopman operator is an isometry.