Eine Bemerkung über die Gruppe der topologisehen Abbildungen der Kreislinie auf sich selbst. (Q2619310)

Beweis des Satzes: Die Gruppe der indicatrixerhaltenden topologischen Abbildungen einer Kreislinie auf sich ist einfach. Das entsprechende Ergebnis für Abbildungen eines Intervalls auf sich, das einen Teil des Beweises bildet, lautet: Die Gruppe der indicatrixerhaltenden topologischen Abbildungen eines Intervalls auf sich besitzt - abgesehen von einigen leicht angebbaren ``trivialen'' - keinen abgeschlossenen Normalteiler. Die Formulierung des Hilfssatzes auf S. 155 unten scheint inkorrekt zu sein; jedenfalls müßte man, um auf S. 156, Z. 16-18 auf ``\(f(x)\) und \(g(x)\) gleichzeitig \(> x\) bzw. \(< x\) in jedem fixpunktfreien Intervall'' schließen zu können, neben den attraktiven Fixpunkten und Fixintervallen von \(f\) und \(g\) auch die abstoßenden (d. h. die attraktiven von \(f^{-1}\) und \(g^{-l}\)) gesondert berücksichtigen.