Riemannian manifold
Encyclopedia : R : RI : RIE : Riemannian manifold
In Riemannian geometry, a Riemannian manifold (M, g), named after Bernhard Riemann, is a real differentiable manifold M in which each tangent space is equipped with an inner product g in a manner which varies smoothly from point to point. This allows one to define various notions such as the length of curves, angles, areas (or volumes), curvature, gradients of functions and divergence of vector fields.
Introduction
The tangent bundle of a smooth manifold M (or indeed, any vector bundle over a manifold) is, at a fixed point, just a vector space and each such space can carry an inner product. If such a collection of inner products on the tangent bundle of a manifold vary smoothly as one traverses the manifold, then concepts that were defined only pointwise at each tangent space can be extended to yield analogous notions over finite regions of the manifold. For example, a smooth curve α(t): [0, 1] → M has tangent vector α′(t0) in the tangent space TM(t0) at any point t0 ∈ (0, 1), and each such vector has length ||α′(t0)||, where ||·|| denotes the norm induced by the inner product on TM(t0). The integral of these lengths gives the length of the curve α:
- [L(\alpha) = \int_0^1(t)\|\, \mathrmt}.]
Every smooth submanifold of Rn has an induced Riemannian metric g: the inner product on each tangent space is the restriction of the inner product on Rn. In fact, as follows from the Nash embedding theorem, all Riemannian manifolds can be realized this way. In particular one could define Riemannian manifold as a metric space which is isometric to a smooth submanifold of Rn with the induced intrinsic metric, where isometry here is meant in the sense of preserving the length of curves. This definition might theoretically not be flexible enough, but it is quite useful to build the first geometric intuitions in Riemannian geometry.
Riemannian manifolds as metric spaces
Usually a Riemannian manifold is defined as a smooth manifold with a smooth section of positive-definite quadratic forms on the tangent bundle. Then one has to work to show that it can be turned to a metric space:
If γ: [a, b] → M is a continuously differentiable curve in the Riemannian manifold M, then we define its length L(γ) in analogy with the example above by
- [L(\gamma) = \int_a^b \|\gamma'(t)\|\, \mathrmt.]
- d(x,y) = inf.
Properties
In Riemannian manifolds, the notions of geodesic completeness, topological completeness and metric completeness are the same: that each implies the other is the content of the Hopf-Rinow theorem.
See also
References
- Jurgen Jost, Riemannian Geometry and Geometric Analysis, (2002) Springer-Verlag, Berlin ISBN 3-540-4267-2
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.