ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F10307 on D5570: Stationary measurable map
F10307
Formulation 0
Let $M = (X, \mathcal{F}, \mu, T)$ be a D2827: Measure-preserving system such that
(i) $f : X \to Y$ is a D201: Measurable map on $M$
Then $f$ is stationary on $M$ if and only if \begin{equation} f \circ T = f \end{equation}