 Von Neumann mean ergodic theorem

For a unitary operator $U$ on a Hilbert space, the Cesàro averagesconverge strongly to the orthogonal projection onto the fixed-point subspace $\ker (U-I)$.