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!