Symmetric matrices with distinct eigenvalues form a connected set
Statement
Show that the set is connected.
Hint
Show that is the continuous image of , a product of connected sets.
Show solutionHide solution
Solution
Idea. The spectral theorem gives a parametrisation of by an orthonormal basis of eigenvectors and an ordered list of eigenvalues. Both parameter spaces are connected (provided we use and not ).
Step 1: the parametrisation. Let , an open convex set, hence connected. Define
is continuous, and since its eigenvalues are the .
Step 2: surjectivity onto . Let with eigenvalues . By the spectral theorem with (columns = unit eigenvectors in the order of the eigenvalues). If , replace by with , i.e. flip the sign of the first eigenvector. Then and because commutes with the diagonal matrix . So .
Step 3: connectedness of the source. is connected (standard: every is orthogonally conjugate to a block diagonal matrix with rotation blocks and 's, and the same matrix with replaced by is a path to the identity; the conjugating matrix can be taken in by flipping the sign of a eigenvector or of one vector in a plane, which only changes to ). A product of connected spaces is connected.
Step 4: conclusion. is a continuous image of a connected space, hence connected.
Remark. is open and dense in . Its complement (matrices with a repeated eigenvalue) has codimension in (a double eigenvalue costs conditions but frees... one finds ), which is why removing it does not disconnect . For , 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 rather than when connectedness is needed.