Injective subsets of l_(I)

From MaRDI portal
Publication:2013990



Abstract: We give an explicit characterization of all injective subsets of the model space linfty(I) for a general set I, in terms of inequalities involving 1-Lipschitz functions. Since the class of all injective metric spaces coincides with the one of all absolute 1-Lipschitz retracts, the present work yields a characterization of all the subsets of linfty(I) that are absolute 1-Lipschitz retracts.


Recall that a metric space $(X,d)$ is said to be injective if, for every isometric embedding $i:A \to B$ of metric spaces $(A, d_{A})$, $(B, d_{B})$ and every 1-Lipschitz map $f:A \to X$, there exists a 1-Lipschitz map $\bar{f}:B \to X$ such that $f=\bar{f} \circ i$. \par The main result of the paper under review states an explicit characterization of all injective subsets of the model space $l_{\infty}(I)$ of all bounded real-valued functions defined on a non-empty set $I$, endowed with the supremum norm. This theorem furnishes a concrete expression for each single subset of the model spaces $l_{\infty}(I)$. \par The proof of this characterization is based on the proof of the characterization in the particular case where $I$ is finite obtained in [\textit{D. Descombes}, Spaces with convex geodesic bicombings. Dissertation ETH Zurich, No. 23109 (2015)]. Moreover, the proof is constructive and thus provides an algorithmic method to compute the Isbell injective hull of a finite set of points.











This page was built for publication: Injective subsets of \(l_{\infty}(I)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2013990)