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

Matrices with a repeated eigenvalue are rare

#discriminant#algebraic sets#polynomials#nowhere dense

Statement

Let n≥2n\ge2. Show that D={A:χA has a repeated root}\mathcal D=\{A:\chi_A\text{ has a repeated root}\} is closed with empty interior.

Hint

D={disc⁡(χA)=0}\mathcal D=\{\operatorname{disc}(\chi_A)=0\} is the zero set of a polynomial in the entries. Check that this polynomial is not identically 00, and that a non-zero polynomial cannot vanish on a ball.

Show solutionHide solution

Solution

Idea. D\mathcal D is an *algebraic hypersurface*: the zero set of a single non-zero polynomial, hence closed and nowhere dense.

Step 1: D\mathcal D is the zero set of a polynomial. As in the problem on distinct eigenvalues, Δ(A)=disc⁡(χA)\Delta(A)=\operatorname{disc}(\chi_A) is a polynomial in the entries of AA, and χA\chi_A has a repeated root iff Δ(A)=0\Delta(A)=0. So D=Δ−1({0})\mathcal D=\Delta^{-1}(\{0\}) is closed.

Step 2: Δ≢0\Delta\not\equiv0. For A0=diag⁡(1,2,…,n)A_0=\operatorname{diag}(1,2,\dots,n) the roots of χA0\chi_{A_0} are 1,…,n1,\dots,n, distinct, so Δ(A0)≠0\Delta(A_0)\neq0.

Step 3: a non-zero polynomial does not vanish on a ball. Suppose a polynomial pp in N=n2N=n^2 variables vanished on a ball B(a,r)B(a,r). Then all partial derivatives of pp at aa vanish (they are limits of difference quotients of the zero function inside the ball). A polynomial is equal to its Taylor expansion at aa, which has all coefficients ∂αp(a)α!=0\frac{\partial^\alpha p(a)}{\alpha!}=0. So p≡0p\equiv0.

Step 4: conclusion. By Steps 2 and 3, Δ\Delta does not vanish identically on any ball, so D\mathcal D contains no ball: int⁡D=∅\operatorname{int}\mathcal D=\emptyset.

Remark.
- For n=1n=1 there are no repeated roots, so D=∅\mathcal D=\emptyset.
- The argument is a template: *the zero set of a non-zero polynomial on RN\mathbb{R}^N is closed and nowhere dense.* It covers the set of singular matrices (det⁡=0\det=0), the set {rank⁡≤r}\{\operatorname{rank}\le r\}, the set of matrices with a repeated eigenvalue, and so on.
- For n=2n=2, D={Δ=(tr⁡)2−4det⁡=0}\mathcal D=\{\Delta=(\operatorname{tr})^2-4\det=0\} is the boundary of the set of matrices with a real eigenvalue (see the problem on real eigenvalues).