相关论文: Extension of Lipschitz maps definable in Hensel mi…

A direct application of Zorn's Lemma gives that every Lipschitz map $f:X\subset \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$ has an extension to a Lipschitz map $\widetilde f: \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$. This is analogous, but more easy,…

The main purpose is to establish two theorems about closed 0-definable subsets $A$ of an affine space $K^{n}$ over a Hensel minimal field $K$. The first, being a non-Archimedean counterpart of one from o-minimal geometry, states that every…

Kirszbraun's Theorem states that every Lipschitz map $S\to\mathbb R^n$, where $S\subseteq \mathbb R^m$, has an extension to a Lipschitz map $\mathbb R^m \to \mathbb R^n$ with the same Lipschitz constant. Its proof relies on Helly's Theorem:…

This paper deals with the study of parameter dependence of extensions of Lipschitz mappings from the point of view of continuity. We show that if assuming appropriate curvature bounds for the spaces, the multivalued extension operators that…

We prove non-extendability results for Lipschitz maps with target space being jet spaces equipped with a left-invariant Riemannian distance, as well as jet spaces equipped with a left-invariant sub-Riemannian Carnot-Caratheodory distance.…

The aim of this article is to prove a Lipschitz extension theorem for partially defined Lipschitz maps to jet spaces endowed with a left-invariant sub-Riemannian Carnot-Carath\'eodory distance. The jet spaces give a model for a certain…

In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is proper morphism in…

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…

In this paper, the notions of first-order and second-order generalized linear spans and index set are defined. Moreover, their properties are investigated and applied to the studies of extension of isometries. We develop the theory of…

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 introduce and study the notion of an outer bi-Lipschitz extension of a map between Euclidean spaces. The notion is a natural analogue of the notion of a Lipschitz extension of a Lipschitz map. We show that for every map $f$ there exists…

We prove Zilber's Trichotomy Conjecture for strongly minimal expansions of two-dimensional groups, definable in o-minimal structures: Theorem. Let M be an o-minimal expansion of a real closed field, (G;+) a 2-dimensional group definable in…

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…

Let (X,d) be a metric space and $ \alpha > 0 $. In this paper, we study extensions of some complex-valued Lipschitz functions, from some special subset $ X_0 $ to X. These extensions are with no-increasing Lipschitz number or the smallest…

Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…

A metric space $X$ is {\em injective} if every non-expanding map $f:B\to X$ defined on a subspace $B$ of a metric space $A$ can be extended to a non-expanding map $\bar f:A\to X$. We prove that a metric space $X$ is a Lipschitz image of an…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

Brehm's extension theorem states that a non-expansive map on a finite subset of a Euclidean space can be extended to a piecewise-linear map on the entire space. In this note, it is verified that the proof of the theorem is constructive…

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…

This short note contains an elementary observation in response to the recent posting arXiv:1707.06593v1, which studies the Lipschitz extension modulus to $n$ additional points. We bound this modulus in terms of the well-studied Lipschitz…