Lipschitz extensions of definable p-adic functions

DOI10.1002/MALQ.201400014MaRDI QIDQ5258476zbMATH OpenOpenAlexFDO

Authors Tristan Kuijpers

Publication date 22 June 2015

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

field of \(p\)-adic numbersKirszbraun theoremLipschitz functionnon-Archimedean setting

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Non-Archimedean valued fields (12J25)

Abstract: In this paper, we prove a definable version of Kirszbraun's theorem in a non-Archimedean setting for definable families of functions in one variable. More precisely, we prove that every definable function $f:XimesYomathbb{Q}_p^s$, where $Xsubsetmathbb{Q}_p$ and $Ysubsetmathbb{Q}_p^r$, that is $lambda$-Lipschitz in the first variable, extends to a definable function $ildef:mathbb{Q}_{p}imesYomathbb{Q}_p^s$ that is $lambda$-Lipschitz in the first variable.

Recommendations

• A definable p-adic analogue of Kirszbraun's theorem on extensions of Lipschitz maps
• Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions
• Minimal Lipschitz extensions to differentiable functions defined on a Hilbert space
• Definable versions of theorems by Kirszbraun and Helly
• Linear extension operators for continuous functions on definable sets in the \(p\)-adic context

Cites work

• p-adic and real subanalytic sets
• A version of o-minimality for the p-adics
• Algebraic theories with definable Skolem functions
• Analytic $p$-adic cell decomposition and integrals
• Approximations and Lipschitz continuity in \(p\)-adic semi-algebraic and subanalytic geometry
• Decision procedures for real and p‐adic fields
• Definable versions of theorems by Kirszbraun and Helly
• scientific article; zbMATH DE number 3800367 (Why is no real title available?)
• Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions
• On definable subsets of p-adic fields
• p-adic semi-algebraic sets and cell decomposition.
• The rationality of the Poincaré series associated to the p-adic points on a variety

Cited in

(8)

• Approximations and Lipschitz continuity in \(p\)-adic semi-algebraic and subanalytic geometry
• Definable versions of theorems by Kirszbraun and Helly
• Complex continuations of ℝ_an,exp-definable unary functions with a diophantine application
• scientific article; zbMATH DE number 3871352 (Why is no real title available?)
• A definable p-adic analogue of Kirszbraun's theorem on extensions of Lipschitz maps
• Linear extension operators for continuous functions on definable sets in the \(p\)-adic context
• Tame topology in hensel minimal structures
• Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions

This page was built for publication: Lipschitz extensions of definable \(p\)-adic functions

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