Eigenvectors and Linear Transformations
Every linear transformation between finite-dimensional spaces has a matrix relative to chosen bases, built from the coordinate vectors of the images of the basis vectors. For a map from a space to itself, an eigenvector basis makes that matrix diagonal, and that change of basis is diagonalization; the matrices similar to A are the representations of the map in every basis.
╌╌╌╌
The factorization is a statement about coordinates: the transformation is the same map as the scaling , written in a different basis. Making this precise needs the matrix of a linear transformation between abstract vector spaces.
The matrix of a transformation relative to bases
Let be -dimensional with basis , let be -dimensional with basis , and let be linear. Every has a coordinate vector, and its image has a coordinate vector . These two are linked by a matrix.
If , then linearity gives , and applying the coordinate map (itself linear) yields
where the columns of are the coordinate vectors of the images of the basis vectors.
A transformation from a space to itself
When and , the matrix is written and called the matrix for relative to , or the -matrix for . It satisfies
Diagonal matrix representations
On a linear transformation usually appears first as a matrix map in the standard basis. If is diagonalizable, there is a basis of eigenvectors, and in that basis the matrix of the transformation is diagonal.
The two maps and are the same transformation described in two coordinate systems. Diagonalizing is nothing more than finding a basis in which the transformation acts as independent scalings along the axes.
Example. For with and , the basis of the columns of makes the -matrix of equal to : along the map scales by , along by .
Similarity as change of basis for maps
The proof of the diagonal-matrix-representation theorem never used that was diagonal. The same computation shows that if for any , then is the -matrix of when is the basis of columns of . Conversely, for any basis with column matrix , the -matrix is . So the matrices similar to are precisely the matrix representations of the transformation .
The Jordan form
If is defective, no basis makes its matrix diagonal, but a nearly diagonal representation still exists.
| Situation | Best -matrix | Basis |
|---|---|---|
| diagonalizable | diagonal | eigenvectors |
| defective | Jordan form (block-triangular) | eigenvectors + generalized eigenvectors |
| General similar to | columns of |
The same change of basis applies to real matrices whose simplest representation is a rotation rather than a scaling, found by way of complex eigenvalues.1
Footnotes
- Lay, Linear Algebra and Its Applications, 5th ed., §5.4 — Eigenvectors and Linear Transformations: the matrix of relative to bases, the -matrix for , Theorem 8 (diagonal matrix representation), and similarity as the set of all matrix representations of , including the Jordan-form example. ↩
╌╌ END ╌╌