Continuous groups and Schwarz' lemma. (Q2592963)

In dem metrisierbaren Raum \(S\) wird eine Klasse \(N\) von Abbildungen von \(S\) in sich betrachtet mit den Eigenschaften: \ 1) Sie sind eindeutig und stetig. \ 2) \(N\) enthält die identische Abbildung, und, wenn \(F_1\) und \(F_2\) Abbildungen aus \(N\) sind, so ist \(F_1 F_2\) in \(N\). \ 3) \(F_1 = F_2\) folgt aus \(F_1F_3 = F_2F_3\). \ 4) Jede Folge \(F_n\) enthält eine gegen ein Element von \(N\) konvergierende Folge, oder sie enthält keine für ein \(x \in S\) konvergierende Folge. Die Konvergenz der Abbildungsfolgen ist hier mittels der von \textit{Carathéodory} (Conformal Representation, 1932; F. d. M. \(58_{\text{I}}\), 354) eingeführten ``stetigen Konvergenz'' definiert. Das heißt: \(F\) ist \(\lim F_n\), wenn \(F(x) = \lim F_n(x_n)\) aus \(x = \lim x_n\) folgt. Es werden gewisse \(F\subset N\) als ``Rotationen'' definiert mit dem ``Mittelpunkt'' \(p\). Mit Hilfe dieses Begriffes, wird der der ``Kreislinie'' für \(N\) eingeführt und dann folgender Satz bewiesen, welcher eine topologische Verallgemeinerung des Schwarzschen Lemmas darstellt: Jedes den Fixpunkt \(p\) besitzende \(F\) aus \(N\) ist entweder eine Rotation um \(p\) oder \(F^n(x_n) \to p\) für jedes \(x_n \to x\). -- Mit stark einschränkenden (topologischen) Postulaten für \(S\), welche die Einführung eines ``absoluten Wertes'' \(| x |\) für jedes \(x \in S\) gestatten, wird dann ein ganz topologisch bewiesenes Analogon zum Schwarzschen Lemma erhalten. Endlich wird bewiesen, daß daraus das Lemma in seiner klassischen Form folgt, sowie andere Eigenschaften von \(S\).