DOI QR코드

DOI QR Code

AFFINENESS OF DEFINABLE Cr MANIFOLDS AND ITS APPLICATIONS

  • Kawakami, Tomohiro (Department of Mathematics, Faculty of Education, Wakayama University)
  • Published : 2003.02.01

Abstract

Let M be an exponentially bounded o-minimal expansion of the standard structure R = (R ,+,.,<) of the field of real numbers. We prove that if r is a non-negative integer, then every definable $C^{r}$ manifold is affine. Let f : X ${\longrightarrow}$ Y be a definable $C^1$ map between definable $C^1$ manifolds. We show that the set S of critical points of f and f(S) are definable and dim f(S) < dim Y. Moreover we prove that if 1 < s < ${\gamma}$ < $\infty$, then every definable $C^{s}$ manifold admits a unique definable $C^{r}$ manifold structure up to definable $C^{r}$ diffeomorphism.

Keywords

References

  1. Trans. Amer. Math. Soc. v.267 A relative Nash theorem S. Akbulut;H. King https://doi.org/10.1090/S0002-9947-1981-0626484-4
  2. Current developments in Math. O-minimal structures and real analytic geometry L. van den Dries
  3. Lecture notes series 248 Tame topology and o-minimal structures L. van den Dries
  4. Ann. Math. v.140 The elementary theory of restricted analytic field with exponentiation L. van den Dries;A. Macintyre;D. Marker https://doi.org/10.2307/2118545
  5. Duke Math. J. v.84 Geometric categories and o-minimal structures L. van den Dries;C. Miller https://doi.org/10.1215/S0012-7094-96-08416-1
  6. Trans. Amer. Math. Soc. v.350 The real field with convergent generalized power series L. van den Dries;P. Speissegger https://doi.org/10.1090/S0002-9947-98-02105-9
  7. Differential topology M. W. Hirsch
  8. Preprint Equivariant definable $C^r$ approximation theorem, definable $C^r$G triviality of G invariant definable $C^r$ functions and compactifications T. Kawakami
  9. Topology Appl. v.123 no.2 Equivariant differential topology in an o-minimal expansion of he field of real numbers T. Kawakami https://doi.org/10.1016/S0166-8641(01)00200-0
  10. Bull. Korean Math. Soc. v.36 no.1 Imbeddings of manifolds defined on an o-minimal structure on (R, +, · , <) T. Kawakami
  11. Proc. Amer. Math. Soc. v.122 Exponentiation is hard to avoid C. Miller https://doi.org/10.2307/2160869
  12. Trans. Amer. Math. Soc. Definably simple groups in o-minimal structures Y. Peterzil;A. Pillay;S. Starchenko
  13. Proc. Amer. Math. Soc. v.96 Abstract Nash manifolds M. Shiota https://doi.org/10.2307/2045671
  14. Progress in Math. v.150 Geometry of subanalyitc and semialgebraic sets M. Shiota
  15. A decision method for elementary algebra and geometry (2nd edition. revised) A.Tarski
  16. Annali Sc. Norm. Sup. Pisa v.27 Su una congettura di Nash A. Tognoli
  17. Duke Math J. v.1 A functions not constant on a connected set of critical points H. Whitney https://doi.org/10.1215/S0012-7094-35-00138-7