Approximations and Lipschitz continuity in p-adic semi-algebraic and subanalytic geometry

DOI10.1007/S00029-012-0088-0MaRDI QIDQ1925773zbMATH OpenOpenAlexFDO

Authors Raf Cluckers, Immanuel Halupczok

Publication date 19 December 2012

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

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

zbMATH Keywords

\(p\)-adic cell decomposition\(p\)-adic semi-algebraic functions\(p\)-adic subanalytic functionsLipschitz continuous functions

Mathematics Subject Classification ID

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

Abstract: It was already known that a p-adic, locally Lipschitz continuous semi-algebraic function is piecewise Lipschitz continuous, where the pieces can be taken semi-algebraic. We prove that if the function has locally Lipschitz constant 1, then it is also piecewise Lipschitz continuous with the same Lipschitz constant 1. We do this by proving the following fine preparation results for p-adic semi-algebraic functions in one variable. Any such function can be well approximated by a monomial with fractional exponent such that moreover the derivative of the monomial is an approximation of the derivative of the function. We also prove these results in parametrized versions and in the subanalytic setting.

Recommendations

• Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions
• Lipschitz extensions of definable \(p\)-adic functions
• Exposants de Lojasiewicz dans le cas semi-algebrique p-adique
• Some problems in the theory of approximation of functions on the group of \(p\)-adic numbers
• On p-adic semi-algebraic continuous selections

Cites work

• p-adic and real subanalytic sets
• Analytic $p$-adic cell decomposition and integrals
• Comparison of some notions of \(C^k\)-maps in multi-variable non-archimedian analysis
• Decision procedures for real and p‐adic fields
• Fields with analytic structure
• scientific article; zbMATH DE number 177491 (Why is no real title available?)
• Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions
• On definable subsets of p-adic fields
• One-Dimensional p -Adic Subanalytic Sets
• p-adic semi-algebraic sets and cell decomposition.
• Presburger sets and p-minimal fields
• The rationality of the Poincaré series associated to the p-adic points on a variety

Cited in

(8)

• Exception sets of intrinsic and piecewise Lipschitz functions
• Motivic local density
• Non-Archimedean Yomdin-Gromov parametrizations and points of bounded height
• A definable p-adic analogue of Kirszbraun's theorem on extensions of Lipschitz maps
• On p-adic semi-algebraic continuous selections
• DIFFERENTIATION IN P-MINIMAL STRUCTURES AND A p-ADIC LOCAL MONOTONICITY THEOREM
• Lipschitz extensions of definable \(p\)-adic functions
• Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions

This page was built for publication: Approximations and Lipschitz continuity in \(p\)-adic semi-algebraic and subanalytic geometry

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