PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very low Entry average rating: No information on entry rating
Nash isometric embedding theorem (Theorem)

Every compact $ n$-dimensional Riemannian manifold $ M$ of class $ C^k$ ( $ 3\le k\le\infty$) can be $ C^k$-isometrically imbedded in any small portion of a Euclidean space $ \mathbb{R}^N$, where

$\displaystyle N=\frac 12 n(3n+11). $
Every non-compact $ n$-dimensional Riemannian manifold $ M$ of class $ C^k$ ( $ 3\le k\le\infty$) can be $ C^k$-isometrically imbedded in any small portion of a Euclidean space $ \mathbb{R}^N$, where
$\displaystyle N=(n+1)\frac 12 n(3n+11). $

The original proof due to Nash relying on an iteration scheme has been considerably simplified. For an overview, see [2].

Bibliography

1
Nash, J. F., The imbedding problem for Riemannian manifold, Ann. of Math. 63 (1956), 20-63 (MR 17, 782)
2
D. Yang, Gunther's proof of Nash's isometric embedding theorem, online



Anyone with an account can edit this entry. Please help improve it!

"Nash isometric embedding theorem" is owned by Simone. [ full author list (4) ]
(view preamble)

View style:

Log in to rate this entry.
(view current ratings)

Cross-references: scheme, iteration, proof, Euclidean space, class, Riemannian manifold, compact

This is version 4 of Nash isometric embedding theorem, born on 2006-01-21, modified 2007-10-06.
Object id is 7569, canonical name is NashIsometricEmbeddingTheorem.
Accessed 2209 times total.

Classification:
AMS MSC53C20 (Differential geometry :: Global differential geometry :: Global Riemannian geometry, including pinching)
 53C42 (Differential geometry :: Global differential geometry :: Immersions )
 57R40 (Manifolds and cell complexes :: Differential topology :: Embeddings)
 58A05 (Global analysis, analysis on manifolds :: General theory of differentiable manifolds :: Differentiable manifolds, foundations)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy
Nash embedding theorem by matte on 2006-01-25 14:41:25
An interesting PR stunt could be to type in Nash's proof of
the embedding theorem into PM. Of course, properly expanded
into a readable proof-tree of attached and autolinked entries
(or "de-linearized").

This could be a good way to showcase the ability of PM. For example,
it would be quite impressive in a demonstration or talk about PM.
From a more practical point of view, it is also a good way
to find missing results on PM.

As there are shorter ways to prove this result nowadays, it
might not be impossible to get official permission from Annals
for this. It would seem that the original article is more of
a historical value (?).

(I am not familiar with the proof, but I doubt that it
is completely straightforward :-) It might very well be that
it is too big a piece to handle. Maybe it would be easier to start
with a "big result" that is already in the public domain in some
old math book? That would give some experience in handling
bigger projects on PM.
[ reply | up ]

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)