A remark on $\mathscr C^\infty $ definable equivalence

Autorzy

Dane publikacji

  • DOI: 10.4064/ap230321-10-8

  • Tom 131

  • Zeszyt 1

  • Czasopismo: Annales Polonici Mathematici

  • Strony: 79-84

  • Data publikacji online: 05.09.2023

Liczba wyświetleń: 0

Liczba pobrań: 0

Abstrakt

We establish that if a submanifold $M$ of $\mathbb R^n$ is definable in some o-minimal structure then any definable submanifold $N\subset \mathbb R^n$ which is $\mathscr C^\infty $ diffeomorphic to $M$, with a diffeomorphism $h:N\to M$ that is sufficiently close to the identity, must be $\mathscr C^\infty $ definably diffeomorphic to $M$. The definable diffeomorphism between $N$ and $M$ is then provided by a tubular neighborhood of $M$.