Definable versions of theorems by Kirszbraun and Helly. (English) Zbl 1220.03026
Summary: Kirszbraun’s Theorem states that every Lipschitz map \(S \rightarrow \mathbb R^n\), where \(S\subseteq \mathbb R^m\), has an extension to a Lipschitz map \(\mathbb R^m \rightarrow \mathbb 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.
MSC:
03C64 | Model theory of ordered structures; o-minimality |
12J15 | Ordered fields |
52A35 | Helly-type theorems and geometric transversal theory |
52A41 | Convex functions and convex programs in convex geometry |