Mixing examples in the class of piecewise monotone and continuous maps of the unit interval (Q690049): Difference between revisions

Let \(I=[0,1]\) be equipped with Lebesgue measure and let \(g: I\to I\) be measurable and such that there exists a finite or countable collection of closed subintervals such that \(g\) is continuous and monotone on each interval, the intervals cover \(I\) and the intervals overlap on sets of zero measure. Such a map \(g\) is called piecewise monotone and continuous (p.m.c.). Under further conditions on \(g\), it can be shown that there is an absolutely continuous invariant measure for \(g\) and that if \(g\) is weak-mixing with respect to such a measure then the natural extension of \(g\) is automatically a Bernoulli shift. In this paper, the author shows in the class of p.m.c. maps with unique absolutely continuous invariant measure that this type of behaviour is not inevitable. He constructs p.m.c. maps with Lebesgue measure, the unique absolutely continuous invariant measure, and which are ergodic but not weak-mixing, weak-mixing but not mixing, and mixing but not exact (natural extension not a \(K\)-automorphism).