Involutions form a closed unbounded set
Statement
Let . Show that is closed but unbounded.
Hint
Closedness: polynomial equation. Unboundedness: find a one-parameter family of involutions with growing norm.
Show solutionHide solution
Solution
Idea. The set is defined by , so it is closed; but a non-orthogonal reflection can be sheared arbitrarily far.
Step 1: closed. is the preimage of under the continuous map .
Step 2: unbounded. For let
Then
So for all , and (the entry is at most the norm), which tends to . For use .
Remark.
- The *orthogonal* involutions ( and , equivalently symmetric) form a compact set; the unboundedness comes from non-normal examples. The set is the union of the conjugacy classes of the matrices ; the classes containing both signs are unbounded.
- has empty interior too: the eigenvalues of an involution lie in , while has eigenvalues in , so it is not an involution for small .