Simultaneous extension of continuous functions considered as a positive linear operation. (Q2587244)

\(E\) sei eine lokal separable Teilmenge eines metrischen Raumes \(R\), \(C (E)\) bzw. \(C (R)\) der Banachraum aller auf \(E\) bzw. \(R\) beschränkten stetigen Funktionen \(f (x)\) bzw. \(F (x)\) mit der Metrik \(\|f \|_E = \sup\limits_{x \in E} |f(x) |\) bzw. \(\| F \|_R = \sup\limits_{x\in R} | F(x) |\). Es wird gezeigt, daß zu allen \(f\) gleichzeitig eine Fortsetzung \(F\), \(f \to F\), angegeben werden kann mit folgenden Eigenschaften: Ist \(f \to F\), \(g \to G\), so ist \(f+g \to F + G\), \(\alpha f \to \alpha F\)(\(\alpha \) reell); ist \(f(x) \geqq g (x)\) für alle \(x \in E\), so ist \(F (x) \geqq G (x)\) für alle \(x \in R\); ferner ist \(\| f - g \|_E = \| F - G\|_R\). Eine ähnliche Fortsetzungsoperation \(f \to F\), die positiv, isometrisch, aber nicht notwendig linear ist, wurde von \textit{K. Borsuk} (Fundam. Math., Warszawa, 28 (1937), 99-110; F. d. M. \(63_{\text{II}}\), 1168) angegeben.