Riemannian Submanifold

	Riemannian Submanifold A Riemannian submanifold ''N'' of a Riemannian manifold ''M'' is a submanifold of ''M'' equipped with the Riemannian metric inherited from ''M''. The image of an isometric immersion 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 g ... is a Riemannian submanifold. References Riemannian manifolds {{differential-geometry-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Riemannian Manifold In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real manifold, real, smooth manifold ''M'' equipped with a positive-definite Inner product space, inner product ''g''''p'' on the tangent space ''T''''p''''M'' at each point ''p''. The family ''g''''p'' of inner products is called a metric tensor, Riemannian metric (or Riemannian metric tensor). Riemannian geometry is the study of Riemannian manifolds. A common convention is to take ''g'' to be Smoothness, smooth, which means that for any smooth coordinate chart on ''M'', the ''n''2 functions :g\left(\frac,\frac\right):U\to\mathbb are smooth functions. These functions are commonly designated as g_. With further restrictions on the g_, one could also consider Lipschitz continuity, Lipschitz Riemannian metrics or Measurable function, measurable Riemannian metrics, among many other possibilities. A Riemannian metric (tensor) makes it possible to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Submanifold In mathematics, a submanifold of a manifold ''M'' is a subset ''S'' which itself has the structure of a manifold, and for which the inclusion map satisfies certain properties. There are different types of submanifolds depending on exactly which properties are required. Different authors often have different definitions. Formal definition In the following we assume all manifolds are differentiable manifolds of class ''C''''r'' for a fixed , and all morphisms are differentiable of class ''C''''r''. Immersed submanifolds An immersed submanifold of a manifold ''M'' is the image ''S'' of an immersion map ; in general this image will not be a submanifold as a subset, and an immersion map need not even be injective (one-to-one) – it can have self-intersections. More narrowly, one can require that the map be an injection (one-to-one), in which we call it an injective immersion, and define an immersed submanifold to be the image subset ''S'' together with a topology and differentia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Riemannian Metric In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g''''p'' on the tangent space ''T''''p''''M'' at each point ''p''. The family ''g''''p'' of inner products is called a Riemannian metric (or Riemannian metric tensor). Riemannian geometry is the study of Riemannian manifolds. A common convention is to take ''g'' to be smooth, which means that for any smooth coordinate chart on ''M'', the ''n''2 functions :g\left(\frac,\frac\right):U\to\mathbb are smooth functions. These functions are commonly designated as g_. With further restrictions on the g_, one could also consider Lipschitz Riemannian metrics or measurable Riemannian metrics, among many other possibilities. A Riemannian metric (tensor) makes it possible to define several geometric notions on a Riemannian manifold, such as angle at an intersection, length of a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Isometric Immersion 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]