Nash embedding theorem

Nash embedding theorem

The Nash embedding theorems (or imbedding theorems), named after John Forbes Nash, state that every Riemannian manifold can be isometrically embedded into some Euclidean space. Isometric means preserving the length of every path. For instance, bending without stretching or tearing a page of paper gives an isometric embedding of the page into Euclidean space because curves drawn on the page retain the same arclength however the page is bent.

The first theorem is for continuously differentiable (C1) embeddings and the second for analytic embeddings or embeddings that are smooth of class Ck, 3 ≤ k ≤ ∞. These two theorems are very different from each other; the first one has a very simple proof and is very counterintuitive, while the proof of the second one is very technical but the result is not at all surprising.

The C1 theorem was published in 1954, the Ck-theorem in 1956. The real analytic theorem was first treated by Nash in 1966; his argument was simplified considerably by Greene & Jacobowitz (1971). (A local version of this result was proved by Élie Cartan and Maurice Janet in the 1920s.) In the real analytic case, the smoothing operators (see below) in the Nash inverse function argument can be replaced by Cauchy estimates. Nash's proof of the Ck- case was later extrapolated into the h-principle and Nash–Moser implicit function theorem. A simplified proof of the second Nash embedding theorem was obtained by Günther (1989) who reduced the set of nonlinear partial differential equations to an elliptic system, to which the contraction mapping theorem could be applied.

Nash–Kuiper theorem (C1 embedding theorem)

Theorem. Let (M,g) be a Riemannian manifold and ƒ:Mm → Rn a short C-embedding (or immersion) into Euclidean space Rn, where n ≥ m+1. Then for arbitrary ε > 0 there is an embedding (or immersion) ƒε : Mm → Rn which is

(i) in class C1,
(ii) isometric: for any two vectors v,w ∈ Tx(M) in the tangent space at xM,
g(v,w)=\langle df_\epsilon(v),df_\epsilon(w)\rangle,
(iii) ε-close to ƒ:
|ƒ(x) − ƒε(x)| < ε for all x ∈ M.

In particular, as follows from the Whitney embedding theorem, any m-dimensional Riemannian manifold admits an isometric C1-embedding into an arbitrarily small neighborhood in 2m-dimensional Euclidean space.

The theorem was originally proved by John Nash with the condition n ≥ m+2 instead of n ≥ m+1 and generalized by Nicolaas Kuiper, by a relatively easy trick.

The theorem has many counterintuitive implications. For example, it follows that any closed oriented Riemannian surface can be C1 isometrically embedded into an arbitrarily small ball in Euclidean 3-space (from the Gauss–Bonnet theorem, there is no such C2-embedding). And, there exist C1 isometric embeddings of the hyperbolic plane in R3.

Ck embedding theorem

The technical statement is as follows: if M is a given m-dimensional Riemannian manifold (analytic or of class Ck, 3 ≤ k ≤ ∞), then there exists a number n (with n ≤ m(3m+11)/2 if M is a compact manifold, or nm(m+1)(3m+11)/2 if M is a non-compact manifold) and an injective map f : MRn (also analytic or of class Ck) such that for every point p of M, the derivative dfp is a linear map from the tangent space TpM to Rn which is compatible with the given inner product on TpM and the standard dot product of Rn in the following sense:

u, v 〉 = dfp(u) · dfp(v)

for all vectors u, v in TpM. This is an undetermined system of partial differential equations (PDEs).

The Nash embedding theorem is a global theorem in the sense that the whole manifold is embedded into Rn. A local embedding theorem is much simpler and can be proved using the implicit function theorem of advanced calculus.[citation needed] The proof of the global embedding theorem relies on Nash's far-reaching generalization of the implicit function theorem, the Nash–Moser theorem and Newton's method with postconditioning. The basic idea of Nash's solution of the embedding problem is the use of Newton's method to prove the existence of a solution to the above system of PDEs. The standard Newton's method fails to converge when applied to the system; Nash uses smoothing operators defined by convolution to make the Newton iteration converge: this is Newton's method with postconditioning. The fact that this technique furnishes a solution is in itself an existence theorem and of independent interest. There is also an older method called Kantorovich iteration that uses Newton's method directly (without the introduction of smoothing operators).

