Über die Erweiterung stetiger Abbildungen (Q567065)

Ist \(R\) ein metrischer Raum und \(D\) eine abgeschlossene Teilmenge von \(R\), dann läßt sich jede eindeutige, reelle Funktion \(f\) in \(D\) erweitern zu einer Funktion in \(R\), die in \(R-D\) stetig ist. Dieser Satz gilt auch allgemeiner für jede eindeutige Abbildung \(\varphi \) von \(D\) auf einen separablen Raum \(W\), derart, daß\ sich \(\varphi \) stetig erweitern läßt zu einer Abbildung von \(R\) auf einen \(W\) umfassenden separablen Raum \(W^*\).