Given an aperiodic measure-preserving T on a standard probability space, for every n ∈ ℕ and ε > 0 there exists a base set B such that B, TB, …, T^{n−1}B are pairwise disjoint and cover all but ε of the space (Rohlin 1948). Iterating…
Given an aperiodic measure-preserving T on a standard probability space, for every n ∈ ℕ and ε > 0 there exists a base set B such that B, TB, …, T^{n−1}B are pairwise disjoint and cover all but ε of the space (Rohlin 1948). Iterating…