Is the Nash Embedding Theorem a special case of the Whitney Embedding Theorem?

Solution 1:

Just to add something to Jesse's answer, the idea behind the proof of the Easy Whitney Embedding Theorem is to place different pieces of the given $ n $-dimensional smooth manifold in 'general position' in $ \mathbb{R}^{2n + 1} $. The proof is not very hard to follow; I think that Munkres does a pretty good job in his book Topology. The Hard Whitney Embedding Theorem, which tries to embed a smooth $ n $-dimensional manifold in $ \mathbb{R}^{2n} $, requires a more technical proof. A clever idea, called 'Whitney's trick' nowadays, is the main idea behind the proof. Notice that we have no notion of distance on a general smooth manifold $ M $ unless some metric on $ M $ is specified. Hence, both versions of the Whitney Embedding Theorem do not talk about preserving distances between points when constructing the required smooth embedding.

The Nash Embedding Theorem, however, is much harder. Not only must you embed the given Riemannian manifold in Euclidean space, you must do so isometrically, i.e., in a way that preserves distances between points. This requires the solution of a formidable system of partial differential equations that yields the required isometric embedding. Nash solved this PDE system using a special version of Newton's iteration method, called Newton's method with post-conditioning. When unmodified, Newton's iteration method, in general, fails to converge to a solution because each step of the iteration might result in the loss of derivatives, i.e., the order of differentiability is reduced. Nash recovered the lost derivatives by applying smoothing operators (defined via convolution) at each step of the iteration. This ensures that Newton's iteration method does actually converge to a solution. The application of a smoothing operator at each step is called post-conditioning. As you can see, Nash's result is definitely much harder and requires more technology to prove than Whitney's results.

These two results also have different natures. The Whitney Embedding Theorem is more topological in character, while the Nash Embedding Theorem is a geometrical result (as it deals with metrics). However, the structure of smooth manifolds is sufficiently rigid to ensure that they are also geometrical objects (cf. my comment below Jesse's answer), to which the Nash Embedding Theorem can be applied.

Solution 2:

It's really the other way around: Whitney's Theorem is (in some sense) a special case of Nash's Theorem.

Whitney's Theorem says that every smooth manifold can be smoothly embedded in some euclidean space $\mathbb{R}^N$.

Nash's Theorem says that every Riemannian manifold can be isometrically in some euclidean space $\mathbb{R}^N$, and hence smoothly embedded.

While it's true that every Riemannian manifold is (by definition) a smooth manifold, it's also true that every smooth manifold can be equipped with a Riemannian metric (and thereby becomes a Riemannian manifold).