On Whitney embedding of o-minimal manifolds

MaRDI QIDQ6317029zbMATH OpenFDO

Authors Ricardo Bianconi, Rodrigo Figueiredo, Robson A. Figueiredo

Publication date 10 April 2019

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Real algebraic and real-analytic geometry (14Pxx)

Abstract: We prove a definable version of the Whitney embedding theorem for abstract-definable $mathcal{C}^p$ manifolds with $1leqp<infty$, namely: every abstract-definable $mathcal{C}^p$ manifold is abstract-definable $C^p$ embedded into $R^N$, for some positive integer $N$. As a consequence, we show that every abstract-definable $mathcal{C}^p$ manifold has a compatible $mathcal{C}^{p+1}$ atlas.

This page was built for publication: On Whitney embedding of o-minimal manifolds

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