Related papers: An implicit function theorem for Lipschitz mapping…

We prove a global implicit function theorem. In particular we show that any Lipschitz map $f:\bR^n\times \bR^m\to\bR^n$ (with $n$-dim. image) can be precomposed with a bi-Lipschitz map $\bar{g}:\bR^n\times \bR^m\to \bR^n\times \bR^m$ such…

We find necessary and sufficient conditions for a Lipschitz map $f:\mathbb{R}E\to X$, into a metric space to have the image with the $k$-dimensional Hausdorff measure equal zero, $H^k(f(E))=0$. An interesting feature of our approach is that…

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…

Since the Hadamard Theorem, several metric and topological conditions have emerged in the literature to date, yielding global inversion and implicit theorems for functions in different settings. Relevant examples are the mappings between…

We give the following characterization of rectifiable metric spaces. A metric space with positive lower Hausdorff density is rectifiable if and only if, for any subset $F$ and $f:F\to Y$, a Lipschitz map into a metric space with positive…

We give sufficient conditions for a metric space to bilipschitz embed in L_1. In particular, if X is a length space and there is a Lipschitz map u:X--->R such that for every interval I in R, the connected components of the inverse image…

There have been many parallel streams of research studying order isomorphisms of some specific sets $G$ of functions from a set $X$ to $\mathbb{R}\cup\{\pm\infty\}$, such as the sets of convex or Lipschitz functions. We develop in this…

We prove a quantitative version of the following statement. Given a Lipschitz function f from the k-dimensional unit cube into a general metric space, one can decomposed f into a finite number of BiLipschitz functions f|_{F_i} so that the…

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,…

We investigate when the local Lipschitz property of the real-valued function $g(z) = d_Y (f(z),A)$ implies the global Lipschitz property of the mapping $f:X\to Y$ between the metric spaces $(X,d_X)$ and $(Y,d_Y)$. Here, $d_Y(y,A)$ denotes…

Let (X, d) be a quasi-convex, complete and separable metric space with reference probability measure m. We prove that the set of of real valued Lipschitz function with non zero point-wise Lipschitz constant m-almost everywhere is residual,…

Given a Lipschitz map $f$ from a cube into a metric space, we find several equivalent conditions for $f$ to have a Lipschitz factorization through a metric tree. As an application we prove a recent conjecture of David and Schul. The…

Let $ f: \mathbb{R} ^ n \rightarrow \mathbb{R}^n $ be a Lipschitz mapping with generalized Jacobian at $x_0$, denoted by $\partial f(x_0)$, is of maximal rank. F. H. Clarke (1976) proved that $f$ is locally invertible. In this paper, we…

We present a way to turn an arbitrary (unbounded) metric space $\mathcal{M}$ into a bounded metric space $\mathcal{B}$ in such a way that the corresponding Lipschitz-free spaces $\mathcal{F}(\mathcal{M})$ and $\mathcal{F}(\mathcal{B})$ are…

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…

A general fixed point theorem for isometries in terms of metric functionals is proved under the assumption of the existence of a conical bicombing. It is new even for isometries of Banach spaces as well as for non-locally compact…

We characterise purely $n$-unrectifiable subsets $S$ of a complete metric space $X$ with finite Hausdorff $n$-measure by studying arbitrarily small perturbations of elements of the set of all bounded 1-Lipschitz functions $f\colon X \to…

Suppose A is an open subset of a Carnot group G, where G has a discrete analogue, and H is another Carnot group. We show that a Lipschitz function from A to H whose image has positive Hausdorff measure in the appropriate dimension is…

The paper deals with a comprehensive theory of mappings, whose local behavior can be described by means of linear subspaces, contained in the graphs of two (primal and dual) generalized derivatives. This class of mappings includes 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…