Riemannian submanifold

Last updated
The sphere
S
n
{\displaystyle S^{n}}
with the round metric is a Riemannian submanifold of
R
n
+
1
{\displaystyle \mathbb {R} ^{n+1}}
. Sphere filled blue.svg
The sphere with the round metric is a Riemannian submanifold of .

A Riemannian submanifold of a Riemannian manifold is a submanifold of equipped with the Riemannian metric inherited from .

Specifically, if is a Riemannian manifold (with or without boundary) and is an immersed submanifold or an embedded submanifold (with or without boundary), the pullback of is a Riemannian metric on , and is said to be a Riemannian submanifold of . On the other hand, if already has a Riemannian metric , then the immersion (or embedding) is called an isometric immersion (or isometric embedding ) if . Hence isometric immersions and isometric embeddings are Riemannian submanifolds. [1] [2]

For example, the n-sphere is an embedded Riemannian submanifold of via the inclusion map that takes a point in to the corresponding point in the superset . The induced metric on is called the round metric.

Related Research Articles

<span class="mw-page-title-main">Metric space</span> Mathematical space with a notion of distance

In mathematics, a metric space is a set together with a notion of distance between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setting for studying many of the concepts of mathematical analysis and geometry.

In mathematics, an embedding is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup.

In differential geometry, a Riemannian manifold or Riemannian space(M, g), so called after the German mathematician Bernhard Riemann, is a real, smooth manifold M equipped with a positive-definite inner product gp on the tangent space TpM at each point p and with a proper connection.

<span class="mw-page-title-main">Isometry</span> Distance-preserving mathematical transformation

In mathematics, an isometry is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος isos meaning "equal", and μέτρον metron meaning "measure". If the transformation is from a metric space to itself, it is a kind of geometric transformation known as a motion.

In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature Kp) depends on a two-dimensional linear subspace σp of the tangent space at a point p of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σp as a tangent plane at p, obtained from geodesics which start at p in the directions of σp. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.

In mathematical physics, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the requirement of positive-definiteness is relaxed.

<span class="mw-page-title-main">Hyperbolic space</span> Non-Euclidean geometry

In mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to −1. It is homogeneous, and satisfies the stronger property of being a symmetric space. There are many ways to construct it as an open subset of with an explicitly written Riemannian metric; such constructions are referred to as models. Hyperbolic 2-space, H2, which was the first instance studied, is also called the hyperbolic plane.

This is a glossary of some terms used in Riemannian geometry and metric geometry — it doesn't cover the terminology of differential topology.

This is a glossary of terms specific to differential geometry and differential topology. The following three glossaries are closely related:

<span class="mw-page-title-main">Complex manifold</span> Manifold

In differential geometry and complex geometry, a complex manifold is a manifold with an atlas of charts to the open unit disc in the complex coordinate space , such that the transition maps are holomorphic.

<span class="mw-page-title-main">Submanifold</span> Subset of a manifold that is a manifold itself; an injective immersion into a manifold

In mathematics, a submanifold of a manifold is a subset 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.

In differential geometry, the Laplace–Beltrami operator is a generalization of the Laplace operator to functions defined on submanifolds in Euclidean space and, even more generally, on Riemannian and pseudo-Riemannian manifolds. It is named after Pierre-Simon Laplace and Eugenio Beltrami.

<span class="mw-page-title-main">Manifold</span> Topological space that locally resembles Euclidean space

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an -dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space.

In differential geometry, a field of mathematics, a normal bundle is a particular kind of vector bundle, complementary to the tangent bundle, and coming from an embedding.

In differential geometry, a branch of mathematics, a Riemannian submersion is a submersion from one Riemannian manifold to another that respects the metrics, meaning that it is an orthogonal projection on tangent spaces.

<span class="mw-page-title-main">Immersion (mathematics)</span> Differentiable function whose derivative is everywhere injective

In mathematics, an immersion is a differentiable function between differentiable manifolds whose differential pushforward is everywhere injective. Explicitly, f : MN is an immersion if

In differential geometry, Mikhail Gromov's filling area conjecture asserts that the hemisphere has minimum area among the orientable surfaces that fill a closed curve of given length without introducing shortcuts between its points.

In mathematics, a Riemannian manifold is said to be flat if its Riemann curvature tensor is everywhere zero. Intuitively, a flat manifold is one that "locally looks like" Euclidean space in terms of distances and angles, e.g. the interior angles of a triangle add up to 180°.

In geometry, if X is a manifold with an action of a topological group G by analytical diffeomorphisms, the notion of a (G, X)-structure on a topological space is a way to formalise it being locally isomorphic to X with its G-invariant structure; spaces with a (G, X)-structure are always manifolds and are called (G, X)-manifolds. This notion is often used with G being a Lie group and X a homogeneous space for G. Foundational examples are hyperbolic manifolds and affine manifolds.

In the mathematical subject of geometric group theory, the Švarc–Milnor lemma is a statement which says that a group , equipped with a "nice" discrete isometric action on a metric space , is quasi-isometric to .

References

  1. Lee, John (2018). Introduction to Riemannian Manifolds (2nd ed.).
  2. Chen, Bang-Yen (1973). Geometry of Submanifolds. New York: Mercel Dekker. p. 298. ISBN   0-8247-6075-1.