Nash Embedding Theorem
   HOME
*





Nash Embedding Theorem
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 (''C''1) 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 ''C''1 theorem was published in 1954, the ''Ck''-theorem in 1956. The real analytic theorem was first treated ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

John Forbes Nash Jr
John Forbes Nash Jr. (June 13, 1928 – May 23, 2015) was an American mathematician who made fundamental contributions to game theory, real algebraic geometry, differential geometry, and partial differential equations. Nash and fellow game theorists John Harsanyi and Reinhard Selten were awarded the 1994 Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel (popularly known as the Nobel Prize in Economics). In 2015, he and Louis Nirenberg were awarded the Abel Prize for their contributions to the field of partial differential equations. As a graduate student in the Mathematics Department at Princeton University, Nash introduced a number of concepts (including Nash equilibrium and the Nash bargaining solution) which are now considered central to game theory and its applications in various sciences. In the 1950s, Nash discovered and proved the Nash embedding theorems by solving a system of nonlinear partial differential equations arising in Riemannian ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Topological 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 given by some injective and structure-preserving map f:X\rightarrow Y. The precise meaning of "structure-preserving" depends on the kind of mathematical structure of which X and Y are instances. In the terminology of category theory, a structure-preserving map is called a morphism. The fact that a map f:X\rightarrow Y is an embedding is often indicated by the use of a "hooked arrow" (); thus: f : X \hookrightarrow Y. (On the other hand, this notation is sometimes reserved for inclusion maps.) Given X and Y, several different embeddings of X in Y may be possible. In many cases of interest there is a standard (or "canonical") embedding, like those of the natural numbers in the integers, the integers in the rational numbers, the rational numbe ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Closed Manifold
In mathematics, a closed manifold is a manifold without boundary that is compact. In comparison, an open manifold is a manifold without boundary that has only ''non-compact'' components. Examples The only connected one-dimensional example is a circle. The sphere, torus, and the Klein bottle are all closed two-dimensional manifolds. A line is not closed because it is not compact. A closed disk is a compact two-dimensional manifold, but it is not closed because it has a boundary. Open manifolds For a connected manifold, "open" is equivalent to "without boundary and non-compact", but for a disconnected manifold, open is stronger. For instance, the disjoint union of a circle and a line is non-compact since a line is non-compact, but this is not an open manifold since the circle (one of its components) is compact. Abuse of language Most books generally define a manifold as a space that is, locally, homeomorphic to Euclidean space (along with some other technical con ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Shiing-Shen Chern
Shiing-Shen Chern (; , ; October 28, 1911 – December 3, 2004) was a Chinese-American mathematician and poet. He made fundamental contributions to differential geometry and topology. He has been called the "father of modern differential geometry" and is widely regarded as a leader in geometry and one of the greatest mathematicians of the twentieth century, winning numerous awards and recognition including the Wolf Prize and the inaugural Shaw Prize. In memory of Shiing-Shen Chern, the International Mathematical Union established the Chern Medal in 2010 to recognize "an individual whose accomplishments warrant the highest level of recognition for outstanding achievements in the field of mathematics". Chern worked at the Institute for Advanced Study (1943–45), spent about a decade at the University of Chicago (1949-1960), and then moved to University of California, Berkeley, where he co-founded the Mathematical Sciences Research Institute in 1982 and was the institute's found ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Scalar Curvature
In the mathematical field of Riemannian geometry, the scalar curvature (or the Ricci scalar) is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry of the metric near that point. It is defined by a complicated explicit formula in terms of partial derivatives of the metric components, although it is also characterized by the volume of infinitesimally small geodesic balls. In the context of the differential geometry of surfaces, the scalar curvature is twice the Gaussian curvature, and completely characterizes the curvature of a surface. In higher dimensions, however, the scalar curvature only represents one particular part of the Riemann curvature tensor. The definition of scalar curvature via partial derivatives is also valid in the more general setting of pseudo-Riemannian manifolds. This is significant in general relativity, where scalar curvature of a Lorentzian metric is one of t ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Einstein Manifold
In differential geometry and mathematical physics, an Einstein manifold is a Riemannian or pseudo-Riemannian differentiable manifold whose Ricci tensor is proportional to the metric. They are named after Albert Einstein because this condition is equivalent to saying that the metric is a solution of the vacuum Einstein field equations (with cosmological constant), although both the dimension and the signature of the metric can be arbitrary, thus not being restricted to Lorentzian manifolds (including the four-dimensional Lorentzian manifolds usually studied in general relativity). Einstein manifolds in four Euclidean dimensions are studied as gravitational instantons. If ''M'' is the underlying ''n''-dimensional manifold, and ''g'' is its metric tensor, the Einstein condition means that :\mathrm = kg for some constant ''k'', where Ric denotes the Ricci tensor of ''g''. Einstein manifolds with are called Ricci-flat manifolds. The Einstein condition and Einstein's equation ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Hyperbolic Plane
In mathematics, hyperbolic geometry (also called Lobachevskian geometry or Bolyai– Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with: :For any given line ''R'' and point ''P'' not on ''R'', in the plane containing both line ''R'' and point ''P'' there are at least two distinct lines through ''P'' that do not intersect ''R''. (Compare the above with Playfair's axiom, the modern version of Euclid's parallel postulate.) Hyperbolic plane geometry is also the geometry of pseudospherical surfaces, surfaces with a constant negative Gaussian curvature. Saddle surfaces have negative Gaussian curvature in at least some regions, where they locally resemble the hyperbolic plane. A modern use of hyperbolic geometry is in the theory of special relativity, particularly the Minkowski model. When geometers first realised they were working with something other than the standard Euclidean geometry, they described their geomet ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

David Hilbert
David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician, one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many areas, including invariant theory, the calculus of variations, commutative algebra, algebraic number theory, the foundations of geometry, spectral theory of operators and its application to integral equations, mathematical physics, and the foundations of mathematics (particularly proof theory). Hilbert adopted and defended Georg Cantor's set theory and transfinite numbers. In 1900, he presented a collection of problems that set the course for much of the mathematical research of the 20th century. Hilbert and his students contributed significantly to establishing rigor and developed important tools used in modern mathematical physics. Hilbert is known as one of the founders of proof theory and mathematical logic. Life Early life and edu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Hilbert's Theorem (differential Geometry)
In differential geometry, Hilbert's theorem (1901) states that there exists no complete regular surface S of constant negative gaussian curvature K immersed in \mathbb^. This theorem answers the question for the negative case of which surfaces in \mathbb^ can be obtained by isometrically immersing complete manifolds with constant curvature. History * Hilbert's theorem was first treated by David Hilbert in "Über Flächen von konstanter Krümmung" ( Trans. Amer. Math. Soc. 2 (1901), 87–99). * A different proof was given shortly after by E. Holmgren in "Sur les surfaces à courbure constante négative" (1902). * A far-leading generalization was obtained by Nikolai Efimov in 1975.Ефимов, Н. В. Непогружаемость полуплоскости Лобачевского. Вестн. МГУ. Сер. мат., мех. — 1975. — No 2. — С. 83—86. Proof The proof of Hilbert's theorem is elaborate and requires several lemmas. The idea is to show the nonexisten ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Nicolaas Kuiper
Nicolaas Hendrik Kuiper (; 28 June 1920 – 12 December 1994) was a Dutch mathematician, known for Kuiper's test and proving Kuiper's theorem. He also contributed to the Nash embedding theorem. Kuiper studied at University of Leiden in 1937-41, and worked as a secondary school teacher of mathematics in Dordrecht in 1942-47. He completed his Ph.D. in differential geometry from the University of Leiden in 1946 under the supervision of Willem van der Woude. In 1947 he came to the United States at the invitation of Oscar Veblen, where he stayed at the Institute for Advanced Study for one year as Veblen's assistant, and the second year as member of the IAS, meeting Shiing-Shen Chern, and he also went to the University of Michigan at Ann Arbor. In February to June 1954, he went for a second time to Ann Arbor where he met Raoul Bott and his student Stephen Smale. In 1950 he was appointed professor of mathematics (and statistics) at the Agricultural University of Wageningen. In 1957, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Uniform Convergence
In the mathematical field of analysis, uniform convergence is a mode of convergence of functions stronger than pointwise convergence. A sequence of functions (f_n) converges uniformly to a limiting function f on a set E if, given any arbitrarily small positive number \epsilon, a number N can be found such that each of the functions f_N, f_,f_,\ldots differs from f by no more than \epsilon ''at every point'' x ''in'' E. Described in an informal way, if f_n converges to f uniformly, then the rate at which f_n(x) approaches f(x) is "uniform" throughout its domain in the following sense: in order to guarantee that f_n(x) falls within a certain distance \epsilon of f(x), we do not need to know the value of x\in E in question — there can be found a single value of N=N(\epsilon) ''independent of x'', such that choosing n\geq N will ensure that f_n(x) is within \epsilon of f(x) ''for all x\in E''. In contrast, pointwise convergence of f_n to f merely guarantees that for any x\in E given ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Immersion (mathematics)
In mathematics, an immersion is a differentiable function between differentiable manifolds whose differential (or pushforward) is everywhere injective. Explicitly, is an immersion if :D_pf : T_p M \to T_N\, is an injective function at every point ''p'' of ''M'' (where ''TpX'' denotes the tangent space of a manifold ''X'' at a point ''p'' in ''X''). Equivalently, ''f'' is an immersion if its derivative has constant rank equal to the dimension of ''M'': :\operatorname\,D_p f = \dim M. The function ''f'' itself need not be injective, only its derivative must be. A related concept is that of an embedding. A smooth embedding is an injective immersion that is also a topological embedding, so that ''M'' is diffeomorphic to its image in ''N''. An immersion is precisely a local embedding – that is, for any point there is a neighbourhood, , of ''x'' such that is an embedding, and conversely a local embedding is an immersion. For infinite dimensional manifolds, this is sometimes ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]