Sur les espaces des transformations continues en certains groupes abéliens. (Q2599666)

Gegeben seien zwei abelsche topologische Gruppen \(E\) und \(S\) und eine stetige Homomorphie \(e(E)=S\); \(G\subset E\) mit \(e(G)=1\) heißt Kern dieser Homomorphie. \(X\) sei ein topologischer Raum, der die folgenden (wenn \(E\) ein absoluter Retrakt, \(G\) eine isolierte Teilmenge ist, für den metrischen Raum erfüllten) Eigenschaften besitzt: 1) Ist \(A\) eine beliebige geschlossene Teilmenge von \(X\), so soll jede Funktion von \(E^A\) eine Erweiterung zu einer Funktion in \(E^X\) zulassen. (Der Ausdruck \(Y^X\) bedeutet dabei die Gruppe der stetigen Transformationen von \(X\) in Teilmengen von \(Y\).) 2) Ist \(C\) eine zusammenhängende Teilmenge von \(X\), so ist jede Funktion aus \(G^C\) eine Konstante. Die Homomorphie \(e\) von \(E\) auf \(S\) erzeugt eine Homomorphie von \(E^A\) auf \(S^A\) mit dem Kern \(G^A\cdot \varphi\) aus \(E\) entspreche dabei \(e_\varphi\) aus \(S^A\). Die auf solche Art entstehenden \(e_\varphi\) bilden eine Untergruppe \(\varGamma(A)\) von \(S^A\). Die Faktorgruppen \(B_1(X) = S^X/\varGamma(X)\) und \(B_0(A)=G^A/G\) entsprechen der ersten und nullten Bettischen Gruppe. Verf. beweist mehrere Sätze über diese Gruppen.