Loading…
Use characteristic polynomials, algebraic and geometric multiplicity, and the distinct-eigenvalue test to decide when eigenvalue data is enough for diagonalization.
The null-space criterion
tells you how to test a proposed eigenvalue. The next step is to package that test into one polynomial whose roots are exactly the eigenvalues of the matrix.
That polynomial is strong enough to limit how many eigenvalues a matrix can have, describe repeated eigenvalues, and give practical tests for diagonalization.
Throughout this note, the base field is . Unless a complex extension is explicitly mentioned, matrices, vectors, scalars, and eigenvalues are over ; every determinant is taken for a square matrix with . We use for the polynomial indeterminate, so the convention is .
Definition 8.3.1
(Characteristic polynomial)
Let with and . The polynomial
is called the characteristic polynomial of .
The variable is only an indeterminate. Once you substitute a scalar , the value becomes the determinant of .
Theorem 8.3.2
(Eigenvalues are exactly the roots of the characteristic polynomial)
Let be an matrix and a scalar. Then the following are equivalent:
This theorem is just the determinant test from the previous note written in a more organized way:
The roots of identify the eigenvalues. The corresponding eigenspace dimensions determine whether they supply enough independent vectors for diagonalization.
Follow how det(A-xI) becomes the characteristic polynomial, how repeated roots split into algebraic and geometric multiplicity, and how eigenspace dimensions decide diagonalizability.
Determinant pipeline
The eigenvalue test det(A-lambda I)=0 is packaged as one polynomial p_A(x)=det(A-xI), whose roots are exactly the eigenvalues.
Factor to read roots
For A=[[3,2],[3,-2]], the determinant simplifies to x^2-x-12=(x-4)(x+3), so the eigenvalues are 4 and -3.
Algebraic multiplicity
For B=[[2,3],[0,2]], p_B(x)=(x-2)^2. The repeated root means the eigenvalue 2 has algebraic multiplicity 2.
Geometric multiplicity
Solving (B-2I)v=0 gives E_B(2)=span{(1,0)^T}, so the geometric multiplicity is only 1.
Dimension-sum test
Diagonalization succeeds exactly when the dimensions of all eigenspaces add up to n, the size of the matrix.
Distinct-eigenvalue shortcut
If an n by n matrix has n distinct eigenvalues, their eigenvectors are automatically independent, so the matrix is diagonalizable.
The characteristic polynomial finds the possible diagonal entries, but diagonalization still asks whether the eigenspaces provide a full eigenbasis.
Theorem 8.3.3
(Basic shape of the characteristic polynomial)
If is an matrix, then is a degree- polynomial whose leading coefficient is and whose constant term is .
So the characteristic polynomial is never an arbitrary expression. Its degree is fixed by the matrix size, and its constant term already remembers the determinant.
Proof
(Degree and leading sign from column multilinearity)
Write the columns of as . The columns of are . Column multilinearity expands the determinant by choosing either or in each position. Choosing in every column gives
Every other choice contains at least one , so it has at most factors of . Hence the degree is exactly and the leading coefficient is . The term with no is , so . This proof keeps the convention ; the alternative is , with the same roots and multiplicities but different odd-degree coefficient signs.
Worked example 8.3.4
(A 2×2 characteristic polynomial)
Let
Then
Simplifying gives
The coefficient calculation is worth checking rather than treating the factorization as a pattern to memorize:
The constant term is , which agrees with , and the leading coefficient is because this is a 2 by 2 instance of the sign . The factors therefore give the roots and , and the root theorem turns those scalar roots into the two eigenvalues. Notice that the sign convention does not change this root set: replacing by multiplies the whole polynomial by , rather than changing its zeros. It does change the leading coefficient when is odd, which is why the convention must be stated before reading coefficient identities such as Cayley-Hamilton. Under our convention , the constant term remains , as the shape proof predicted.
Worked example 8.3.5
(A repeated root)
Let
Then
So is the only eigenvalue, but it appears with multiplicity . The factorization alone does not say that there are two independent eigenvectors: that question belongs to the null space of , which is why algebraic and geometric multiplicity must be kept separate.
Repeated roots need extra language.
Definition 8.3.6
(Algebraic multiplicity and geometric multiplicity)
Let be a root of . Its algebraic multiplicity is the greatest positive integer for which divides . Equivalently, for a polynomial with . Its geometric multiplicity is .
If splits completely over , its distinct roots can be listed as and
The factorization and sum require complete splitting over the chosen field; the local multiplicity definition itself does not.
Algebraic multiplicity comes from the polynomial. Geometric multiplicity comes from the null space . They measure different things, and they do not always agree.
Theorem 8.3.7
(Multiplicity inequality)
If is an eigenvalue of an matrix , then
So every eigenspace has dimension at least , but it can never be larger than the algebraic multiplicity of its eigenvalue.
Proof
(Why geometric multiplicity cannot exceed algebraic multiplicity)
Fix an eigenvalue and let . Choose a basis of that eigenspace and extend it to a basis of . Let have this extended basis as columns. The first columns of are , so
Similarity preserves characteristic polynomials. If , the first columns of have at most one potentially nonzero entry, namely ; at that entry is zero, and the repeated column expansion is a polynomial identity giving
Thus divides , so . If , then and . This composition uses basis extension and similarity already established earlier and does not assume splitting.
Worked example 8.3.8
(A repeated eigenvalue with too small an eigenspace)
For
the characteristic polynomial is , so the eigenvalue has algebraic multiplicity .
Now solve :
So and is free. The eigenspace is
which has dimension . Therefore
This mismatch is exactly why the matrix is not diagonalizable.
Theorem 8.3.9
(Eigenvectors of distinct eigenvalues are linearly independent)
If are eigenvectors of corresponding to pairwise distinct eigenvalues , then
are linearly independent.
Proof
(Induction without assuming independence)
Suppose are pairwise distinct and . We prove by induction on that forces every , allowing some to be zero. The case is immediate. For the induction step, apply to the relation. The last term vanishes and we obtain
Each scaled vector remains in its own eigenspace. The induction hypothesis forces every to be zero; distinctness makes each scalar nonzero, so for , and the original relation gives . Grouping a relation by eigenvalue then proves that the union of bases chosen inside the eigenspaces is independent: the grouped vector in each eigenspace is zero, and independence inside that eigenspace kills every coefficient.
This theorem has two major consequences.
Theorem 8.3.10
(Upper bound on the number of distinct eigenvalues)
An matrix can have at most distinct eigenvalues.
Theorem 8.3.11
(Distinct eigenvalue test for diagonalizability)
If an matrix has exactly distinct eigenvalues, then it is diagonalizable.
The preceding independence result gives both consequences: there can be at most distinct eigenvalues, and when there are , one nonzero eigenvector from each one is an independent list of length , hence a basis of .
The converse is false. A diagonalizable matrix may still have repeated eigenvalues. The identity matrix is the simplest example: every nonzero vector is an eigenvector with eigenvalue , yet the matrix is already diagonal.
Distinct eigenvalues are a sufficient test, but not the only one.
Theorem 8.3.12
(Dimension-sum test for diagonalizability)
List all distinct eigenvalues of that lie in the chosen field as ; the list may be empty. Then is diagonalizable over if and only if
This criterion is a basis count and does not require the characteristic polynomial to split. Choose a basis in each nonzero eigenspace and concatenate these finite lists. The distinct-eigenspace proof shows that the union of eigenspace bases is independent. If the sum is , that union is a basis and diagonalization follows. Conversely, a diagonalizing basis is partitioned by its diagonal eigenvalues; its vectors lie in the corresponding eigenspaces. The independent union of eigenspace bases has dimension at most ; its span contains every vector of the diagonalizing basis, so it spans and has dimension at least . Thus the sum is exactly . If there are no eigenvalues in , the sum is , and an space cannot be diagonalizable over .
A sharper multiplicity version does require splitting:
Theorem 8.3.13
(Algebraic-geometric multiplicity test)
If splits completely over , then is diagonalizable over if and only if for every eigenvalue in .
Indeed, complete splitting gives , while the multiplicity inequality gives term by term. Thus equality of every pair is equivalent to the dimension sum being , and the preceding criterion applies. Without splitting, the condition is not a safe replacement. Over the reals,
has no real eigenvalue. The statement “ for every real eigenvalue” would be vacuous, but is not diagonalizable over . Over , its roots and are distinct, so the field-qualified criterion applies there.
Worked example 8.3.14
(Repeated eigenvalue but still diagonalizable)
Let
Put . Expanding along the first row, the first minor is with positive sign. The second minor is and receives the cofactor sign ; the third is with sign . Thus the three signed terms are , , and , so
Substituting back gives
The factorization records root twice and root once, while the odd degree explains the negative leading coefficient. Since the polynomial has degree three, these are all of its roots over , so the later eigenspace count accounts for every real eigenvalue of this matrix, before we inspect eigenspace dimensions.
For , solving gives , so
For , the equations give , hence . The two vectors in are independent because their second and third coordinates force both coefficients to vanish. The distinct-eigenspace lemma then makes their union with the vector independent, and
For an audit of the eigenspace calculations,
The first matrix gives exactly the single equation , so its null space has dimension ; the second has row equations equivalent to , so its null space has dimension . The polynomial and these dimensions therefore agree with the factorization: the repeated root contributes two independent directions, while root contributes one. Their union is a basis of , which is the concrete diagonalization test in this example.
Thus is diagonalizable even though is a repeated root.
One further theorem relates the characteristic polynomial back to the matrix itself.
Theorem 8.3.15
(Cayley-Hamilton theorem)
If
then
Equivalently, . The theorem is general; the proof supplied here handles the diagonalizable case. For every square matrix, including nondiagonalizable ones, follow the general coefficient-comparison proof in MATH1550. Its prerequisites are the determinant and adjugate identities over the commutative ring , established just before that proof. It uses , so is equivalent to the convention here. Compare coefficients in , then left-multiply by powers of and sum; do not directly substitute in a matrix-coefficient identity. Return here for the elementary diagonalizable proof and the directly checked Jordan example.
For diagonalizable matrices this is easy to believe: once is written as , the identity reduces to applying the scalar polynomial to each diagonal entry of , and every diagonal entry is an eigenvalue, hence a root of .
Proof
(Cayley-Hamilton in the diagonalizable case)
Assume with . For a scalar polynomial , define ; this is scalar substitution into matrix powers, not substitution inside a determinant. Since powers respect similarity, , and is diagonal with entries . Taking , every diagonal entry is zero by the eigenvalue-root theorem. The constant term uses , so .
The practical consequence is that high powers of can be rewritten in terms of lower powers . If
then is nonzero, so the Cayley-Hamilton identity solves for . Multiplying that expression by and reducing again gives an algorithm for all later powers. When , multiplying the identity by and solving gives the explicit formula
This use is valid only after invertibility has been established.
Worked example 8.3.16
(A small Cayley-Hamilton identity)
Let
Its characteristic polynomial is
Therefore Cayley-Hamilton says
Directly,
Multiplying this verified identity by gives
More explicitly, multiplying by gives the recurrence for every . Thus the next terms are determined without multiplying two large matrices from scratch; for example, . This is the concrete reduction mechanism behind the polynomial identity. In fact, for every positive integer ,
The case is the definition of . If the formula holds for , then , proving the next case. This makes the reduction concrete even though is not diagonalizable.
Earlier, the coefficient formula can now be applied concretely: here , , and , so
Both cancellation orders can be checked directly:
Counterexample mode
False claim: every repeated eigenvalue prevents diagonalization. Take . Then , so has algebraic multiplicity , but has basis ; the matrix is already diagonal. The earlier matrix has the same repeated-root pattern but only a one-dimensional eigenspace, so it is not diagonalizable. The repair is to compare with under the stated splitting condition, or to use the unconditioned dimension-sum criterion over the chosen field.
Quick check
(What is the characteristic polynomial of ?)
Use .
Quick check
(If an matrix has n distinct eigenvalues, what can you conclude immediately?)
Use the distinct-eigenvalue theorem.
It is diagonalizable, because eigenvectors corresponding to distinct eigenvalues are linearly independent.
Quick check
(Can geometric multiplicity ever exceed algebraic multiplicity?)
Use the multiplicity inequality.
No. For every eigenvalue ,
Quick check
(Find the characteristic polynomial of and list its eigenvalues.)
Compute and factor the result.
So the eigenvalues are and .
Quick check
(A real 4×4 matrix has four distinct real eigenvalues. What is the dimension of the span of one chosen eigenvector from each eigenvalue?)
Use linear independence of eigenvectors with distinct eigenvalues.
The four chosen eigenvectors are linearly independent, so their span has dimension . Therefore they already form a basis of .
Quick check
(Suppose . What matrix identity does Cayley-Hamilton give?)
Replace the variable by the matrix .
or, after multiplying by ,
That is the Cayley-Hamilton identity for this characteristic polynomial.
Keep 8.1 Eigenvalues, eigenvectors, and eigenspaces open for the null-space interpretation of eigenvalues.
Keep 8.2 Diagonalization and similarity nearby, because this note supplies the polynomial tests that feed that chapter.
The determinant machinery inside depends on 7.1 Determinants and cofactor expansion.