von Neumann mean ergodic theorem

Layer 0 — Mathematicsin the analysis subtree

Isometry U on Hilbert H: (1/n) Σ Uⁿx → P_{fix U} x in norm. L²-version of Birkhoff.