Maths WorkshopMaths problems with full solutions
Exercise 651Topology › Topology of Mn(ℝ) › Density and closuresL3Added 6 Nov 2026

Real-diagonalisable matrices are not dense

#diagonalisation#non-real eigenvalues#continuity of roots

Statement

Show that the set of R\mathbb{R}-diagonalisable matrices is not dense in Mn(R)M_n(\mathbb{R}) for n≥2n\ge2.

Hint

An R\mathbb{R}-diagonalisable matrix has only real eigenvalues. Show that having a non-real eigenvalue is an *open* property.

Show solutionHide solution

Solution

Idea. The set N\mathcal{N} of matrices having at least one non-real eigenvalue is open and nonempty, and it is disjoint from the R\mathbb{R}-diagonalisable matrices (their eigenvalues are real). A set that misses a nonempty open set is not dense.

Nonempty. For n=2n=2, the rotation R=(0−110)R=\begin{pmatrix}0&-1\\1&0\end{pmatrix} has eigenvalues ±i\pm i. For n≥2n\ge2, the block matrix R⊕0n−2R\oplus0_{n-2} has a non-real eigenvalue.

Openness (continuity of eigenvalues). Let A∈NA\in\mathcal{N} with eigenvalue μ\mu, Im⁡μ=δ≠0\operatorname{Im}\mu=\delta\ne0. For a matrix A′A' with eigenvalues λ1′,…,λn′\lambda_1',\dots,\lambda_n',
∏i=1n∣μ−λi′∣=∣χA′(μ)∣,somin⁡i∣μ−λi′∣≤∣χA′(μ)∣1/n.\prod_{i=1}^n|\mu-\lambda_i'|=|\chi_{A'}(\mu)|,\qquad\text{so}\qquad\min_i|\mu-\lambda_i'|\le|\chi_{A'}(\mu)|^{1/n}.
As A′→AA'\to A, χA′(μ)→χA(μ)=0\chi_{A'}(\mu)\to\chi_A(\mu)=0 (the coefficients of χA′\chi_{A'} are continuous in A′A'). So for A′A' close enough to AA there is an eigenvalue λ′\lambda' of A′A' with ∣λ′−μ∣<δ/2|\lambda'-\mu|<\delta/2, hence Im⁡λ′≠0\operatorname{Im}\lambda'\ne0: A′∈NA'\in\mathcal{N}.

Conclusion. N\mathcal{N} is a nonempty open set containing no diagonalisable matrix, so the real-diagonalisable matrices are not dense.

Remark. In contrast, the matrices diagonalisable over C\mathbb{C} are dense (distinct eigenvalues). The discrepancy is that R\mathbb{R} is not algebraically closed. Lesson. The inequality min⁡i∣μ−λi′∣≤∣χA′(μ)∣1/n\min_i|\mu-\lambda_i'|\le|\chi_{A'}(\mu)|^{1/n} is a cheap way to prove continuity of the spectrum.