Definable versions of theorems by Kirszbraun and Helly

DOI10.1112/PLMS/PDQ029zbMATH Open1220.03026arXiv0906.1168OpenAlexW3103673959MaRDI QIDQ3084580FDOQ3084580

Matthias Aschenbrenner, Andreas Fischer

Publication date: 25 March 2011

Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)

Abstract: Kirszbraun's Theorem states that every Lipschitz map $Somathbb{R}^n$, where $Ssubseteqmathbb{R}^m$, has an extension to a Lipschitz map $mathbb{R}^{m}omathbb{R}^n$ with the same Lipschitz constant. Its proof relies on Helly's Theorem: every family of compact subsets of $mathbb{R}^n$, having the property that each of its subfamilies consisting of at most $n+1$ sets share a common point, has a non-empty intersection. We prove versions of these theorems valid for definable maps and sets in arbitrary definably complete expansions of ordered fields.

Full work available at URL: https://arxiv.org/abs/0906.1168

Recommendations

• A definable \(p\)-adic analogue of Kirszbraun's theorem on extensions of Lipschitz maps
• Kirszbraun's theorem via an explicit formula
• Kirszbraun-type theorems for graphs
• Alexandrov meets Kirszbraun
• Lipschitz extensions of definable \(p\)-adic functions

zbMATH Keywords

Helly's theoremKirszbraun's theoremdefinable mapsdefinably complete expansions of ordered fields

Mathematics Subject Classification ID

Convex functions and convex programs in convex geometry (52A41) Model theory of ordered structures; o-minimality (03C64) Helly-type theorems and geometric transversal theory (52A35) Ordered fields (12J15)

Cited In (24)

• Whitney's extension problem in o-minimal structures
• Linear extension operators for continuous functions on definable sets in the p‐adic context
• Lipschitz extensions of definable p‐adic functions
• On the extension of bi-Lipschitz mappings
• Strict \(\mathcal{C}^p\)-triangulations -- a new approach to desingularization
• Expansions of real closed fields with the Banach fixed point property
• Discrete versions of the Beckman-Quarles theorem from the definability results of R. M. Robinson
• Explicit formulas for 𝐶^{1,1} Glaeser-Whitney extensions of 1-Taylor fields in Hilbert spaces
• A Note on Hieronymi’s Theorem: Every Definably Complete Structure Is Definably Baire
• Beth definability and the Stone-Weierstrass theorem
• Michael’s Selection Theorem in d-minimal expansions of the real field
• A combinatorial version of the Svenonius theorem on definability
• Strict \(\mathcal{C}^p\)-triangulations of sets locally definable in o-minimal structures with an application to a \(\mathcal{C}^p\)-approximation problem
• A closedness theorem over Henselian fields with analytic structure and its applications
• Definable smoothing of continuous functions
• Effective definability of Kolchin polynomials
• Definably complete structures are not pseudo-enumerable
• Transseries and Todorov-Vernaeve's asymptotic fields
• Kirszbraun’s Theorem via an Explicit Formula
• On p‐adic semi‐algebraic continuous selections
• Michael’s theorem for Lipschitz cells in o-minimal structures
• Definable continuous solutions of linear equations
• Approximation of o-minimal maps satisfying a Lipschitz condition
• A DEFINABLE -ADIC ANALOGUE OF KIRSZBRAUN’S THEOREM ON EXTENSIONS OF LIPSCHITZ MAPS

This page was built for publication: Definable versions of theorems by Kirszbraun and Helly

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3084580)