Real-diagonalisable matrices are not dense
Statement
Show that the set of -diagonalisable matrices is not dense in for .
Hint
An -diagonalisable matrix has only real eigenvalues. Show that having a non-real eigenvalue is an *open* property.
Show solutionHide solution
Solution
Idea. The set of matrices having at least one non-real eigenvalue is open and nonempty, and it is disjoint from the -diagonalisable matrices (their eigenvalues are real). A set that misses a nonempty open set is not dense.
Nonempty. For , the rotation has eigenvalues . For , the block matrix has a non-real eigenvalue.
Openness (continuity of eigenvalues). Let with eigenvalue , . For a matrix with eigenvalues ,
As , (the coefficients of are continuous in ). So for close enough to there is an eigenvalue of with , hence : .
Conclusion. is a nonempty open set containing no diagonalisable matrix, so the real-diagonalisable matrices are not dense.
Remark. In contrast, the matrices diagonalisable over are dense (distinct eigenvalues). The discrepancy is that is not algebraically closed. Lesson. The inequality is a cheap way to prove continuity of the spectrum.