Measure Preserving Transformations and Ergodicity
[5/0%]Does the proof of the Bogoliubov-Krilov Theorem also provide a proof in the case is compact Hausdorff but not necessarily metrizable?
Let be a finite measure space and a measurable transformation. For a measurable function on , define the measurable function by . Show that is measure preserving if and only if for every maps into itself and is an isometry.
Suppose that is linear. Establish necessary and sufficient conditions for to be measure preserving with respect to Lebesgue measure on .
Let be the circle with the group operation of complex multiplication and be Haar measure on this group (see Problem 24). Define by . Show that preserves .
Let be a measure preserving transformation on a finite measure space () and the set be measurable. Show that for almost all , there are infinitely many natural numbers for which belongs to .