Skip to main content
2 of 10
necessary details missing (the same sense).

Topological characterization of injective metric spaces

Let $\ (X\ d)\ \,(Y\ \delta)\ $ be arbitrary metric spaces. A function $\ f:X\rightarrow Y\ $ is called a metric map (with respect to the given metrics $\ d\ \delta$) $\ \Leftarrow:\Rightarrow\ \forall_{p\ q\in X}\ \delta(f(p)\ f(q))\ \le\ d(p\ q)$.

Injective metric spaces were introduced in a paper by Aronszajn and Panitchpakdi, under the hyper-convex spaces, via a binary intersection property of closed balls. Equivalently, a metric space $\ (Z\ \rho)\ $ is called injective $\ \Leftarrow:\Rightarrow\ $ for every metric space $\ (X\ d)\ $ and arbitrary $\ Y\subseteq X,\ $ and for arbitrary metric map $\ f:Y\rightarrow Z\ $ (with respect to $\ \delta := d|Y\times Y$ and $\ \rho$) there exists a metric map $\ g:X\rightarrow Z\ $ (with respect to metrics $\ d\ \rho$) such that $\ g|Y=f$.

PROBLEM Characterize topologically injective metric spaces.

Preferably, this should be done for the class of all metric spaces. The class of separable spaces or of metric compact spaces would be great too.

In the case of $1$-dimensional compact spaces $\ X\ $it is pretty obvious that they are injective $\ \Leftarrow:\Rightarrow\ X$ is an AR (i.e. absolute retract as defined by Borsuk).

(Sorry, if I missed some known results (I do use Google etc, but I am terrible at searching. Please, let me know).