Maths WorkshopMaths problems with full solutions
Exercise 2009Topology › Topology of Mn(ℝ) › Applications and the case n = 2M1Added 6 Nov 2026

Symmetric matrices with distinct eigenvalues form a connected set

#connectedness#symmetric matrices#spectral theorem#SO(n)

Statement

Show that the set Ω={S∈Symn: the eigenvalues of S are pairwise distinct}\Omega=\{S\in\mathrm{Sym}_n:\ \text{the eigenvalues of }S\text{ are pairwise distinct}\} is connected.

Hint

Show that Ω\Omega is the continuous image of SO(n)×{λ1>⋯>λn}SO(n)\times\{\lambda_1>\dots>\lambda_n\}, a product of connected sets.

Show solutionHide solution

Solution

Idea. The spectral theorem gives a parametrisation of Ω\Omega by an orthonormal basis of eigenvectors and an ordered list of eigenvalues. Both parameter spaces are connected (provided we use SO(n)SO(n) and not O(n)O(n)).

Step 1: the parametrisation. Let Δ={λ∈Rn:λ1>⋯>λn}\Delta=\{\lambda\in\mathbb{R}^n:\lambda_1>\dots>\lambda_n\}, an open convex set, hence connected. Define
Φ:SO(n)×Δ→Symn,Φ(Q,λ)=Qdiag⁡(λ)QT.\Phi:SO(n)\times\Delta\to\mathrm{Sym}_n,\qquad\Phi(Q,\lambda)=Q\operatorname{diag}(\lambda)Q^T.
Φ\Phi is continuous, and Φ(Q,λ)∈Ω\Phi(Q,\lambda)\in\Omega since its eigenvalues are the λi\lambda_i.

Step 2: surjectivity onto Ω\Omega. Let S∈ΩS\in\Omega with eigenvalues λ1>⋯>λn\lambda_1>\dots>\lambda_n. By the spectral theorem S=QΛQTS=Q\Lambda Q^T with Q∈O(n)Q\in O(n) (columns = unit eigenvectors in the order of the eigenvalues). If det⁡Q=−1\det Q=-1, replace QQ by Q′=QDQ'=QD with D=diag⁡(−1,1,…,1)D=\operatorname{diag}(-1,1,\dots,1), i.e. flip the sign of the first eigenvector. Then det⁡Q′=1\det Q'=1 and Q′ΛQ′T=QDΛDQT=QΛQT=SQ'\Lambda Q'^T=QD\Lambda DQ^T=Q\Lambda Q^T=S because DD commutes with the diagonal matrix Λ\Lambda. So S=Φ(Q′,λ)S=\Phi(Q',\lambda).

Step 3: connectedness of the source. SO(n)SO(n) is connected (standard: every U∈SO(n)U\in SO(n) is orthogonally conjugate to a block diagonal matrix with rotation blocks RθjR_{\theta_j} and 11's, and t↦t\mapsto the same matrix with θj\theta_j replaced by tθjt\theta_j is a path to the identity; the conjugating matrix can be taken in SO(n)SO(n) by flipping the sign of a +1+1 eigenvector or of one vector in a plane, which only changes θj\theta_j to −θj-\theta_j). A product of connected spaces is connected.

Step 4: conclusion. Ω=Φ(SO(n)×Δ)\Omega=\Phi(SO(n)\times\Delta) is a continuous image of a connected space, hence connected.

Remark. Ω\Omega is open and dense in Symn\mathrm{Sym}_n. Its complement (matrices with a repeated eigenvalue) has codimension 22 in Symn\mathrm{Sym}_n (a double eigenvalue costs 33 conditions but frees... one finds dim⁡=n(n+1)2−2\dim=\frac{n(n+1)}2-2), which is why removing it does not disconnect Symn\mathrm{Sym}_n. For n=2n=2, Sym2≅R3\mathrm{Sym}_2\cong\mathbb{R}^3 and the complement is the line of scalar matrices.

Lesson. Parametrise a set by connected pieces and use that continuous images of connected sets are connected; use SO(n)SO(n) rather than O(n)O(n) when connectedness is needed.