Maths WorkshopMaths problems with full solutions
Exercise 1375Topology › Topology of Mn(ℝ) › Exponential, logarithm and group topologyL3Added 6 Nov 2026

The exponential maps skew-symmetric matrices onto SO(n)

#orthogonal group#skew-symmetric#normal form#connectedness

Statement

Let Skewn\mathrm{Skew}_n be the space of skew-symmetric matrices. Show that exp⁡(Skewn)=SO(n)\exp(\mathrm{Skew}_n)=SO(n). Deduce that SO(n)SO(n) is connected.

Hint

For "⊂\subset": (eK)T=eKT(e^K)^T=e^{K^T}. For "⊃\supset": use the normal form of an orthogonal matrix, a block-diagonal matrix with rotation blocks RθjR_{\theta_j} and a block of ±1\pm1.

Show solutionHide solution

Solution

Inclusion exp⁡(Skewn)⊂SO(n)\exp(\mathrm{Skew}_n)\subset SO(n). Let KT=−KK^T=-K. Transposition commutes with the series (it is linear and continuous), so (eK)T=eKT=e−K=(eK)−1(e^K)^T=e^{K^T}=e^{-K}=(e^K)^{-1}, where the last equality uses eKe−K=e0=Ie^Ke^{-K}=e^0=I. Hence eKe^K is orthogonal. Moreover det⁡eK=etr⁡K=e0=1\det e^K=e^{\operatorname{tr}K}=e^0=1 since a skew-symmetric matrix has zero diagonal.

Reverse inclusion. Let U∈SO(n)U\in SO(n). By the spectral theorem for orthogonal matrices there is Q∈O(n)Q\in O(n) with
U=Q diag(Rθ1,…,Rθm, ε1,…,εp) QT,εi=±1,U=Q\,\mathrm{diag}\bigl(R_{\theta_1},\dots,R_{\theta_m},\,\varepsilon_1,\dots,\varepsilon_p\bigr)\,Q^T,\qquad\varepsilon_i=\pm1,
where the RθjR_{\theta_j} are 2×22\times2 rotation blocks (complex eigenvalues e±iθje^{\pm i\theta_j} come in conjugate pairs) and the remaining eigenvalues are real, equal to ±1\pm1. Since det⁡U=1\det U=1, the number of −1-1's among the εi\varepsilon_i is even. Group them in pairs: diag(−1,−1)=Rπ\mathrm{diag}(-1,-1)=R_\pi. So we may assume that all remaining blocks are rotation blocks RθjR_{\theta_j} (with some θj=π\theta_j=\pi) and a block of 11's:
U=Q diag(Rθ1,…,Rθm,Ip′) QT.U=Q\,\mathrm{diag}\bigl(R_{\theta_1},\dots,R_{\theta_m},I_{p'}\bigr)\,Q^T.
By the computation eθJ=Rθe^{\theta J}=R_\theta and since the exponential of a block-diagonal matrix is the block-diagonal matrix of the exponentials,
diag(Rθ1,…,Rθm,I)=exp⁡(diag(θ1J,…,θmJ,0)).\mathrm{diag}(R_{\theta_1},\dots,R_{\theta_m},I)=\exp\bigl(\mathrm{diag}(\theta_1J,\dots,\theta_mJ,0)\bigr).
Therefore U=QeDQT=eQDQTU=Qe^{D}Q^T=e^{QDQ^T} with QDQTQDQ^T skew-symmetric (DD is skew-symmetric and QQ orthogonal).

Connectedness. Skewn\mathrm{Skew}_n is a vector space, hence path connected, and exp⁡\exp is continuous, so its image SO(n)SO(n) is path connected.

Remark. The determinant −1-1 component O(n)∖SO(n)O(n)\setminus SO(n) is not reached by exp⁡\exp of skew matrices. O(n)O(n) has exactly two components, SO(n)SO(n) and det⁡−1(−1)\det^{-1}(-1). In dimension n=2n=2, exp⁡(θJ)\exp(\theta J) already gives all rotations, and a reflection is not a rotation.