Exponential map - Wikipedia, the free encyclopedia
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
The exponential map of the Earth as viewed from the north pole is the polar azimuthal equidistant projection in cartography.
Exponential map
From Wikipedia, the free encyclopedia
In differential geometry, the exponential map is a
generalization of the ordinary exponential function
of mathematical analysis to all differentiable
manifolds with an affine connection. Two important
special cases of this are the exponential map for a
manifold with a Riemannian metric, and the
exponential map from a Lie algebra to a Lie group.
Contents
1 Definition
2 Lie theory
2.1 Definitions
2.2 Examples
2.3 Properties
3 Riemannian geometry
3.1 Properties
4 Relationships
5 See also
6 Notes
7 References Definition
Let M be a differentiable manifold and p a point of M . An affine connection on M allows one to define the notion of a geodesic through the point p .[1]
Let v ∈ T p M be a tangent vector to the manifold at p . Then there is a unique
geodesic γv satisfying γv (0) = p with initial tangent vector γ′v (0) = v . The corresponding exponential map is defined by exp p (v ) = γv (1). In general, the
exponential map is only locally defined , that is, it only takes a small neighborhood of the origin at T p M , to a neighborhood of p in the manifold. This is because it relies on the theorem on existence and uniqueness for ordinary differential
equations which is local in nature. An affine connection is called complete if the exponential map is well-defined at every point of the tangent bundle.
Lie theory
In the theory of Lie groups, the exponential map is a map from the Lie algebra of
a Lie group to the group which allows one to recapture the local group structure from the Lie algebra. The existence of the exponential map is one of the primary justifications for the study of Lie groups at the level of Lie algebras.
The ordinary exponential function of mathematical analysis is a special case of the exponential map when G is the multiplicative group of positive real numbers (whose Lie algebra is the additive group of all real numbers). The exponential map of a Lie group satisfies many properties analogous to those of the ordinary exponential function, however, it also differs in many important respects.
Definitions
Let be a Lie group and be its Lie algebra (thought of as the tangent space to the identity element of ). The exponential map is a map
which can be defined in several different ways as follows:
It is the exponential map of a canonical left-invariant affine connection on G, such that parallel transport is given by left translation.
It is the exponential map of a canonical right-invariant affine connection on
G. This is usually different from the canonical left-invariant connection, but
both connections have the same geodesics (orbits of 1-parameter subgroups
acting by left or right multiplication) so give the same exponential map.
It is given by where
is the unique one-parameter subgroup of whose tangent vector at the identity is equal to . It follows easily from the chain rule that .
The map may be constructed as the integral curve of either the right- or
left-invariant vector field associated with . That the integral curve exists for all real parameters follows by right- or left-translating the solution near zero.
If is a matrix Lie group, then the exponential map coincides with the matrix exponential and is given by the ordinary series expansion:
(here is the identity matrix).
If G is compact, it has a Riemannian metric invariant under left and right
translations, and the exponential map is the exponential map of this Riemannian
metric.
Examples
The unit circle centered at 0 in the complex plane is a Lie group (called the circle group) whose tangent space at 1 can be identified with the imaginary line in the complex plane, The exponential map for this Lie group is given by
that is, the same formula as the ordinary complex exponential.
In the split-complex number plane the imaginary line forms the Lie algebra of the unit hyperbola group
since the exponential map is given by
The unit 3-sphere centered at 0 in the quaternions H is a Lie group
(isomorphic to the special unitary group ) whose tangent space at 1 can be identified with the space of purely imaginary quaternions,
The exponential map for this Lie group is given by
This map takes the 2-sphere of radius inside the purely imaginary
quaternions to a 2-sphere of radius
when . Compare this to the first example above.
Properties
For all , the map is the unique one-parameter subgroup of whose tangent vector at the identity is . It follows that:
The exponential map is a smooth map. Its derivative at the
identity, , is the identity map (with the usual identifications).
The exponential map, therefore, restricts to a diffeomorphism from some
neighborhood of 0 in to a neighborhood of 1 in .
The exponential map is not, however, a covering map in general – it is not a
local diffeomorphism at all points. For example, so(3) to SO(3) is not a
covering map; see also cut locus on this failure.
The image of the exponential map always lies in the identity component of .
When is compact, the exponential map is surjective onto the identity
component.
The image of the exponential map of the connected but non-compact group SL2(R) is not the whole group. Its image consists of C-diagonalizable matrices with eigenvalues either positive or with module 1, and of non-diagonalizable
trigonalizable matrices with eigenvalue 1.
The map is the integral curve through the identity of both the right- and left-invariant vector fields associated to .
The integral curve through of the left-invariant vector field
associated to is given by . Likewise, the integral curve through of the right-invariant vector field is given by . It follows that the flows generated by the vector fields are given by:
Since these flows are globally defined, every left- and right-invariant vector field on is complete.
Let be a Lie group homomorphism and let be its derivative at the
identity. Then the following diagram commutes:
In particular, when applied to the adjoint action of a group we have
Riemannian geometry
In Riemannian geometry, an exponential map is a map from a subset of a tangent space T p M of a Riemannian manifold (or pseudo-Riemannian manifold) M to M itself. The (pseudo) Riemannian metric determines a canonical affine connection, and the exponential map of the (pseudo) Riemannian manifold is given by the exponential map of this connection.
Properties
Intuitively speaking, the exponential map takes a given tangent vector to the manifold, runs along the geodesic starting at that point and going in that direction, for a unit time. Since v corresponds to the velocity vector of the geodesic, the actual (Riemannian) distance traveled will be dependent on that. We can also reparametrize geodesics to be unit speed, so equivalently we can define
exp p(v) = β(|v|) where β is the unit-speed geodesic (geodesic parameterized by arc length) going in the direction of v. As we vary the tangent vector v we will get, when applying exp p, different points on M which are within some distance from the base point p—this is perhaps one of the most concrete ways of demonstrating that the tangent space to a manifold is a kind of "linearization" of the manifold.
The Hopf–Rinow theorem asserts that it is possible to define the exponential map on the whole tangent space if and only if the manifold is complete as a metric space (which justifies the usual term geodesically complete for a manifold having an exponential map with this property). In particular, compact manifolds are geodesically complete. However even if exp p is defined on the whole tangent space,
it will in general not be a global diffeomorphism. However, its differential at the origin of the tangent space is the identity map and so, by the inverse function theorem we can find a neighborhood of the origin of T p M on which the exponential map is an embedding (i.e., the exponential map is a local diffeomorphism). The radius of the largest ball about the origin in T p M that can be mapped diffeomorphically via exp p is called the injectivity radius of M at p. The cut locus of the exponential map is, roughly speaking, the set of all points where the exponential map fails to have a unique minimum.
An important property of the exponential map is the following lemma of Gauss (yet another Gauss's lemma): given any tangent vector v in the domain of definition of exp p, and another vector w based at the tip of v (hence w is actually in the double-tangent space T v(T p M)) and orthogonal to v, remains orthogonal to v when pushed forward via the exponential map. This means, in particular, that the boundary sphere of a small ball about the origin in T p M is orthogonal to the geodesics in M determined by those vectors (i.e., the geodesics are radial). This motivates the definition of geodesic normal coordinates on a Riemannian manifold.
The exponential map is also useful in relating the abstract definition of curvature to the more concrete realization of it originally conceived by Riemann himself—the sectional curvature is intuitively defined as the Gaussian curvature of some surface (i.e., a slicing of the manifold by a 2-dimensional submanifold) through the point p in consideration. Via the exponential map, it now can be precisely defined as the Gaussian curvature of a surface through p determined by the image under exp p of a 2-dimensional subspace of T p M.
Relationships
In the case of Lie groups with a bi-invariant metric—a pseudo-Riemannian metric invariant under both left and right translation—the exponential maps of the pseudo-
Riemannian structure are the same as the exponential maps of the Lie group. In general, Lie groups do not have a bi-invariant metric, though all connected semi-simple (or reductive) Lie groups do. The existence of a bi-invariant Riemannian metric is stronger than that of a pseudo-Riemannian metric, and implies that the Lie algebra is the Lie algebra of a compact Lie group; conversely, any compact (or abelian) Lie group has such a Riemannian metric.
Take the example that gives the "honest" exponential map. Consider the positive real numbers R+, a Lie group under the usual multiplication. Then each tangent space is just R. On each copy of R at the point y, we introduce the modified inner product
(multiplying them as usual real numbers but scaling by y2). (This is what makes the metric left-invariant, for left multiplication by a factor will just pull out of the inner product, twice — canceling the square in the denominator).
Consider the point 1 ∈ R+, and x ∈ R an element of the tangent space at 1. The usual straight line emanating from 1, namely y(t) = 1 + xt covers the same path as a geodesic, of course, except we have to reparametrize so as to get a curve with constant speed ("constant speed", remember, is not going to be the ordinary constant speed, because we're using this funny metric). To do this we reparametrize by arc length (the integral of the length of the tangent vector in the norm induced by the modified metric):
and after inverting the function to obtain t as a function of s, we substitute and get
Now using the unit speed definition, we have
,
giving the expected e x.
The Riemannian distance defined by this is simply
,
a metric which should be familiar to anyone who has drawn graphs on log paper. See also
List of exponential topics
Notes
1. ^ A source for this section is Kobayashi & Nomizu (1975, §III.6), which uses the term
"linear connection" where we use "affine connection" instead.
References
do Carmo, Manfredo P. (1992), Riemannian Geometry, Birkhäuser, ISBN 0-8176-3490-8. See Chapter 3.
Cheeger, Jeff; Ebin, David G. (1975), Comparison Theorems in Riemannian
Geometry, Elsevier. See Chapter 1, Sections 2 and 3.
Hazewinkel, Michiel, ed. (2001), "Exponential mapping"
(/index.php?title=p/e036930), Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Helgason, Sigurdur (2001), Differential geometry, Lie groups, and symmetric spaces, Graduate Studies in Mathematics 34, Providence, R.I.: American
Mathematical Society, ISBN 978-0-8218-2848-9, MR 1834454
(https:///mathscinet-getitem?mr=1834454).
Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of Differential
Geometry, Vol. 1 (New ed.), Wiley-Interscience, ISBN 0-471-15733-3.
Retrieved from "/w/index.php?
title=Exponential_map&oldid=602570281"
Categories: Exponentials Lie groups Riemannian geometry
This page was last modified on 3 April 2014 at 12:36.
Text is available under the Creative Commons Attribution-ShareAlike License;
additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia
Foundation, Inc., a non-profit organization.。