Orthogonal decomposition for unitary ergodic averages

ID: orthogonal-decomposition-for-unitary-ergodic-averages

For a unitary operator , the orthogonal complement of is . On the fixed space, Cesaro averages act as the identity. On they telescope to . Their uniform norm bound extends convergence to the closure of the range, proving the Von Neumann mean ergodic theorem.

New to topics? Read the docs here!