A DEFINABLE -ADIC ANALOGUE OF KIRSZBRAUN’S THEOREM ON EXTENSIONS OF LIPSCHITZ MAPS

DOI10.1017/S1474748015000390zbMATH Open1436.03196arXiv1502.03036MaRDI QIDQ4600328FDOQ4600328

Florent Martin, Raf Cluckers

Publication date: 8 January 2018

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• \(p\)-adic and real subanalytic sets
• The rationality of the Poincaré series associated to the p-adic points on a variety
• Algebraic theories with definable Skolem functions
• On definable subsets of p-adic fields
• A version of o-minimality for the p-adics
• Fields with analytic structure
• p-adic semi-algebraic sets and cell decomposition.
• Definable versions of theorems by Kirszbraun and Helly
• On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation
• Decision procedures for real and p‐adic fields
• Cell Decomposition and Local Zeta Functions in a Tower of Unramified Extensions of a p -Adic Field
• Über die zusammenziehende und Lipschitzsche Transformationen
• Presburger sets and p-minimal fields
• Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions
• CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS INp-OPTIMAL FIELDS
• Approximations and Lipschitz continuity in \(p\)-adic semi-algebraic and subanalytic geometry
• Trees of definable sets over the p-adics
• Lipschitz extensions of definable p‐adic functions

Cited In (3)

• 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
• On p‐adic semi‐algebraic continuous selections

This page was built for publication: A DEFINABLE -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)