Related papers: On Lipschitz extension from finite subsets

In this note we find $\lambda>1$ and give an explicit construction of a separable Banach space $X$ such that there is no $\lambda$-Lipschitz retraction from $X$ onto any compact convex subset of $X$ whose closed linear span is $X$. This is…

If $X$ is a metric space, then its finite subset spaces $X(n)$ form a nested sequence under natural isometric embeddings $X = X(1)\subset X(2) \subset \cdots$. It was previously established, by Kovalev when $X$ is a Hilbert space and, by…

Absolutely minimal Lipschitz extensions (AMLEs) are known to exist in many infinite metric settings, but the finite case is less settled. In metric spaces with at most four points, every function on a nonempty subset admits an AMLE in the…

For an arbitrary set $E \subset \mathbb{R}^n$, and functions $f:E \to \mathbb{R}$, $G: E\to \mathbb{R}^n$ with $G$ bounded, we construct $C^1(\mathbb{R}^n)$ convex extensions $(F, \nabla F)$ of $(f,G)$ with the sharp Lipschitz constant $$…

Within Bishop-style constructive mathematics we study the classical McShane-Whitney theorem on the extendability of real-valued Lipschitz functions defined on a subset of a metric space. Using a formulation similar to the formulation of…

It follows from recent results of V. Bakhtin, R. Oleinik, and the second named author that, given a metric space $\mathcal{X}$, a continuous map $\gamma\colon [a,b] \to \mathcal{X}$ is a map of bounded variation if and only if $f \circ…

We show that for every complete metric space $M$ there exists another complete metric space $N$ of the same density character such that the curve-flat quotient of $N$ is isometric to $M$. Moreover, we show that if $M$ is compact and…

Given a function $f : A \to \mathbb{R}^n$ of a certain regularity defined on some open subset $A \subseteq \mathbb{R}^m$, it is a classical problem of analysis to investigate whether the function can be extended to all of $\mathbb{R}^m$ in…

The metric Markov cotype of barycentric metric spaces is computed, yielding the first class of metric spaces that are not Banach spaces for which this bi-Lipschitz invariant is understood. It is shown that this leads to new nonlinear…

We prove a version of the implicit function theorem for Lipschitz mappings $f:\mathbb{R}^{n+m}\supset A \to X$ into arbitrary metric spaces. As long as the pull-back of the Hausdorff content $\mathcal{H}_{\infty}^n$ by $f$ has positive…

We provide some necessary and sufficient conditions for a proper lower semicontinuous convex function, defined on a real Banach space, to be locally or globally Lipschitz continuous. Our criteria rely on the existence of a bounded selection…

The classical McShane-Whitney extension theorem for Lipschitz functions is refined by showing that for a closed subset of the domain, it remains valid for any interval of the real line. This result is also extended to the setting of locally…

We study extension theorems for Lipschitz-type operators acting on metric spaces and with values on spaces of integrable functions. Pointwise domination is not a natural feature of such spaces, and so almost everywhere inequalities and…

We investigate the first-order differential calculus over extended metric-topological measure spaces. The latter are quartets $\mathbb X=(X,\tau,{\sf d},\mathfrak m)$, given by an extended metric space $(X,{\sf d})$ together with a weaker…

We introduce the notions of almost Lipschitz embeddability and nearly isometric embeddability. We prove that for $p\in [1,\infty]$, every proper subset of $L_p$ is almost Lipschitzly embeddable into a Banach space $X$ if and only if $X$…

A mapping $f:X\to Y$ between metric spaces is called \emph{little Lipschitz} if the quantity $$ \operatorname{lip}(f(x)=\liminf_{r\to0}\frac{\operatorname{diam} f(B(x,r))}{r} $$ is finite for every $x\in X$. We prove that if a compact (or,…

The celebrated Johnson-Lindenstrauss lemma states that for all $\varepsilon \in (0,1)$ and finite sets $X \subseteq \mathbb{R}^N$ with $n>1$ elements, there exists a matrix $\Phi \in \mathbb{R}^{m \times N}$ with…

The main result of the paper: Given any $\varepsilon>0$, every locally finite subset of $\ell_2$ admits a $(1+\varepsilon)$-bilipschitz embedding into an arbitrary infinite-dimensional Banach space. The result is based on two results which…

We conjecture that whenever $M$ is a metric space of density at most continuum, then the space of Lipschitz functions is $w^*$-separable. We prove the conjecture for several classes of metric spaces including all the Banach spaces with a…

We study the isometric extension problem for H\"{o}lder maps from subsets of any Banach space into $c_0$ or into a space of continuous functions. For a Banach space $X$, we prove that any $\alpha$-H\"{o}lder map, with $0<\alpha\leq 1$, from…