Théorèmes d'addition concernant le groupe des transformations en circonférence. (Q2592886)

Ist \(X\) ein topologischer Raum und \(Y\) eine topologische Abelsche Gruppe, so bezeichne \(Y^n\) die Gruppe der stetigen Abbildungen von \(X\) auf \(Y\) (Gruppe im Sinne der Zusammensetzung \(f(x) + g(x)\), wenn die Funktionen \(f\) und \(g\) mit Argumenten aus \(X\) zwei Abbildungen vermitteln und \(Y\) additiv geschrieben wird). Ist \(\varGamma \) eine Untergruppe von \(Y^X\) und \(A\) eine abgeschlossene Teilmenge von \(X\), so erzeugen die Elemente von \(\varGamma ^X\) durch ihre Wertverläufe auf \(A\) eine Untergruppe \(\psi (A)\) von \(Y^A\); ihre Faktorgruppe in \(Y^A\) heiße \(B(A)\). Für zwei abgeschlossene Mengen \(A_1\) und \(A_{2}\) werden Beziehungen zwischen den Gruppen \(B(A_1\cdot A_2)\), \(B(A_1)\), \(B(A_2)\) und \(B(A_1+A_2)\) und je einer, mit Bezug auf \(A_1\) und \(A_{2}\) gebildeten Untergruppe von \(Y^{A_1+A_2}\), \(Y^{A_1\cdot A_2}\) und \(Y^{A_1}\times Y^{A_2}\) hergestellt, insbesondere Beziehungen zwischen den Rängen dieser Gruppen. Bei besonderer Wahl von \(Y\) und \(\varGamma \) folgen Ergebnisse von \textit{W. Mayer} (Mh. Math. Physik 36 (1929); 1-42, 219-258 (JFM 55.0963.*); insbesondere S. 40), \textit{L. Vietoris} (Mh. Math. Physik 37 (1930), 159-162; JFM 56.0498.*) und \textit{S. Straszewicz} (Fundam. Math., Warszawa, 7 (1925), 159-187 (F. d. M. 51, 460 (JFM 51.0460.*)); insbesondere S. 184).