The non-iterates are dense in the space of continuous self-maps

Abstract

In this paper we develop a tool to identify functions which have no iterative roots of any order. Using this, we prove that when $X$ is $[0,1{]}^m$, ${\mathbb{R}}^m$ or $S^1$, every non-empty open set of the space $\mathcal{C}(X)$ of continuous self-maps on $X$ endowed with the compact-open topology contains a map that does not have even discontinuous iterative roots of order $n\ge 2$. This, in particular, proves that the complement of $\{f^n:f\in \mathcal{C}(X)\text{and}n\ge 2\}$, the set of non-iterates, is dense in $\mathcal{C}(X)$ for these $X$.

10 pages, 5 figures