Outline of proof of generalized eigenspace decomposition
Jordan canonical form, on generalized eigenspaces
Jordan Canonical form, nilpotent matrices
Section on positive semi-definite matrices
FCLA Section OD to mine
Section on normal matrices