Every Riemannian manifold can be isometrically embedded into some Euclidean space
The Nash embedding theorems (or imbedding theorems), named after John Forbes Nash Jr., state that every Riemannian manifold can be isometrically embedded into some Euclidean space. Isometric means preserving the length of every path. For instance, bending but neither stretching nor 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 embeddings that are analytic or smooth of class Ck, 3 ≤ k ≤ ∞. These two theorems are very different from each other. The first theorem has a very simple proof but leads to some counterintuitive conclusions, while the second theorem has a technical and counterintuitive proof but leads to a less surprising result.
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 simpler 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.[1]
^Taylor 2011, pp. 147–151.
and 20 Related for: Nash embedding theorems information
topology, there are two Whitney embeddingtheorems, named after Hassler Whitney: The strong Whitney embeddingtheorem states that any smooth real m-dimensional...
geometry, an isometric embedding (immersion) is a smooth embedding (immersion) that preserves length of curves (cf. Nashembeddingtheorem). In general, for...
This is a list of notable theorems. Lists of theorems and similar statements include: List of algebras List of algorithms List of axioms List of conjectures...
measures on X. The Whitney embeddingtheoremsembed any abstract manifold in some Euclidean space. The Nashembeddingtheoremembeds an abstract Riemannian...
W^{\ell ,q}(\mathbf {R} ^{n})} and the embedding is continuous. In the special case of k = 1 and ℓ = 0, Sobolev embedding gives W 1 , p ( R n ) ⊆ L p ∗ ( R...
known as Nash John Forbes Nash Jr. (1928-2015), American mathematician Nash bargaining game, studies NashembeddingtheoremsNash equilibrium, a game theory...
This theorem has a generalization to any compact even-dimensional Riemannian manifold, see generalized Gauss-Bonnet theorem. Nashembeddingtheorems. They...
plane cannot be isometrically embedded into Euclidean 3-space by Hilbert's theorem. On the other hand the Nashembeddingtheorem implies that hyperbolic n-space...
Whitney–Graustein theorem. This was followed by the Nash–Kuiper isometric C1 embeddingtheorem and the Smale–Hirsch immersion theorem. Assume we want to...
embedding of a torus in three-dimensional Euclidean space, the square torus can also be embedded into three-dimensional space, by the Nashembedding theorem;...
integral theorem Computational geometry Fundamental theorem of algebra Lambda calculus Invariance of domain Minkowski inequality Nashembeddingtheorem Open...
notions of isometric embeddings, isometric immersions, and Riemannian submersions; a basic result is the Nashembeddingtheorem. A basic example of maps...
under which it is developable, which can be embedded into three-dimensional space by the Nashembeddingtheorem and has a simple representation in four dimensions...
Moore's law Computing Gordon Moore NashembeddingtheoremNash equilibrium Topology Game Theory John Forbes Nash Nernst equation Electrochemistry Walther...
considered as a structure additional to the intrinsic one. (See the Nashembeddingtheorem.) In the formalism of geometric calculus both extrinsic and intrinsic...
notions of isometric embeddings, isometric immersions, and Riemannian submersions; a basic result is the Nashembeddingtheorem. A basic example of maps...
known for Kuiper's test and proving Kuiper's theorem. He also contributed to the Nashembeddingtheorem. Kuiper studied at University of Leiden in 1937-41...