For a Matrix Lie group with Lie algebra , its exponential map is the restriction of the matrix exponential, . It maps into and is a local diffeomorphism at zero, but it need not be surjective globally.
A real matrix with at least one simple negative eigenvalue cannot be a matrix exponential of a real matrix: a logarithm would commute with it and preserve each one-dimensional real negative-eigenvalue space, where exponentiation can only produce a positive eigenvalue. In particular belongs to the connected special linear group but has no real logarithm.
Articles by others on the same topic
There are currently no matching articles.