Abstract
Ergodic homeomorphisms T and S of Polish probability spaces X and Y are evenly Kakutani equivalent if there is an orbit equivalence ϕ: X 0 → Y 0 between full measure subsets of X and Y such that, for some A ⊂ X 0 of positive measure, ϕ restricts to a measurable isomorphism of the induced systems T A and S ϕ(A). The study of even Kakutani equivalence dates back to the seventies, and it is well known that any two irrational rotations of the circle are evenly Kakutani equivalent. But even Kakutani equivalence is a purely measurable relation, while systems such as irrational rotations are both measurable and topological.
Recently del Junco, Rudolph and Weiss [1] studied a new relation called nearly continuous Kakutani equivalence. A nearly continuous Kakutani equivalence is an even Kakutani equivalence where also X 0 and Y 0 are invariant G δ sets, A is within measure zero of both open and closed, and ϕ is a homeomorphism from X 0 to Y 0. It is known that nearly continuous Kakutani equivalence is strictly stronger than even Kakutani equivalence and is the natural strengthening of even Kakutani equivalence to the nearly continuous category—the category where maps are continuous after sets of measure zero are removed. In this paper we show that any two irrational rotations of the circle are nearly continuously Kakutani equivalent.
Similar content being viewed by others
References
A. del Junco, D. Rudolph and B. Weiss, Measured topological orbit and Kakutani equivalence, Discrete Contin. Dyn. Syst. Ser. S 2 (2009), 221–238.
A. del Junco and A. Sahin, Dye’s theorem in the almost continuous category, Israel J. Math. 173 (2009), 235–251.
H. A. Dye, On groups of measure preserving transformations I, Amer. J. Math. 81 (1959), 119–159.
T. Hamachi and M. Keane, Finitary orbit equivalence of odometers, Bull. London Math. Soc. 38 (2006), 450–458.
T. Hamachi, M. Keane and M. K. Roychowdhury, Finitary orbit equivalence and measured Bratteli diagrams, Colloq. Math. 110 (2008), 363–382.
M. Keane and M. Smorodinsky, Bernoulli schemes of the same entropy are finitarily isomorphic, Ann. of Math. (2) 109 (1979), 397–406.
M. Keane and M. Smorodinsky, The finitary isomorphism theorem for Markov shifts, Bull. Amer. Math. Soc. (N.S.) 1 (1979), 436–438.
D. S. Ornstein, D. J. Rudolph and B. Weiss, Equivalence of measure preserving transformations, Mem. Amer. Math. Soc. 37 (1982), no. 262.
M. K. Roychowdhury, Irrational rotation of the circle and the binary odometer are finitarily orbit equivalent, Publ. Res. Inst. Math. Sci. 43 (2007), 385–402.
M. K. Roychowdhury, {m n}-odometer and the binary odometer are finitarily orbit equivalent, in Ergodic Theory and Related Fields, Contemp. Math., Vol. 430, Amer. Math. Soc., Providence, RI, 2007, pp. 123–134.
M. K. Roychowdhury and D. J. Rudolph, Any two irreducible Markov chains are finitarily orbit equivalent, Israel J. Math. 174 (2009), 349–368.
M. K. Roychowdhury and D. J. Rudolph, Any two irreducible Markov chains of equal entropy are finitarily Kakutani equivalent, Israel J. Math. 165 (2008), 29–41.
M. K. Roychowdhury and D. J. Rudolph, The Morse minimal system is finitarily Kakutani equivalent to the binary odometer, Fund. Math. 198 (2008), 149–163.
M. K. Roychowdhury and D. J. Rudolph, Nearly continuous Kakutani equivalence of adding machines, J. Mod. Dyn. 3 (2009), 103–119.
Author information
Authors and Affiliations
Corresponding author
Additional information
Partially supported by NSF grant DMS0700874.
Professor Rudolph passed away on February 4, 2010.
Rights and permissions
About this article
Cite this article
Dykstra, A., Rudolph, D.J. Any two irrational rotations are nearly continuously Kakutani equivalent. JAMA 110, 339–384 (2010). https://doi.org/10.1007/s11854-010-0009-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11854-010-0009-0