MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 829
Preprint Number 829
829. Raf Cluckers, Florent Martin A definable, p-adic analogue of Kirszbraun's Theorem on extensions of
Lipschitz maps E-mail: Submission date: 10 Februay 2015 Abstract: A direct application of Zorn's Lemma gives that every Lipschitz map f:X\subset Q_p^n --> Q_p^\ell has an extension to a Lipschitz map \widetilde f: Q_p^n --> Q_p^\ell. This is analogous, but more easy, to Kirszbraun's Theorem about the existence of Lipschitz extensions of Lipschitz maps S\subset R^n --> R^\ell. Recently, Fischer and Aschenbrenner obtained a definable version of Kirszbraun's Theorem. In the present paper, we prove in the p-adic context that \widetilde f 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 Q_p^n to the topological closure of X when X is definable. Mathematics Subject Classification: 03C98, 12J25 (Primary), 03C60, 32Bxx, 11S80 (Secondary) Keywords and phrases: |

Last updated: March 23 2021 10:23 | Please send your corrections to: |