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

Real-diagonalisable matrices: neither open nor closed

#diagonalisable#Jordan blocks#counterexamples

Statement

Let n≥2n\ge2. Show that the set of R\mathbb{R}-diagonalisable matrices is neither open nor closed in Mn(R)M_n(\mathbb{R}).

Hint

Perturb the identity into a Jordan block (not open); approximate a Jordan block by matrices with distinct eigenvalues (not closed). Treat n=2n=2, then add an identity block.

Show solutionHide solution

Solution

Idea. Diagonalisable = no non-trivial Jordan block; a Jordan block can be created by an arbitrarily small perturbation (not open) and is a limit of diagonalisable matrices with distinct eigenvalues (not closed).

Step 1: not open (n=2n=2). I2I_2 is diagonalisable. The matrices Bε=(1ε01)B_\varepsilon=\begin{pmatrix}1&\varepsilon\\0&1\end{pmatrix} (ε≠0\varepsilon\ne0) satisfy Bε−I=εE12≠0B_\varepsilon-I=\varepsilon E_{12}\ne0 but (Bε−I)2=0(B_\varepsilon-I)^2=0; the minimal polynomial is (t−1)2(t-1)^2, which has a repeated root, so BεB_\varepsilon is not diagonalisable. Yet Bε→IB_\varepsilon\to I.

Step 2: not closed (n=2n=2). For ε>0\varepsilon>0, Cε=(1101+ε)C_\varepsilon=\begin{pmatrix}1&1\\0&1+\varepsilon\end{pmatrix} has two distinct real eigenvalues 1,1+ε1,1+\varepsilon and is therefore diagonalisable. As ε→0\varepsilon\to0, Cε→C0=(1101)C_\varepsilon\to C_0=\begin{pmatrix}1&1\\0&1\end{pmatrix}, which is a non-trivial Jordan block (minimal polynomial (t−1)2(t-1)^2) and is *not* diagonalisable.

Step 3: all n≥2n\ge2. Put Bε⊕In−2B_\varepsilon\oplus I_{n-2}, Cε⊕In−2C_\varepsilon\oplus I_{n-2} (block diagonal). A block-diagonal matrix is diagonalisable iff each block is, so the same sequences show non-openness and non-closedness. (If one prefers eigenvalues to stay distinct in Step 2, use Cε⊕diag⁡(2,3,…,n−1)C_\varepsilon\oplus\operatorname{diag}(2,3,\dots,n-1); this is not needed.)

Remark.
- In Part 7 we shall see the correct statements: the *interior* is the set of matrices with nn distinct real eigenvalues and the *closure* is the set of matrices whose characteristic polynomial splits over R\mathbb{R} (two problems below).
- Over C\mathbb{C} the situation is better: the set of matrices with distinct eigenvalues is open and dense, so diagonalisable matrices are dense (but still not open).