Closure of the matrices with a non-real eigenvalue
Statement
Let be the set of matrices with at least one non-real eigenvalue.
1. For , describe .
2. Show that .
Hint
For use the discriminant . For find an open set of matrices with three distinct real eigenvalues.
Show solutionHide solution
Solution
1. . For , has a non-real root iff its discriminant is negative. So .
*Claim:* .
- "": is closed and contains .
- "": let . Consider as a function of where : , with gradient . If , the gradient is nonzero and decreases strictly along near this point, so there are points with arbitrarily close. If (so ), the matrices have and tend to .
2. . Let and . Take with small enough that each of the intervals around of radius contains an eigenvalue of (by the inequality for ). The three eigenvalues are in disjoint discs, hence distinct, and they are all the eigenvalues of (there are only ). A non-real eigenvalue of the real matrix would have the conjugate as another eigenvalue in the *same* disc (the discs are centred on the real axis and stable under conjugation), contradicting the fact that each disc contains exactly one eigenvalue. So all eigenvalues of are real.
Thus a neighbourhood of misses , so .
Remark. For , scalar matrices are on the boundary. In odd dimension the characteristic polynomial always has a real root, but that is not what we use. Lesson. Open conditions (distinct real eigenvalues) show a set is not dense.