English

Continuity of extensions of Lipschitz maps and of monotone maps

Functional Analysis 2024-10-07 v2 Metric Geometry

Abstract

Let XX be a subset of a Hilbert space. We prove that if v ⁣:XRmv\colon X\to \mathbb{R}^m is such that \begin{equation*} \Big\lVert v(x)-\sum_{i=1}^m t_iv(x_i)\Big\rVert\leq \Big\lVert x-\sum_{i=1}^m t_ix_i\Big\rVert \end{equation*} for all x,x1,,xmRmx,x_1,\dotsc,x_m\in\mathbb{R}^m and all non-negative t1,,tmt_1,\dotsc,t_m that add up to one, then for any 11-Lipschitz u ⁣:ARmu\colon A\to\mathbb{R}^m, with AXA\subset X, there exists a 11-Lipschitz extension u~ ⁣:XRm\tilde{u}\colon X\to\mathbb{R}^m of uu such that the uniform distance on XX between u~\tilde{u} and vv is the same as the uniform distance on AA between uu and vv. Moreover, if either m{1,2,3}m\in \{1,2,3\} or XX is convex, we prove the converse: we show that a map v ⁣:XRmv\colon X\to\mathbb{R}^m that allows for a 11-Lipschitz, uniform distance preserving extension of any 11-Lipschitz map on a subset of XX also satisfies the above set of inequalities. We also prove a similar continuity result concerning extensions of monotone maps. Our results hold true also for maps taking values in infinite-dimensional spaces.

Keywords

Cite

@article{arxiv.2402.14699,
  title  = {Continuity of extensions of Lipschitz maps and of monotone maps},
  author = {Krzysztof J. Ciosmak},
  journal= {arXiv preprint arXiv:2402.14699},
  year   = {2024}
}

Comments

21 pages, 1 figure. Comments are very welcome. Minor improvements in the exposition. Version accepted in the Journal of the London Mathematical Society