Maths WorkshopMaths problems with full solutions
Exercise 1420Topology › Topology of Mn(ℝ) › Open, closed, interior, boundaryL3Added 7 Nov 2026

Involutions form a closed unbounded set

#involutions#closed sets#unbounded#counterexample

Statement

Let n≥2n\ge2. Show that I={A∈Mn(R):A2=I}\mathcal I=\{A\in M_n(\mathbb{R}):A^2=I\} is closed but unbounded.

Hint

Closedness: polynomial equation. Unboundedness: find a one-parameter family of 2×22\times2 involutions with growing norm.

Show solutionHide solution

Solution

Idea. The set is defined by A2=IA^2=I, so it is closed; but a non-orthogonal reflection can be sheared arbitrarily far.

Step 1: closed. I={A:A2−I=0}\mathcal I=\{A:A^2-I=0\} is the preimage of {0}\{0\} under the continuous map A↦A2−IA\mapsto A^2-I.

Step 2: unbounded. For t∈Rt\in\mathbb{R} let
St=(1t0−1).S_t=\begin{pmatrix}1&t\\0&-1\end{pmatrix}.
Then
St2=(1⋅1+t⋅01⋅t+t⋅(−1)0(−1)(−1))=(1001).S_t^2=\begin{pmatrix}1\cdot1+t\cdot0&1\cdot t+t\cdot(-1)\\0&(-1)(-1)\end{pmatrix}=\begin{pmatrix}1&0\\0&1\end{pmatrix}.
So St∈IS_t\in\mathcal I for all tt, and ∥St∥≥∣t∣\|S_t\|\ge|t| (the entry tt is at most the norm), which tends to ∞\infty. For n>2n>2 use St⊕In−2S_t\oplus I_{n-2}.

Remark.
- The *orthogonal* involutions (A2=IA^2=I and AT=AA^T=A, equivalently A∈O(n)A\in O(n) symmetric) form a compact set; the unboundedness comes from non-normal examples. The set I\mathcal I is the union of the conjugacy classes of the matrices diag⁡(1,…,1,−1,…,−1)\operatorname{diag}(1,\dots,1,-1,\dots,-1); the classes containing both signs are unbounded.
- I\mathcal I has empty interior too: the eigenvalues of an involution lie in {1,−1}\{1,-1\}, while A+εIA+\varepsilon I has eigenvalues in {1+ε,−1+ε}\{1+\varepsilon,-1+\varepsilon\}, so it is not an involution for small ε≠0\varepsilon\ne0.