The exponential maps skew-symmetric matrices onto SO(n)
Statement
Let be the space of skew-symmetric matrices. Show that . Deduce that is connected.
Hint
For "": . For "": use the normal form of an orthogonal matrix, a block-diagonal matrix with rotation blocks and a block of .
Show solutionHide solution
Solution
Inclusion . Let . Transposition commutes with the series (it is linear and continuous), so , where the last equality uses . Hence is orthogonal. Moreover since a skew-symmetric matrix has zero diagonal.
Reverse inclusion. Let . By the spectral theorem for orthogonal matrices there is with
where the are rotation blocks (complex eigenvalues come in conjugate pairs) and the remaining eigenvalues are real, equal to . Since , the number of 's among the is even. Group them in pairs: . So we may assume that all remaining blocks are rotation blocks (with some ) and a block of 's:
By the computation and since the exponential of a block-diagonal matrix is the block-diagonal matrix of the exponentials,
Therefore with skew-symmetric ( is skew-symmetric and orthogonal).
Connectedness. is a vector space, hence path connected, and is continuous, so its image is path connected.
Remark. The determinant component is not reached by of skew matrices. has exactly two components, and . In dimension , already gives all rotations, and a reflection is not a rotation.