The two independent columns of remain independent after multiplication by invertible . Since has zeros below the second row, its leading two-by-two triangular block is invertible. Hence the image under of the invariant subspace is exactly . This coordinate plane is invariant under , forcing the bottom-left block to vanish:
The block determinant factors . Therefore the eigenvalues of are exactly those of the indicated two-by-two and -by- blocks, counted with algebraic multiplicity. No diagonalizability assumption is needed.

Articles by others on the same topic (0)

There are currently no matching articles.