On Iteration of Bijective Functions with Discontinuities

We present three different types of bijective functions f : I → I on a compact interval I with finitely many discontinuities where certain iterates of these functions will be continuous. All these examples are strongly related to permutations, in particular to derangements in the first case, and permutations with a certain number of successions (or small ascents) in the second case. All functions of type III form a direct product of a symmetric group with a wreath product. It will be shown that any iterative root F : J → J of the identity of order k on a compact interval J with finitely many discontinuities is conjugate to a function f of type III, i.e., F = φ⁻¹ ∘ f ∘ φ where φ is a continuous, bijective, and increasing mapping between J and [0, n] for some integer n.