For observations or orbit points , the empirical measure is . Integrating a test function gives its sample average. For orbit points , the difference between and telescopes to , so on a compact metric space with continuous , every weak limit is invariant.
New to topics? Read the docs here!