Maths WorkshopMaths problems with full solutions
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 J=(0−110)J=\begin{pmatrix}0&-1\\1&0\end{pmatrix}. Show that eθJ=Rθ=(cos⁡θ−sin⁡θsin⁡θcos⁡θ)e^{\theta J}=R_\theta=\begin{pmatrix}\cos\theta&-\sin\theta\\\sin\theta&\cos\theta\end{pmatrix} for all real θ\theta. Deduce that e2πJ=Ie^{2\pi J}=I and that exp⁡:M2(R)→GL2(R)\exp:M_2(\mathbb{R})\to GL_2(\mathbb{R}) is not injective.

Hint

Compute the powers of JJ: J2=−IJ^2=-I.

Show solutionHide solution

Solution

Powers of JJ. J2=−IJ^2=-I, hence J3=−JJ^3=-J, J4=IJ^4=I, and in general J2k=(−1)kIJ^{2k}=(-1)^kI, J2k+1=(−1)kJJ^{2k+1}=(-1)^kJ.

Splitting the series. Separating even and odd terms,
eθJ=∑k≥0θ2k(2k)!J2k+∑k≥0θ2k+1(2k+1)!J2k+1=(∑k(−1)kθ2k(2k)!)I+(∑k(−1)kθ2k+1(2k+1)!)J.e^{\theta J}=\sum_{k\ge0}\frac{\theta^{2k}}{(2k)!}J^{2k}+\sum_{k\ge0}\frac{\theta^{2k+1}}{(2k+1)!}J^{2k+1}=\Bigl(\sum_k\frac{(-1)^k\theta^{2k}}{(2k)!}\Bigr)I+\Bigl(\sum_k\frac{(-1)^k\theta^{2k+1}}{(2k+1)!}\Bigr)J.
The two scalar series are cos⁡θ\cos\theta and sin⁡θ\sin\theta, so
eθJ=cos⁡θ I+sin⁡θ J=(cos⁡θ−sin⁡θsin⁡θcos⁡θ)=Rθ.e^{\theta J}=\cos\theta\,I+\sin\theta\,J=\begin{pmatrix}\cos\theta&-\sin\theta\\\sin\theta&\cos\theta\end{pmatrix}=R_\theta.
(Rearranging the series into even and odd parts is allowed by absolute convergence.)

Non-injectivity. e2πJ=R2π=I=e0e^{2\pi J}=R_{2\pi}=I=e^{0} but 2πJ≠02\pi J\ne0. More generally e(θ+2πk)J=eθJe^{(\theta+2\pi k)J}=e^{\theta J} for all integers kk.

Remark. This is the matrix version of eiθ=cos⁡θ+isin⁡θe^{i\theta}=\cos\theta+i\sin\theta: the subalgebra {aI+bJ}\{aI+bJ\} of M2(R)M_2(\mathbb{R}) is isomorphic to C\mathbb{C}, with J↔iJ\leftrightarrow i. Non-injectivity of exp⁡\exp on the real matrices is the same phenomenon as the multivaluedness of the complex logarithm.