2022/05/06 by Luis C. García‐Lirola, García-Lirola, Luis, Colin Petitjean +3
Computer Science · Mathematics · #Advanced Banach Space Theory #FOS: Mathematics #Fixed Point Theorems Analysis #Functional Analysis (math.FA) #Metric Geometry (math.MG) #Optimization and Variational Analysis
paper · doi:10.48550/arxiv.2205.03093
openalex publication_date 2022/05/06 · openalex created_date 2022/05/11 · openalex updated_date 2026/07/28
Any Lipschitz map f\colon M → N between metric spaces can be "linearised" in such a way that it becomes a bounded linear operator \widehatf\colon \mathcal F(M) → \mathcal F(N) between the Lipschitz-free spaces over M and N. The purpose of this note is to explore the connections between the injectivity of f and the injectivity of \widehatf. While it is obvious that if \widehatf is injective then so is f, the converse is less clear. Indeed, we pin down some cases where this implication does not hold but we also prove that, for some classes of metric spaces M, any injective Lipschitz map f\colon M → N (for any N) admits an injective linearisation. Along our way, we study how Lipschitz maps carry the support of elements in free spaces and also we provide stronger conditions on f which ensure that \widehatf is injective.