Unit tangent bundle

Unit tangent bundle

In mathematics, the unit tangent bundle of a Finsler manifold ("M", || . ||), denoted by UT("M") or simply UT"M", is a fiber bundle over "M" given by the disjoint union

:mathrm{UT} (M) := coprod_{x in M} left{ v in mathrm{T}_{x} (M) left| | v |_{x} = 1 ight. ight},

where T"x"("M") denotes the tangent space to "M" at "x". Thus, elements of UT("M") can be viewed as pairs ("x", "v"), where "x" is some point of the manifold and "v" is some tangent direction (of unit length) to the manifold at "x". The unit tangent bundle is equipped with a natural projection

:pi : mathrm{UT} (M) o M,:pi : (x, v) mapsto x,

which takes each point of the bundle to its base point.

If "M" is a finite-dimensional manifold of dimension "n", then the fiber "π"−1("x") over a point "x" ∈ "M" is an ("n"−1)-sphere S"n"−1, so the unit tangent bundle is a sphere bundle over "M" with fiber S"n"−1. More precisely, the unit tangent bundle UT("M") is the unit sphere bundle for the tangent bundle T("M").

If "M" is an infinite-dimensional manifold (for example, a Banach, Fréchet or Hilbert manifold), then UT("M") can still be thought of as the unit sphere bundle for the tangent bundle T("M"), but the fibre "π"−1("x") over "x" is then an infinite-dimensional sphere, and is certainly no longer a finite-dimensional sphere of dimension one less than that of "M".

Since a Riemannian manifold ("M", "g") is also a Finsler manifold with respect to the usual induced norm

:| v |_{x} := sqrt{g(v, v)_{x mbox{ for } v in mathrm{T}_{x} M,

the unit tangent bundle UT("M") is also defined for Riemannian manifolds.

The unit tangent bundle is useful in the study of the geodesic flow.


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Tangent bundle — In mathematics, the tangent bundle of a smooth (or differentiable) manifold M , denoted by T ( M ) or just TM , is the disjoint unionThe disjoint union assures that for any two points x 1 and x 2 of manifold M the tangent spaces T 1 and T 2 have… …   Wikipedia

  • Fiber bundle — In mathematics, in particular in topology, a fiber bundle (or fibre bundle) is a space which looks locally like a product space. It may have a different global topological structure in that the space as a whole may not be homeomorphic to a… …   Wikipedia

  • Line bundle — In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example a curve in the plane having a tangent line at each point determines a varying line: the tangent bundle is a way of organising… …   Wikipedia

  • Principal bundle — In mathematics, a principal bundle is a mathematical object which formalizes some of the essential features of a Cartesian product X times; G of a space X with a group G . Analogous to the Cartesian product, a principal bundle P is equipped with… …   Wikipedia

  • Geodesic — [ great circle arcs.] In mathematics, a geodesic IPA|/ˌdʒiəˈdɛsɪk, ˈdisɪk/ [jee uh des ik, dee sik] is a generalization of the notion of a straight line to curved spaces . In presence of a metric, geodesics are defined to be (locally) the… …   Wikipedia

  • Poincaré half-plane model — Stellated regular heptagonal tiling of the model.In non Euclidean geometry, the Poincaré half plane model is the upper half plane, together with a metric, the Poincaré metric, that makes it a model of two dimensional hyperbolic geometry.It is… …   Wikipedia

  • SL2(R) — In mathematics, the special linear group SL2(R) is the group of all real 2 times; 2 matrices with determinant one:: mbox{SL} 2(mathbb{R}) = left{ egin{bmatrix}a b c dend{bmatrix} : a,b,c,dinmathbb{R}mbox{ and }ad bc=1 ight}.It is a real Lie… …   Wikipedia

  • Stiefel manifold — In mathematics, the Stiefel manifold V k (R n ) is the set of all orthonormal k frames in R n . That is, it is the set of ordered k tuples of orthonormal vectors in R n . Likewise one can define the complex Stiefel manifold V k (C n ) of… …   Wikipedia

  • Closed geodesic — In differential geometry and dynamical systems, a closed geodesic on a Riemannian manifold M is the projection of a closed orbit of the geodesic flow on M. Contents 1 Examples 2 Definition 3 See also 4 …   Wikipedia

  • List of mathematics articles (U) — NOTOC U U duality U quadratic distribution U statistic UCT Mathematics Competition Ugly duckling theorem Ulam numbers Ulam spiral Ultraconnected space Ultrafilter Ultrafinitism Ultrahyperbolic wave equation Ultralimit Ultrametric space… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”