A definable p-adic analogue of Kirszbraun's theorem on extensions of Lipschitz maps

DOI10.1017/S1474748015000390MaRDI QIDQ4600328zbMATH OpenFDO

Authors Raf Cluckers, Florent Martin

Publication date 8 January 2018

Published in Journal of the Institute of Mathematics of Jussieu (Search for Journal in Brave)

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

zbMATH Keywords

Lipschitz continuous functions\(p\)-adic cell decomposition\(p\)-adic semi-algebraic functions\(p\)-adic subanalytic functionsdefinable retractions

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Non-Archimedean valued fields (12J25) Other analytic theory (analogues of beta and gamma functions, (p)-adic integration, etc.) (11S80) Applications of model theory (03C98)

Abstract: A direct application of Zorn's Lemma gives that every Lipschitz map $f:Xsubsetmathbb{Q}_p^{n}omathbb{Q}_p^{e}ll$ has an extension to a Lipschitz map $widetildef:mathbb{Q}_p^{n}omathbb{Q}_p^{e}ll$. This is analogous, but more easy, to Kirszbraun's Theorem about the existence of Lipschitz extensions of Lipschitz maps $Ssubsetmathbb{R}^{n}omathbb{R}^{e}ll$. Recently, Fischer and Aschenbrenner obtained a definable version of Kirszbraun's Theorem. In the present paper, we prove in the $p$-adic context that $widetildef$ can be taken definable when $f$ is definable, where definable means semi-algebraic or subanalytic (or, some intermediary notion). We proceed by proving the existence of definable, Lipschitz retractions of $mathbb{Q}_p^n$ to the topological closure of $X$ when $X$ is definable.

Recommendations

• Lipschitz extensions of definable \(p\)-adic functions
• Kirszbraun's theorem via an explicit formula
• Definable versions of theorems by Kirszbraun and Helly
• Kirszbraun's theorem and metric spaces of bounded curvature
• Extending Lipschitz mappings continuously

Cites work

• scientific article; zbMATH DE number 6000848 (Why is no real title available?)
• scientific article; zbMATH DE number 53780 (Why is no real title available?)
• scientific article; zbMATH DE number 3800367 (Why is no real title available?)
• A version of o-minimality for the p-adics
• Algebraic theories with definable Skolem functions
• Approximations and Lipschitz continuity in \(p\)-adic semi-algebraic and subanalytic geometry
• Cell Decomposition and Local Zeta Functions in a Tower of Unramified Extensions of a p -Adic Field
• Cell decomposition and classification of definable sets in \(p\)-optimal fields
• Decision procedures for real and p‐adic fields
• Definable versions of theorems by Kirszbraun and Helly
• Fields with analytic structure
• Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions
• Lipschitz extensions of definable \(p\)-adic functions
• On definable subsets of p-adic fields
• On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation
• Presburger sets and p-minimal fields
• The rationality of the Poincaré series associated to the p-adic points on a variety
• Trees of definable sets over the \(p\)-adics
• \(p\)-adic and real subanalytic sets
• p-adic semi-algebraic sets and cell decomposition.
• Über die zusammenziehende und Lipschitzsche Transformationen

Cited in

(5)

• On \(p\)-adic semi-algebraic continuous selections
• Lipschitz extensions of definable \(p\)-adic functions
• Linear extension operators for continuous functions on definable sets in the \(p\)-adic context
• A closedness theorem over Henselian fields with analytic structure and its applications
• Definable versions of theorems by Kirszbraun and Helly

This page was built for publication: A definable \(p\)-adic analogue of Kirszbraun's theorem on extensions of Lipschitz maps

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