Uniform ergodic convergence for uniquely ergodic systems
ID: uniform-ergodic-convergence-for-uniquely-ergodic-systems
For a uniquely ergodic continuous map of a compact metric space, every continuous satisfies uniformly in . Otherwise choose increasingly long orbit empirical measures with a fixed discrepancy. Compactness provides a weak limit; the telescoping identity makes it invariant, so it must be the unique measure , contradicting that discrepancy. Compactness and continuity are essential hypotheses.
New to topics? Read the docs here!