Content deleted Content added
m typos, replaced: non trivial → nontrivial (2), non compact → noncompact using AWB (8277) |
TakuyaMurata (talk | contribs) m TakuyaMurata moved page Nash functions to Nash function over redirect: Prefer singular to plural |
||
| (3 intermediate revisions by 3 users not shown) | |||
Line 9:
==Nash manifolds==
Along with Nash functions one defines '''Nash manifolds''', which are semialgebraic analytic submanifolds of some '''R'''<sup>''n''</sup>. A Nash mapping
between Nash manifolds is then an analytic mapping with semialgebraic graph. Nash functions and manifolds are named after [[John Forbes Nash, Jr.]], who proved (1952) that any compact [[differentiable manifold|smooth manifold]] admits a Nash manifold structure, i.e., is [[diffeomorphic]] to some Nash manifold. More generally, a smooth manifold admits a Nash manifold structure if and only if it is diffeomorphic to the interior of some compact smooth manifold possibly with boundary. Nash's result was later (1973) completed by [[Alberto Tognoli]] who proved that any compact smooth manifold is diffeomorphic to some affine real algebraic manifold; actually, any Nash manifold is Nash diffeomorphic to an affine real algebraic manifold. These results exemplify the fact that the Nash category is somewhat intermediate between the smooth and the algebraic categories.
==Local properties==
The local properties of Nash functions are well understood. The ring of [[germ (mathematics)|germs]] of Nash functions at a point of a Nash manifold of dimension ''n'' is isomorphic to the ring of algebraic [[power series]] in ''n'' variables (i.e., those series satisfying a nontrivial polynomial equation), which is the [[hensel's lemma|henselization]] of the ring of germs of rational functions. In particular, it is a [[regular local ring]] of dimension ''n''.
==Global properties==
Line 31:
#J. Bochnak, M. Coste and M-F. Roy: Real algebraic geometry. Springer, 1998.
#M. Coste, J.M. Ruiz and M. Shiota: Global problems on Nash functions. Revista
#G. Efroymson: A Nullstellensatz for Nash rings. Pacific J. Math. 54 (1974), 101--112.
#J.F. Nash : Real algebraic manifolds. Annals of Mathematics 56 (1952), 405--421.
| |||