Matrices with an eigenvalue of modulus one
Statement
Let . Show that is closed and has empty interior.
Hint
For closedness, pass to the limit in using compactness of the unit circle. For the interior, scale: look at for near .
Show solutionHide solution
Solution
Closed. Let , . Choose eigenvalues with and . The unit circle is compact, so a subsequence with . The map is continuous (polynomial in the entries of and in ), so
So is an eigenvalue of of modulus : .
Empty interior. Take any ; we show every neighbourhood of contains matrices outside .
- The eigenvalues of are , where ranges over the eigenvalues of . So iff for some eigenvalue of , i.e. with .
- has at most eigenvalues, so only finitely many satisfy this.
- Hence there are arbitrarily close to with , and .
So is not an interior point of .
Remark. The complement of splits into the open sets of matrices with all eigenvalues in the open unit disc ("Schur stable") and with some eigenvalue outside. That is relevant for dynamical systems . Lesson. Scaling is a one-parameter family that quickly shows a set is thin.