Über Abbildungen einer abstrakten Menge auf ihre Teilmengen. (Q2601807)

\(\mathfrak S (\mathfrak N)\) sei die Gesamtheit der eindeutigen Abbildungen einer Menge \(\mathfrak N\) in sich mit der Nacheinander-Ausführung als Komposition. Dann entsteht jeder Automorphismus von \(\mathfrak S(\mathfrak N)\), d. h. jede eineindeutige Abbildung \(f \to f'\) von \(\mathfrak S (\mathfrak N)\) auf sich, für die \((fg)' = f'g'\) gilt, durch eine Permutation der Elemente von \(\mathfrak N\): \[ f' = sfs^{-1}. \] Es folgt eine Verallgemeinerung und eine Anwendung: Bestimmung der ``Automorphismengruppe'' der Menge der stetigen reellen Funktionen einer reellen Veränderlichen.