Pullback Commutes with Generating Partition

It has been suggested that this page be renamed. In particular: To explicate the type of pullback To discuss this page in more detail, feel free to use the talk page.

Theorem

Let $\struct {\Omega, \Sigma, \Pr}$ be a probability space.

Let $\AA \subseteq \Sigma$ be a finite sub-$\sigma$-algebra.

Let $T: X \to X$ be a measurable mapping.

Let $n \in \N$.

Then:

$T^{-n} \map \xi \AA = \map \xi {T^{-n} \AA}$

where:

$\map \xi \cdot$ denotes the generated finite partition

$\map {T^{-n}} \AA$ denotes the pullback partition of $\AA$ by $T^n$

$T^{-n} \map \xi \AA$ denotes the pullback partition of $\map \xi \AA$ by $T^n$

Proof

This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Sources

• 2013: Peter Walters: An Introduction to Ergodic Theory (4th ed.) $4.1$: Partitions and Subalgebras