Overview
Diagonalization replaces a linear transformation with independent scalar multiplications along basis directions. It simplifies repeated application, polynomial expressions in an operator, and linear recurrences. It is a property over a specified field, and the presence of eigenvalues alone does not guarantee it.
Prerequisites
Use finite-dimensional vector spaces, bases, and linear endomorphisms. A nonzero vector is an eigenvector of with eigenvalue when . The zero vector is excluded from this definition because it satisfies the equation for every scalar.
Definition and conventions
An endomorphism of a finite-dimensional -vector space is diagonalizable over if some -basis consists of eigenvectors. In matrix language, its matrix satisfies
for some invertible matrix with entries in . The columns of are the eigenvectors in the original coordinates. Similarity, rather than arbitrary row reduction, is the relevant change of matrix.
Intuition
Eigenvectors identify directions preserved by the operator. A complete eigenbasis lets each vector be split into independently evolving components. Distinct eigenvalues supply independent directions, but a repeated eigenvalue can have too few eigenvectors to fill the space.
Examples and non-examples
Take
Vectors and have eigenvalues and . With formed from these columns, , so for nonnegative integers .
The matrix
is not diagonalizable over any field: its eigenspace for has dimension one although its characteristic polynomial is . By contrast the identity matrix has the same characteristic polynomial and is diagonalizable. Repeated roots therefore do not decide the issue.
Rotation by a right angle on has characteristic polynomial . It is not diagonalizable over , but becomes diagonalizable over .
Important properties
Eigenvectors for distinct eigenvalues are linearly independent. One proof applies to a shortest supposed dependence, reducing its length and obtaining a contradiction.
More generally, is diagonalizable exactly when its minimal polynomial is a product of distinct linear factors over . Both splitting and absence of repeated factors matter. A self-adjoint real operator on a finite-dimensional inner product space is diagonalizable with an orthonormal eigenbasis, but arbitrary real operators do not satisfy this spectral theorem.
Connections and further reading
Diagonalization is the simplest case of decomposing a space as a module over , where acts by . Jordan form describes failures when the characteristic polynomial splits. Read Hefferon, Chapter Five, Section II for the eigenvalue definitions and diagonalizability criterion.