Über metrische Gruppen. (Q573181)

Verf. beweist in der Hauptsache die folgenden zwei Sätze über topologische Gruppen, die wir (statt in der Ausdrucksweise des Verf.) mit den üblichen gruppentheoretischen Termini wie folgt formulieren: Sei \(G\) eine topologische Gruppe und gleichzeitig ein vollständiger separabler metrischer Raum, desgleichen \(G'\). Sei \(f_n\) eine konvergente Folge stetiger Homomorphismen von \(G\) in \(G'\). Dann ist auch lim \(f_n\) ein stetiger Homomorphismus. Seien \(G\) und \(G'\) wie oben definiert. Sei \(f\) ein stetiger Homomorphismus von \(G\) in \(G'\). Dann ist \(f\) stetig umkehrbar (d. h. aus lim \(y_n = f(x)\) mit \(y_n \subset G\) folgt die Existenz von \(x_n\) mit lim \(x_n = x\) und \(f(x_n) = y_n\)). Es sei die Bemerkung gestattet, daß der zweite Satz unabhängig von Ref. gefunden worden ist (Einige Sätze über topologische Gruppen; Annals of Math. (2) 37 (1936), 46-56; F.~d.~M. 62); die Zitierimg der vorliegenden \textit{Banach}schen Arbeit möge an dieser Stelle nachgeholt werden. Der Beweis des Ref. ist von dem vorliegenden verschieden. Wie die Arbeit des Ref. zeigt, ist es zweckmäßig, den metrischen Begriff der Vollständigkeit durch einen gruppentheoretischen zu ersetzen. (V 2.)