Maths WorkshopMaths problems with full solutions
Exercise 2059Topology › Topology of Mn(ℝ) › ConnectednessL3Added 7 Nov 2026

Matrices with n distinct real eigenvalues

#diagonalisable matrices#Weyl chamber#conjugation#path connected

Statement

Show that the set D\mathcal{D} of matrices in Mn(R)M_n(\mathbb{R}) having nn distinct real eigenvalues is path connected.

Hint

Every such matrix is PDP−1PDP^{-1} with DD diagonal with *strictly increasing* entries. Show that PP can be chosen in GLn+GL_n^+.

Show solutionHide solution

Solution

Idea. D\mathcal{D} is the image of GLn+×CGL_n^+\times\mathcal{C}, with C\mathcal{C} the convex cone of strictly increasing diagonals, under a continuous map.

Step 1: parametrisation. Let A∈DA\in\mathcal{D} with eigenvalues λ1<⋯<λn\lambda_1<\dots<\lambda_n. The eigenvectors viv_i (Avi=λiviAv_i=\lambda_iv_i) are linearly independent (eigenvectors for distinct eigenvalues), so P=(v1∣…∣vn)∈GLn(R)P=(v_1|\dots|v_n)\in GL_n(\mathbb{R}) and
A=Pdiag⁡(λ1,…,λn)P−1.A=P\operatorname{diag}(\lambda_1,\dots,\lambda_n)P^{-1}.

Step 2: det⁡P>0\det P>0 can be arranged. Replacing v1v_1 by −v1-v_1 changes det⁡P\det P to −det⁡P-\det P and does not change AA (equivalently, P↦PD′P\mapsto PD' with D′=diag⁡(−1,1,…,1)D'=\operatorname{diag}(-1,1,\dots,1) commutes with the diagonal matrix). So we may take P∈GLn+P\in GL_n^+.

Step 3: the parameter space. C={(λ1,…,λn):λ1<⋯<λn}⊂Rn\mathcal{C}=\{(\lambda_1,\dots,\lambda_n):\lambda_1<\dots<\lambda_n\}\subset\mathbb{R}^n is convex (an intersection of open half-spaces), hence path connected. GLn+GL_n^+ is path connected (Problem 8). So GLn+×CGL_n^+\times\mathcal{C} is path connected.

Step 4: the map. Θ:GLn+×C→Mn(R)\Theta:GL_n^+\times\mathcal{C}\to M_n(\mathbb{R}), Θ(P,λ)=Pdiag⁡(λ)P−1\Theta(P,\lambda)=P\operatorname{diag}(\lambda)P^{-1} is continuous (the inverse is a rational function with denominator det⁡P≠0\det P\ne0), and by Steps 1 and 2 its image is exactly D\mathcal{D}. Therefore D\mathcal{D} is the continuous image of a path connected set.

Conclusion. D\mathcal{D} is path connected.

Remark. The Weyl chamber C\mathcal{C} (ordering the eigenvalues) is what removes the ambiguity of permuting the eigenvectors. The proof shows more: D\mathcal{D} is an open dense subset of the set of matrices with real spectrum. By contrast the set of matrices with nn distinct (possibly complex) eigenvalues is also connected when n≥2n\ge2 but requires a different argument.