Definition
Suppose that has eigenvectors that form a basis of . ( linearly independent eigenvectors)
where are the eigenvectors are the eigenvalues
Proof:
Requirement
- is real symmetric is diagonalizable over by an orthogonal matrix
- is normal () is unitary diagonalizable over
- All eigenvalues are distinct diagonalizable over the field containing them
Definition: normal
- over
- over
Definition: multiplicity
- geometric multiplicity:
- algebraic multiplicity: the number of times appears as a root of the characteristic polynomial
We always have: geometric multiplicity algebraic multiplicity
NOTE
A matrix is diagonalizable if for all we have geometric multiplicity algebraic multiplicity