Definable versions of theorems by Kirszbraun and Helly

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

Authors: 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 (26)

• Kirszbraun-type theorems for graphs
• A note on Hieronymi's theorem: every definably complete structure is definably Baire
• Whitney's extension problem in o-minimal structures
• On the extension of bi-Lipschitz mappings
• Strict \(\mathcal{C}^p\)-triangulations -- a new approach to desingularization
• On \(p\)-adic semi-algebraic continuous selections
• 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
• Alexandrov meets Kirszbraun
• A definable \(p\)-adic analogue of Kirszbraun's theorem on extensions of Lipschitz maps
• Beth definability and the Stone-Weierstrass theorem
• Lipschitz extensions of definable \(p\)-adic functions
• A combinatorial version of the Svenonius theorem on definability
• Linear extension operators for continuous functions on definable sets in the \(p\)-adic context
• 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
• Michael’s theorem for Lipschitz cells in o-minimal structures
• Michael's selection theorem in d-minimal expansions of the real field
• Definable continuous solutions of linear equations
• Approximation of o-minimal maps satisfying a Lipschitz condition
• Explicit formulas for \(C^{1,1}\) Glaeser-Whitney extensions of \(1\)-Taylor fields in Hilbert spaces

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)