Diagonalization
Writing a matrix as
Definition
An
What
The criterion.
- the characteristic polynomial splits over
, and - for every eigenvalue, geometric multiplicity equals algebraic multiplicity.
Equivalently: the eigenspace dimensions sum to
Sufficient condition.
What it is for. Powers become elementwise:
because the inner factors cancel in
Similarity.
Assumptions and scope
The columns of
and the diagonal entries of must be in the same order. Permuting the eigenvectors permutes the eigenvalues identically, and mismatching them gives a false factorisation that fails on multiplication. is not unique. Scaling any eigenvector, or reordering the basis, gives another valid , and an eigenspace of dimension above 1 admits infinitely many choices. Diagonalizability is relative to a field. A real matrix may be diagonalizable over
and not over , and saying a matrix is not diagonalizable without naming the field is incomplete. Distinct eigenvalues are sufficient but not necessary. A repeated eigenvalue is compatible with diagonalizability when its eigenspace is large enough.
Symmetric real matrices are always diagonalizable, and by an orthogonal
. That is the spectral theorem and it is a stronger statement than anything provable from the criterion alone. The factorisation is a tool for hand computation and theory. Numerically, forming
can be ill-conditioned when eigenvectors are nearly dependent, and practical algorithms avoid it.
Worked material
Example
Four verdicts
Distinct eigenvalues: decided without computing an eigenspace.
Already diagonal.
Repeated eigenvalue, still diagonalizable.
This is the case that refutes "repeated root means defective". The repetition is compatible with diagonalizability; the size of the eigenspace decides it.
Repeated eigenvalue, defective.
The geometric multiplicities sum to 1, short of 2, so
The decisive pair.
Non-example
Two obstructions, and three mistakes
Obstruction 1: the polynomial does not split.
Over
Obstruction 2: not enough eigenvectors.
Rank is unchanged by field extension, so
---
Mistake: concluding from the repeated root. "
Mistake: mismatching
Mistake: writing
The distinction to carry. Missing roots are a property of the field and are removable. Missing eigenvectors are a property of the matrix and are not. Reporting "not diagonalizable" without saying which one applies leaves out the part that decides whether anything can be done about it.
Common errors
Common misconception
A matrix with a repeated eigenvalue cannot be diagonalized, because distinct eigenvalues are what make a basis of eigenvectors possible.
Related units
Requires
Connected
- Determinants (related)