Definable versions of theorems by Kirszbraun and Helly

DOI10.1112/PLMS/PDQ029MaRDI QIDQ3084580zbMATH OpenOpenAlexFDO

Authors Matthias Aschenbrenner, Andreas Fischer

Publication date 25 March 2011

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

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

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)

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.

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

Cited in

(26)

• Explicit formulas for \(C^{1,1}\) Glaeser-Whitney extensions of \(1\)-Taylor fields in Hilbert spaces
• 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
• On \(p\)-adic semi-algebraic continuous selections
• Strict \(\mathcal{C}^p\)-triangulations -- a new approach to desingularization
• Discrete versions of the Beckman-Quarles theorem from the definability results of R. M. Robinson
• Expansions of real closed fields with the Banach fixed point property
• Alexandrov meets Kirszbraun
• A definable \(p\)-adic analogue of Kirszbraun's theorem on extensions of Lipschitz maps
• Beth definability and the Stone-Weierstrass theorem
• A combinatorial version of the Svenonius theorem on definability
• Lipschitz extensions of definable \(p\)-adic functions
• Linear extension operators for continuous functions on definable sets in the \(p\)-adic context
• Definable smoothing of continuous functions
• 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
• 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
• Approximation of o-minimal maps satisfying a Lipschitz condition
• Michael's selection theorem in d-minimal expansions of the real field
• Definable continuous solutions of linear equations

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)