First, is invertible. If for a real vector, then , whereas the skew-symmetric matrix identity gives ; hence and . Thus its real kernel is trivial, which suffices for invertibility. The same argument applies to .
Using and the rule for the transpose of a product,The factors and commute, as do the required inverses. ConsequentlyThus . This is the Cayley transform of a real skew-symmetric matrix.
For a possibly complex eigenvector with , invertibility of gives . ThereforeThus every eigenvector of remains an eigenvector of . For a real skew-symmetric matrix, its eigenvalues have the form with real, so lies on the unit circle, consistently with orthogonality.
Taking determinants and using invariance under transpose,This determinant identity actually holds in every dimension. In dimension three, skew symmetry additionally givesso . Hence there is a real nonzero vector in the kernel:The eigenvalue relation then gives . Thus the Cayley transform fixes an axis and is a proper three-dimensional rotation, including the identity as a degenerate case.
Articles by others on the same topic
There are currently no matching articles.