Reversibility of interval homeomorphisms without fixed points (Q1349042)

The author proves the following theorems. Theorem 1: Every homeomorphism \(f\) of a real interval having no fixed points has the form \[ f^{-1}=\alpha \circ f\circ \alpha \] where \(\alpha\) is a decreasing continuous involution. Theorem 2: Every increasing homeomorphism of an open interval can be represented as a composition of two or four decreasing involutions. Every decreasing homeomorphism of an open interval is either a decreasing involution, or can be represented as a composition of three decreasing involutions.