SO(n) is connected by Givens rotations
Statement
Give a second proof that is path connected, using rotations in coordinate planes and induction on .
Hint
Rotate the first column of onto with at most plane rotations. What does the matrix look like afterwards?
Show solutionHide solution
Solution
Notation. For and , the *Givens rotation* is the identity matrix except for the four entries which form the block . It lies in and is a path from .
Induction. For , . Assume is path connected and let , .
Step 1: rotate onto . is a unit vector. For choose an angle such that the rotation turns the vector obtained so far into a vector whose -th coordinate is : it acts only on coordinates and , and a plane rotation can bring any vector to . After these rotations, we get the vector with (the norm is preserved), and for the last rotation we can choose the angle so that (a rotation in the plane can send to and we are done). Thus for .
Step 2: the remaining matrix. has first column . Since its columns are orthonormal, its first row is too (the first row has norm and its first entry is ). So
so .
Step 3: paths. By induction there is a path from to in , hence a path from to in . Also is joined to by the path , . Hence
(first run , then ) is a path inside from to .
Conclusion. is path connected.
Remark. The proof is the same as the QR-decomposition by Givens rotations used in numerical linear algebra, and it shows that is generated by plane rotations.