References

  • Greene, Robert E.; Jacobowitz, Howard (1971), "Analytic Isometric Embeddings", Annals of Mathematics (The Annals of Mathematics, Vol. 93, No. 1) 93 (1): 189–204, doi:10.2307/1970760, JSTOR 1970760 
  • Günther, Matthias (1989), "Zum Einbettungssatz von J. Nash [On the embedding theorem of J. Nash]", Math. Nachr. 144: 165–187, doi:10.1002/mana.19891440113 
  • Han, Qing; Hong, Jia-Xing (2006), Isometric Embedding of Riemannian Manifolds in Euclidean Spaces, American Mathematical Society, ISBN 0821840711 
  • Kuiper, N.H. (1955), "On C1-isometric imbeddings I", Nederl. Akad. Wetensch. Proc. Ser. A. 58: 545–556 .
  • Nash, John (1954), "C1-isometric imbeddings", Annals of Mathematics (The Annals of Mathematics, Vol. 60, No. 3) 60 (3): 383–396, doi:10.2307/1969840, JSTOR 1969840 .
  • Nash, John (1956), "The imbedding problem for Riemannian manifolds", Annals of Mathematics 63 (1): 20–63, doi:10.2307/1969989, JSTOR 1969989, MR0075639 .
  • Nash, John (1966), "Analyticity of the solutions of implicit function problem with analytic data", Annals of Mathematics (The Annals of Mathematics, Vol. 84, No. 3) 84 (3): 345–355, doi:10.2307/1970448, JSTOR 1970448 .

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Nash–Moser theorem — The Nash–Moser theorem, attributed to mathematicians John Forbes Nash and Jürgen Moser, is a generalization of the inverse function theorem on Banach spaces to a class of tame Fréchet spaces. In contrast to the Banach space case, in which the… …   Wikipedia

  • Nash-Moser theorem — The Nash Moser theorem, attributed to mathematicians John Forbes Nash and Jurgen Moser is a generalization of the inverse function theorem on Banach spaces to a class of tame Frechet spaces.In contrast to the Banach space case, in which the… …   Wikipedia

  • Nash's theorem — In mathematics, Nash s theorem may refer to one of the following: the Nash embedding theorem in differential geometry; Nash s theorem on the existence of Nash equilibria in game theory. This disambiguation page lists mathematics articles… …   Wikipedia

  • Whitney embedding theorem — In mathematics, particularly in differential topology,there are two Whitney embedding theorems:*The strong Whitney embedding theorem states that any connected smooth m dimensional manifold (required also to be Hausdorff and second countable) can… …   Wikipedia

  • Embedding — In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup.When some object X is said to be embedded in another object Y , the embedding is… …   Wikipedia

  • Nash — See also: Gnash Nash or NASH may refer to: Contents 1 Places 2 People 3 Fictional characters 4 Automotive …   Wikipedia

  • John Forbes Nash, Jr. — Infobox Scientist name = John Forbes Nash, Jr. image size = 180px caption = John Nash at a symposium of game theory at the University of Cologne, Germany (2006) birth date = birth date and age|mf=yes|1928|6|13 birth place = Bluefield, West… …   Wikipedia

  • Théorème de plongement de Nash — En géométrie différentielle, le théorème de plongement de Nash, dû au mathématicien John Forbes Nash, affirme que toute variété riemannienne peut être plongée de manière isométrique dans un espace euclidien. « De manière isométrique »… …   Wikipédia en Français

  • Fundamental theorem of Riemannian geometry — In Riemannian geometry, the fundamental theorem of Riemannian geometry states that on any Riemannian manifold (or pseudo Riemannian manifold) there is a unique torsion free metric connection, called the Levi Civita connection of the given metric …   Wikipedia

  • Einbettungssatz von Nash — Der Einbettungssatz von Nash (nach John Forbes Nash Jr.) ist ein Ergebnis aus dem mathematischen Teilgebiet der riemannschen Geometrie. Er besagt, dass jede riemannsche Mannigfaltigkeit isometrisch in einen euklidischen Raum für ein geeignetes n… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”