The dream basis
From Change of Basis you know that the matrix of a map in a new basis is , where has the new basis vectors as columns. And we ended that lesson with a craving: find the basis that makes the matrix diagonal, because diagonal means pure scaling — no mixing, no shear, just "stretch axis one by this, axis two by that."
Now we know which basis to pick: a basis of eigenvectors. Watch why it's forced, because this is the moment the whole stratum clicks. Suppose are eigenvectors forming a basis, with . Put them in the columns of . Then
where is the diagonal matrix of eigenvalues (the -th column of is — work it out, it's just "scale each column"). So , and since the eigenvectors are a basis, is invertible, giving the two faces of the same fact:
We say is diagonalizable. The columns of are eigenvectors; the diagonal of holds their eigenvalues, in the matching order — column of pairs with entry of . Get that pairing wrong and the whole thing breaks.
Why you'd kill for diagonal: powers
Here's the payoff that makes diagonalization more than a parlor trick, and it's one of the most satisfying things in this entire course. Compute :
The inner collapses to the identity. The same telescoping happens for any power:
And is free — you just raise each diagonal entry to the : . No matrix multiplication at all. This should feel like cheating. This is how you compute without a hundred multiplications, how population models project decades forward, and how the Fibonacci numbers get a closed form: the Fibonacci recurrence is , and diagonalizing that matrix turns "add the last two numbers a million times" into raising two eigenvalues to a power. (Those eigenvalues are — the golden ratio falls out of a .) Drag the eigendirections and watch the stretch factors that powers will amplify:
When does it work?
Diagonalization needs linearly independent eigenvectors — a full basis of them. So:
- Distinct eigenvalues guarantee it. If an matrix has different eigenvalues, the eigenvectors are automatically independent (we proved this last lesson), hence a basis. Diagonalizable, no further checking.
- Repeated eigenvalues are a maybe. A repeated eigenvalue might still supply enough independent eigenvectors (the identity matrix has eigenvalue repeated and is already diagonal), or it might not.
When it doesn't, the matrix is defective — there simply aren't enough eigenvectors to fill a basis, so no eigenbasis exists and cannot be diagonalized. The Federation of Boring Textbook Authors sweeps this under the rug; I'm not going to. The classic culprit is a shear:
Its only eigenvalue is (repeated), and solving gives , forcing the second component to zero: the only eigenvectors are multiples of . One eigendirection, not two. The shear genuinely tilts the plane in a way no single stretch can undo — it has no eigenbasis, full stop. Defective matrices are real, and pretending otherwise is how people produce nonsense.
The full 2×2 workflow
To diagonalize a matrix :
- Eigenvalues. Solve , i.e. .
- Eigenvectors. For each , solve .
- Independence check. Distinct 's ⟹ automatically independent. Repeated ⟹ verify you actually got two independent eigenvectors; if not, it's defective — stop.
- Assemble. eigenvectors as columns, eigenvalues on the diagonal in the matching order.
- Verify (cheaper than computing , and catches order mistakes instantly).
For a 3×3, the structure is identical, just bigger: a degree-3 characteristic polynomial gives up to three eigenvalues, and you need three independent eigenvectors total across all the eigenspaces to fill . Same workflow, more arithmetic.
The geometric punchline
Strip away the algebra and here's what diagonalization says: in eigen-coordinates, every diagonalizable map is just axis-aligned stretching. The complicated entries of in the standard basis are an illusion of a badly-chosen grid — a lie the standard basis tells about the map. Rotate your head into the eigenbasis and the map becomes the simplest fucking thing imaginable — multiply each axis by a number. Every diagonalizable transformation, no matter how scrambled it looks, is secretly that simple. That realization is the entire reward of the matrices and spaces strata, and the spectral theorem (next, and last) makes it perfect for symmetric matrices. Go do the gauntlet.