SO(2) is a circle, O(2) has two components
Statement
Let . Show that is path connected, and that has exactly two path components.
Hint
First prove that every element of is some . Then look at the determinant.
Show solutionHide solution
Solution
Step 1: . Let . The first column is a unit vector, so for some . The second column is a unit vector orthogonal to the first, so it is , and selects the sign . So . Conversely and .
Step 2: is path connected. is continuous from onto , and the continuous image of an interval is path connected.
Step 3: the other half of . Let . If with , then so for some , and . Hence
the image of under the continuous map , hence path connected.
Step 4: exactly two components. is continuous. The two pieces and are disjoint, non-empty, and both open and closed in . Each is path connected, so they are the two path components.
Remark. The map identifies with the circle , a *compact* connected group. This is the basic example for the study of in the following problems.