Erweiterung einer stetigen Abbildung

Auszug

Der metrische Raum E werde durch ū=f(u) stetig auf den metrischen Kaum Ē abgebildet. Es sei uv die Entfernung zweier Punkte u, v in E und ūv die Entfernung ihrer Bilder ū, v in Ē; bei gegebener Abbildung ist ūv eine gegebene Funktion von u, v mit den Eigenschaften:

$$ \begin{array}{l} \left( \alpha \right) \overline {uv} = \overline {vu} \ge 0, \overline {uu} = 0; \\ \left( \beta \right) \overline {uv} + \overline {vw} \ge \overline {uw} ; \\ \left( \gamma \right) \overline {uv} \to 0, falls v \to u \left( {d.h. uv \to 0 bei festem u} \right) \\ \end{array} $$

.