Exercise 655Topology › Topology of Mn(ℝ) › Exponential, logarithm and group topologyL2Added 6 Nov 2026
The exponential is not injective: rotations as exponentials
#matrix exponential#rotation#kernel
Statement
Let . Show that for all real . Deduce that and that is not injective.
Hint
Compute the powers of : .
Show solutionHide solution
Solution
Powers of . , hence , , and in general , .
Splitting the series. Separating even and odd terms,
The two scalar series are and , so
(Rearranging the series into even and odd parts is allowed by absolute convergence.)
Non-injectivity. but . More generally for all integers .
Remark. This is the matrix version of : the subalgebra of is isomorphic to , with . Non-injectivity of on the real matrices is the same phenomenon as the multivaluedness of the complex logarithm.