Skip to main content
5 of 10
A clearer(?) question.

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 name, via the 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 the toplogical spaces which are homeomorphic to the 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).