We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.GN

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > General Topology

Title: Characterizing Lipschitz images of injective metric spaces

Abstract: A metric space $X$ is {\em injective} if every non-expanding map $f:B\to X$ defined on a subspace $B$ of a metric space $A$ can be extended to a non-expanding map $\bar f:A\to X$. We prove that a metric space $X$ is a Lipschitz image of an injective metric space if and only if $X$ is Lipschitz connected in the sense that for every points $x,y\in X$, there exists a Lipschitz map $f:[0,1]\to X$ such that $f(0)=x$ and $f(1)=y$. In this case the metric space $X$ carries a well-defined intrinsic metric. A metric space $X$ is a Lipschitz image of a compact injective metric space if and only if $X$ is compact, Lipschitz connected and its intrinsic metric is totally bounded. A metric space $X$ is a Lipschitz image of a separable injective metric space if and only if $X$ is a Lipschitz image of the Urysohn universal metric space if and only if $X$ is analytic, Lipschitz connected and its intrinsic metric is separable.
Subjects: General Topology (math.GN)
MSC classes: Primary:54E35, 54E40, Secondary: 51F30, 54C55, 54E45, 54E50, 54F15
Cite as: arXiv:2405.01860 [math.GN]
  (or arXiv:2405.01860v1 [math.GN] for this version)

Submission history

From: Michał Popławski [view email]
[v1] Fri, 3 May 2024 05:22:07 GMT (217kb)

Link back to: arXiv, form interface, contact.