Theorems from Eigenvalues and eigenvectors
All theorems from Eigenvalues and eigenvectors.
The eigenvalue criterion
A scalar is an eigenvalue of if and only if
For such a , the eigenvectors are the non-zero vectors in .
This determinant test is how eigenpairs are computed. Diagonalisation then uses the full list of roots to build an eigenbasis.
Counting eigenvalues
The characteristic polynomial of an matrix is degree . Over , it has roots counted with multiplicity and these roots are the eigenvalues of the matrix.
The roots exist by the fundamental theorem of algebra. Their moduli and real parts later govern growth in stability of systems.