Module 1 of 1 · Lesson 6 of 14
Diagonalization
Writing a matrix as PDP inverse, when that is possible, and what it makes easy.
What you will be able to do
Given a square matrix, the learner can decide whether it is diagonalizable over a stated field, construct
Orientation
Computing
where
That is the payoff, and it extends: any polynomial in
The question is when such a basis exists. The answer is already available from the previous unit, compare the two multiplicities for each eigenvalue, and the two ways it can fail are not alike.
Definition
What is, and why the order matters
Why
This is also why
Left and right multiplication differ.
The pairing is positional. Column
Similar matrices.
Figure
A linear map in the standard basis and in its eigenbasis
The same map
Left, standard coordinates.
Right, eigenvector coordinates. The axes are now
Read right to left in
Theorem
The criterion, and why distinct eigenvalues suffice
Theorem.
Proof. Suppose
Conversely, if the dimensions sum to
Lemma (independence across eigenvalues). Eigenvectors belonging to distinct eigenvalues are linearly independent.
Proof sketch. Suppose not, and take a shortest vanishing combination
Corollary.
The converse fails.
What fails when the criterion fails. Two separate things, which the non-example block separates. The polynomial may not split over
Procedure
Deciding, building, and checking
- Find the eigenvalues with their algebraic multiplicities, over the stated field.
- If the polynomial does not split, stop: not diagonalizable over this field. Say whether it would be over a larger one.
- For each eigenvalue, compute a basis of
. The number of basis vectors is the geometric multiplicity. - Sum the geometric multiplicities. Equal to
: diagonalizable. Less than : defective, and no field repairs it. - Build
with those basis vectors as columns, in any order you choose. - Build
with the matching eigenvalues on the diagonal, in the same order. Each eigenvalue repeated as often as its eigenvectors appear. - Check. Verify
column by column. This is cheaper than forming and catches a pairing error immediately.
Shortcuts for step 1–4.
| Situation | Verdict without further work |
|---|---|
| diagonalizable | |
| triangular with distinct diagonal entries | diagonalizable; eigenvalues are the diagonal |
| real symmetric | diagonalizable, and by an orthogonal |
| already diagonal |
When you need
Computing a power.
The check worth running at the end. The trace of
Worked example
Diagonalizing a matrix and taking its fifth power
Steps 1–4: the verdict. From the eigenvalue unit,
Two distinct real eigenvalues, so the geometric multiplicities are each 1 and sum to
Steps 5–6: build
Column 1 of
Step 7: check
The columns say exactly
The inverse.
Confirming the factorisation:
The fifth power.
Computing
Why the cancellation works.
and the same collapse repeats, leaving
Both eigenvalues exceed 1, so every nonzero vector grows under repetition; since
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.
Optional enrichment (1)
Application
Repeated processes and the dominant eigenvalue
A process that applies the same linear step each period has state
Writing the start in eigenvector coordinates. With a basis of eigenvectors,
Every question about the long run is now a question about the
The dominant eigenvalue decides. If one eigenvalue is strictly largest in magnitude, say
provided
For the worked example's
The three regimes.
Differential equations. For
Where the reading needs care. It assumes a basis of eigenvectors; a defective matrix produces terms like