Ergodic decomposition
= Ergodic decomposition
For a <measure-preserving system> on a standard probability space, an invariant probability measure is an integral of ergodic invariant probability measures. Its conditional measures given the <invariant sigma-algebra> are the ergodic components.