Equivalence of Defintions of Ergodic Measure-Preserving Transformation

Definition 1 implies Definition 2
First, we claim that for each $j \in \N$:
 * $\map \mu {T^{-j} \sqbrk A \symdif A} = 0$.

Indeed, applying Symmetric Difference is Subset of Union of Symmetric Differences, inductively:

so that:

Next, let:
 * $\ds A_\infty := \bigcap _{N \mathop \ge 1} \bigcup _{j \mathop \ge N} T^{-j} \sqbrk A$

Then $A_\infty \in \set {0, 1}$, since:
 * $T^{-1} \sqbrk {A_\infty} = A_\infty$

Therefore, we shall show $\map \mu A = \map \mu {A_\infty}$.

Observe:

Therefore:

Definition 2 implies Definition 3
Let:
 * $B := \bigcup_{n \mathop = 1}^\infty T^{-n} \sqbrk A$

Then:
 * $T^{-1} \sqbrk B = \bigcup_{n \mathop = 2}^\infty T^{-n} \sqbrk A \subseteq B$

so that:
 * $\map \mu {T^{-1} \sqbrk B \symdif B} = \map \mu {T^{-1} \sqbrk B} - \map \mu B = 0$

Thus $\map \mu B \in \set {0,1}$.

As $\map \mu B > 0$, we have $\map \mu B = 1$.