Equicontinuity of iterates of circle maps (Q1392722)

Let \(C^0(X,Y)\) denote the set of continuous maps from \(X\) to \(Y\), \(I\) a closed unit interval and \(S^1\) the circle. Let \(f\in C^0(I,I)\) and suppose that the family of iterates of \(f\), i.e. \(\{f^n\}_{n=1}^\infty\), is equicontinuous. Let \(F_1\) and \(F_2\) denote the fixed point set of \(f\) and \(f^2\) respectively. \textit{A. M. Bruckner} and \textit{T. Hu} [Tamkang J. Math. 21, No. 3, 287-294 (1990; Zbl 0718.26004)] have shown that \(\{f^n\}\) is equicontinuous if and only if \(F_2= \bigcap_{n=1}^\infty f^n (I)\). The author shows that for maps of the circle the following result holds: Theorem. Let \(f\in C^0 (S^1,S^1)\). Then \(\{f^n\}_{n=1}^\infty\) is equicontinuous if and only if one of the following holds: (1) \(f\) is conjugate to a rotation; (2) \(F_1\) consists of exactly two distinct points and every other point on \(S^1\) has period two; (3) \(F_1\) consists of a single point and \(F_2= \bigcap_{n=1}^\infty f^n(S^1)\); (4) \(F_1= \bigcap_{n=1}^\infty f^n(S^1)\).