Search results
Results from the WOW.Com Content Network
exponential map (Lie theory) from a Lie algebra to a Lie group, More generally, in a manifold with an affine connection, (), where is a geodesic with initial velocity X, is sometimes also called the exponential map. The above two are special cases of this with respect to appropriate affine connections.
Globally, the exponential map is not necessarily surjective. Furthermore, the exponential map may not be a local diffeomorphism at all points. For example, the exponential map from (3) to SO(3) is not a local diffeomorphism; see also cut locus on this failure. See derivative of the exponential map for more information.
The exponential map of the Earth as viewed from the north pole is the polar azimuthal equidistant projection in cartography. 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 ...
It is used to solve systems of linear differential equations. In the theory of Lie groups, the matrix exponential gives the exponential map between a matrix Lie algebra and the corresponding Lie group. Let X be an n×n real or complex matrix. The exponential of X, denoted by e X or exp(X), is the n×n matrix given by the power series = =!
The maps π and Π are Lie algebra and group representations respectively, and exp is the exponential mapping. The diagram commutes only up to a sign if Π is projective. We now outline the proof of the main results above.
The exponential map is a mapping from the tangent space at p to M: : which is a diffeomorphism in a neighborhood of zero. Gauss' lemma asserts that the image of a sphere of sufficiently small radius in T p M under the exponential map is perpendicular to all geodesics originating at p.
The inverse function theorem together with the derivative of the exponential map provides information about the local behavior of exp. Any C k, 0 ≤ k ≤ ∞, ω map f between vector spaces (here first considering matrix Lie groups) has a C k inverse such that f is a C k bijection in an open set around a point x in the domain provided df x is
The exponential map is a diffeomorphism from onto . Using these exponential coordinates, we can identify G {\displaystyle G} with ( R n , ⋆ ) {\displaystyle (\mathbb {R} ^{n},\star )} , where n = dim V 1 + ⋯ + dim V k {\displaystyle n=\dim V_{1}+\cdots +\dim V_{k}} and the operation ⋆ {\displaystyle \star } is given by the Baker ...