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

Matrices with n distinct eigenvalues form an open set

#discriminant#distinct eigenvalues#open sets#characteristic polynomial

Statement

Show that the set of real matrices having nn distinct (complex) eigenvalues is open in Mn(R)M_n(\mathbb{R}).

Hint

A polynomial has distinct roots iff its discriminant is non-zero. The discriminant of χA\chi_A is a polynomial in the entries of AA.

Show solutionHide solution

Solution

Idea. "Distinct eigenvalues" is a non-vanishing condition for a polynomial expression in the entries, hence open.

Step 1: the discriminant. For a monic polynomial p(t)=tn+cn−1tn−1+⋯+c0p(t)=t^n+c_{n-1}t^{n-1}+\dots+c_0 the discriminant disc⁡(p)=±Res⁡(p,p′)\operatorname{disc}(p)=\pm\operatorname{Res}(p,p') (resultant, the determinant of the Sylvester matrix) is a polynomial in the coefficients c0,…,cn−1c_0,\dots,c_{n-1}, and disc⁡(p)≠0\operatorname{disc}(p)\neq0 iff pp has nn distinct roots in C\mathbb{C} (equivalently gcd⁡(p,p′)=1\gcd(p,p')=1).

Step 2: it is polynomial in the entries. The coefficients of χA(t)=det⁡(tI−A)\chi_A(t)=\det(tI-A) are polynomials in the entries aija_{ij} (sums of principal minors, up to sign). Hence Δ(A)=disc⁡(χA)\Delta(A)=\operatorname{disc}(\chi_A) is a polynomial in the entries, thus continuous.

Step 3: conclusion. The set in question is
{A:Δ(A)≠0}=Δ−1(R∖{0}),\{A:\Delta(A)\neq0\}=\Delta^{-1}(\mathbb{R}\setminus\{0\}),
open as the preimage of an open set under a continuous map.

Example (n=2n=2). Δ(A)=(tr⁡A)2−4det⁡A\Delta(A)=(\operatorname{tr}A)^2-4\det A, and eigenvalues are distinct iff Δ≠0\Delta\neq0.

Remark.
- The complementary set {Δ=0}\{\Delta=0\} (a repeated eigenvalue) is closed with empty interior (see the problem on repeated eigenvalues below), so *generic matrices have distinct eigenvalues* and are therefore diagonalisable over C\mathbb{C}.
- Equivalent proof: roots of a polynomial depend continuously on its coefficients (Part 3), so nn distinct roots stay distinct under small perturbations.