ThmDex – An index of mathematical definitions, results, and conjectures.
F10310
Formulation 1
Let $M = (X, \mathcal{F}, \mu, T)$ be a D2827: Measure-preserving system such that
(i) $E \in \mathcal{F}$ is a D1109: Measurable set in $M$
Then \begin{equation} \mu(E) = \mu(T^{-1} E) = \mu(T^{-2} E) = \mu(T^{-3} E) = \cdots \end{equation}