Dynamics of Baire-1 functions on the interval (Q2419687)

The author studies the iterative behavior of Baire-1 functions from \(I\) into itself, where \(I\) denotes the interval \([0,1]\). Recall that a function \(f:X\to Y\) is Baire-1 if it is the pointwise limit sequence of continuous functions from \(X\) to \(Y\). Semicontinuous functions and functions of bounded variation are Baire-1. In this work \(bB_1\) denotes the set of Baire-1 self-maps of \(I\). For \(f \in bB_1\), let \(\Omega ( f ) = \{ \omega (x, f ) : x \in I \}\) be the collection of \(\omega\)-limit sets generated by \(f\), and \(\Lambda ( f ) = \bigcup _{x\in I} \omega(x, f )\) be the set of \(\omega \)-limit points of \(f\). The chaos in the sense of Devaney and Li-Yorke of the functions in \(bB_1\) is studied. The author proves that there exists \(S\), a residual subset of \(bB_1\), such that for any \(f \in S\), the following holds: 1. For any \(x \in I\) , the \(\omega\)-limit set \(\omega (x, f )\) is contained in the set of points at which \(f\) is continuous, and \(\omega (x, f )\) is an \(\infty \)-adic adding machine. 2. For any \(\epsilon > 0\), there exists a natural number \(M\) such that \(f^m(I ) \subset B_\epsilon(\Lambda ( f ))\) whenever \(m > M\). Moreover, \(f : \Lambda ( f ) \to \Lambda( f )\) is a bijection, and \(\Lambda ( f )\) is closed. 3. The Hausdorff \(s\)-dimensional measure of \(\Lambda ( f )\) is zero for all \(s > 0\). 4. The collection of \(\omega \)-limit sets \(\Omega ( f )\) is closed in the Hausdorff metric space. 5. If \(x\) is a point at which f is continuous, then \((x, f )\) is a point at which the map \(\omega : I\times bB_1\to \mathcal{K}\) given by \((x, f ) \to \omega (x, f )\) is continuous. 6. The \(n\)-fold iterate \(f^n\) is an element of \(bB_1\) for all natural numbers \(n\). 7. The function \(f\) is non-chaotic in the sense of Devaney and Li-Yorke.