Related papers: Hard Sard: Quantitative Implicit Function and Exte…

The following theorem is proved: Let M be a locally Lipschitz hypersurface in C^n with one-sided extension property at each point (e.g., without analytic discs). Let S be a closed subset of M and f : M \ S ---> C^m \ E is a CR-mapping of…

We prove that for every $n\in \mathbb{N}$ there exists a metric space $(X,d_X)$, an $n$-point subset $S\subseteq X$, a Banach space $(Z,\|\cdot\|_Z)$ and a $1$-Lipschitz function $f:S\to Z$ such that the Lipschitz constant of every function…

Any Lipschitz map $f : M \to N$ between two pointed metric spaces may be extended in a unique way to a bounded linear operator $\widehat{f} : \mathcal F(M) \to \mathcal F(N)$ between their corresponding Lipschitz-free spaces. In this paper,…

We study the quantitative properties of Lipschitz mappings from Euclidean spaces into metric spaces. We prove that it is always possible to decompose the domain of such a mapping into pieces on which the mapping "behaves like a projection…

Let $X$ be a subset of a Hilbert space. We prove that if $v\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…

Let $X, Y$ be complete metric spaces and $E, F$ be Banach spaces. A bijective linear operator from a space of $E$-valued functions on $X$ to a space of $F$-valued functions on $Y$ is said to be biseparating if $f$ and $g$ are disjoint if…

In this paper, we establish a theorem on extension of Lipschitz maps $f$ definable in Hensel minimal fields $K$. This may be regarded as a definable, non-Archimedean, non-locally compact version of Kirszbraun's extension theorem. We proceed…

We study transversality for Lipschitz-Fredholm maps in the context of bounded Fr\'{e}chet manifolds. We show that the set of all Lipschitz-Fredholm maps of a fixed index between Fr\'{e}chet spaces has the transverse stability property. We…

Let $X,Y$ be two Hilbert spaces, $E$ a subset of $X$ and $G: E \to Y$ a Lipschitz mapping. A famous theorem of Kirszbraun's states that there exists $\widetilde{G} : X \to Y$ with $\widetilde{G}=G$ on $E$ and…

We generalize a bi-Lipschitz extension result of David and Semmes from Euclidean spaces to complete metric measure spaces with controlled geometry (Ahlfors regularity and supporting a Poincar\'e inequality). In particular, we find sharp…

We study classes of domains in $\mathbb{R}^{d+1},\ d \geq 2$ with sufficiently flat boundaries that admit a decomposition or covering of bounded overlap by Lipschitz graph domains with controlled total surface area. This study is motivated…

Two representations theorems are presented: 1. Any Borel action of a second countable locally compact group $G$ on a standard Borel space $X$ admits an injective $G$-equivariant Borel map into the shift space of $1$-Lipschitz functions from…

A recognized trend of research investigates generalizations of the Hadamard's inversion theorem to functions that may fail to be differentiable. In this vein, the present paper explores some consequences of a recent result about the…

The purpose of this note is to point out a simple consequence of some earlier work of the authors, "Hard Sard: Quantitative implicit function and extension theorems for Lipschitz maps". For $f$, a Lipschitz function from a Euclidean space…

Let $U\subseteq\mathbb{R}^{n}$ be open and convex. We show that every (not necessarily Lipschitz or strongly) convex function $f:U\to\mathbb{R}$ can be approximated by real analytic convex functions, uniformly on all of $U$. In doing so we…

In this paper, we prove a definable version of Kirszbraun's theorem in a non-Archimedean setting for definable families of functions in one variable. More precisely, we prove that every definable function $f : X \times Y \to…

Any Lipschitz map $f\colon M \to N$ between metric spaces can be "linearised" in such a way that it becomes a bounded linear operator $\widehat{f}\colon \mathcal F(M) \to \mathcal F(N)$ between the Lipschitz-free spaces over $M$ and $N$.…

We consider subsets $S$ of a metric space $M$ such that Lipschitz mappings defined on $S$ can be extended to Lipschitz mappings on $M$, and we show that the union of such subsets has the same property under appropriate geometric conditions.…

We show that inclusions of $p$-metric spaces always produce genuine linear embeddings at the level of Lipschitz-free $p$-spaces. More precisely, for every $0<p<1$ and every inclusion $ \mathit{N}\subset \mathit{M}$ of $p$-metric spaces, the…

We prove a non-smooth generalization of the global implicit function theorem. More precisely we use the non-smooth local implicit function theorem and the non-smooth critical point theory in order to prove a non-smooth global implicit…