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

Nilpotent matrices and idempotents are closed

#nilpotent#idempotent#algebraic sets#nowhere dense

Statement

Show that the set of nilpotent matrices is closed with empty interior, and that the set of idempotent matrices (P2=PP^2=P) is closed.

Hint

Each set is the zero set of polynomial equations in the entries. For the empty interior of the nilpotent set, add a small multiple of the identity.

Show solutionHide solution

Solution

Idea. Sets defined by polynomial equations are closed (preimages of {0}\{0\} under polynomial maps). Emptiness of the interior needs an actual perturbation argument.

Step 1: nilpotents are closed. AA is nilpotent iff An=0A^n=0 (a nilpotent n×nn\times n matrix satisfies An=0A^n=0 by Cayley-Hamilton, since its characteristic polynomial is tnt^n). The map A↦AnA\mapsto A^n is polynomial in the entries (hence continuous), so
N={A:An=0}=(A↦An)−1({0})\mathcal N=\{A:A^n=0\}=(A\mapsto A^n)^{-1}(\{0\})
is closed.

Step 2: nilpotents have empty interior. Let N∈NN\in\mathcal N and ε>0\varepsilon>0. The eigenvalues of NN are all 00, so those of N+εIN+\varepsilon I are all ε≠0\varepsilon\neq0: the matrix N+εIN+\varepsilon I is invertible. A nilpotent matrix is singular, so N+εI∉NN+\varepsilon I\notin\mathcal N, though ∥N+εI−N∥=ε\|N+\varepsilon I-N\|=\varepsilon. Hence no ball around NN lies in N\mathcal N.

Step 3: idempotents are closed. P={P:P2−P=0}\mathcal P=\{P:P^2-P=0\} is the preimage of {0}\{0\} under the continuous map P↦P2−PP\mapsto P^2-P.

Example. For N=(0100)N=\begin{pmatrix}0&1\\0&0\end{pmatrix}: N2=0N^2=0, while (N+εI)2=(ε22ε0ε2)≠0(N+\varepsilon I)^2=\begin{pmatrix}\varepsilon^2&2\varepsilon\\0&\varepsilon^2\end{pmatrix}\ne0.

Remark.
- Idempotents also have empty interior: if P2=PP^2=P then all eigenvalues of PP lie in {0,1}\{0,1\}, whereas P+εIP+\varepsilon I has eigenvalues in {ε,1+ε}\{\varepsilon,1+\varepsilon\}, so P+εIP+\varepsilon I is not idempotent for ε≠0\varepsilon\ne0 small, though it is at distance ε\varepsilon from PP. They are also *unbounded* for n≥2n\ge2: (1t00)2=(1t00)\begin{pmatrix}1&t\\0&0\end{pmatrix}^2=\begin{pmatrix}1&t\\0&0\end{pmatrix} for all tt (oblique projections).
- The nilpotent cone is the fibre χ−1(tn)\chi^{-1}(t^n) of the characteristic polynomial map (see Part 3).