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

Closure of the matrices with a non-real eigenvalue

#discriminant#non-real eigenvalues#closure#odd dimension

Statement

Let Nn⊂Mn(R)\mathcal{N}_n\subset M_n(\mathbb{R}) be the set of matrices with at least one non-real eigenvalue.
1. For n=2n=2, describe N2‾\overline{\mathcal{N}_2}.
2. Show that N3‾≠M3(R)\overline{\mathcal{N}_3}\ne M_3(\mathbb{R}).

Hint

For n=2n=2 use the discriminant Δ=tr⁡2−4det⁡\Delta=\operatorname{tr}^2-4\det. For n=3n=3 find an open set of matrices with three distinct real eigenvalues.

Show solutionHide solution

Solution

1. n=2n=2. For A=(abcd)A=\begin{pmatrix}a&b\\c&d\end{pmatrix}, χA=X2−(a+d)X+(ad−bc)\chi_A=X^2-(a+d)X+(ad-bc) has a non-real root iff its discriminant Δ(A)=(a+d)2−4(ad−bc)=(a−d)2+4bc\Delta(A)=(a+d)^2-4(ad-bc)=(a-d)^2+4bc is negative. So N2={Δ<0}\mathcal{N}_2=\{\Delta<0\}.

*Claim:* N2‾={Δ≤0}\overline{\mathcal{N}_2}=\{\Delta\le0\}.
- "⊆\subseteq": {Δ≤0}\{\Delta\le0\} is closed and contains N2\mathcal{N}_2.
- "⊇\supseteq": let Δ(A)=0\Delta(A)=0. Consider Δ\Delta as a function of (x,b,c)(x,b,c) where x=a−dx=a-d: Δ=x2+4bc\Delta=x^2+4bc, with gradient (2x,4c,4b)(2x,4c,4b). If (x,b,c)≠0(x,b,c)\ne0, the gradient is nonzero and Δ\Delta decreases strictly along −∇Δ-\nabla\Delta near this point, so there are points with Δ<0\Delta<0 arbitrarily close. If x=b=c=0x=b=c=0 (so A=aIA=aI), the matrices Aε=aI+(0−εε0)A_\varepsilon=aI+\begin{pmatrix}0&-\varepsilon\\\varepsilon&0\end{pmatrix} have Δ=−4ε2<0\Delta=-4\varepsilon^2<0 and tend to AA.

2. n=3n=3. Let A0=diag⁡(1,2,3)A_0=\operatorname{diag}(1,2,3) and ρ=13\rho=\frac13. Take AA with ∥A−A0∥\|A-A_0\| small enough that each of the intervals around 1,2,31,2,3 of radius ρ\rho contains an eigenvalue of AA (by the inequality min⁡i∣μ−λi(A)∣≤∣χA(μ)∣1/3→0\min_i|\mu-\lambda_i(A)|\le|\chi_A(\mu)|^{1/3}\to0 for μ=1,2,3\mu=1,2,3). The three eigenvalues are in disjoint discs, hence distinct, and they are all the eigenvalues of AA (there are only 33). A non-real eigenvalue λ\lambda of the real matrix AA would have the conjugate λˉ≠λ\bar\lambda\ne\lambda as another eigenvalue in the *same* disc (the discs are centred on the real axis and stable under conjugation), contradicting the fact that each disc contains exactly one eigenvalue. So all eigenvalues of AA are real.

Thus a neighbourhood of diag⁡(1,2,3)\operatorname{diag}(1,2,3) misses N3\mathcal{N}_3, so diag⁡(1,2,3)∉N3‾\operatorname{diag}(1,2,3)\notin\overline{\mathcal{N}_3}.

Remark. For n=2n=2, scalar matrices aIaI are on the boundary. In odd dimension the characteristic polynomial always has a real root, but that is not what we use. Lesson. Open conditions (distinct real eigenvalues) show a set is not dense.