Real-diagonalisable matrices: neither open nor closed
Statement
Let . Show that the set of -diagonalisable matrices is neither open nor closed in .
Hint
Perturb the identity into a Jordan block (not open); approximate a Jordan block by matrices with distinct eigenvalues (not closed). Treat , then add an identity block.
Show solutionHide solution
Solution
Idea. Diagonalisable = no non-trivial Jordan block; a Jordan block can be created by an arbitrarily small perturbation (not open) and is a limit of diagonalisable matrices with distinct eigenvalues (not closed).
Step 1: not open (). is diagonalisable. The matrices () satisfy but ; the minimal polynomial is , which has a repeated root, so is not diagonalisable. Yet .
Step 2: not closed (). For , has two distinct real eigenvalues and is therefore diagonalisable. As , , which is a non-trivial Jordan block (minimal polynomial ) and is *not* diagonalisable.
Step 3: all . Put , (block diagonal). A block-diagonal matrix is diagonalisable iff each block is, so the same sequences show non-openness and non-closedness. (If one prefers eigenvalues to stay distinct in Step 2, use ; this is not needed.)
Remark.
- In Part 7 we shall see the correct statements: the *interior* is the set of matrices with distinct real eigenvalues and the *closure* is the set of matrices whose characteristic polynomial splits over (two problems below).
- Over the situation is better: the set of matrices with distinct eigenvalues is open and dense, so diagonalisable matrices are dense (but still not open).