Cayley-Hamilton Theorem
The Cayley--Hamilton theorem states that every square matrix satisfies its own characteristic polynomial. This deep result connects the polynomial algebra of eigenvalues to the matrix algebra itself, and has far-reaching consequences for computing matrix functions, finding inverse matrices, and understanding the structure of linear operators.
Statement
Let be a square matrix over a field , and let be its characteristic polynomial. Then:
That is, if , then:
The theorem does not follow from simply "substituting for " in . The expression is trivially true but irrelevant. The content is that when you expand as a polynomial in , collect the scalar coefficients, and then form the matrix polynomial , the result is the zero matrix.
Verification in small cases
.
Characteristic polynomial (monic): .
Verify :
, , .
.
.
Characteristic polynomial: , or in monic form: .
Verify: .
, , .
So .
If , then , and since each diagonal entry contains a factor .
Applications
If is invertible (), the Cayley--Hamilton theorem provides an explicit formula for as a polynomial in .
For a matrix with : , so:
, , .
.
Verify: .
For with , the relation lets us express any power of as a linear combination of and :
- .
- .
- In general, where and .
A nilpotent matrix with has characteristic polynomial , so Cayley--Hamilton gives , i.e., . This means:
The index of nilpotency of an nilpotent matrix is at most .
For : but . Cayley--Hamilton guarantees without computing.
Cayley--Hamilton and the minimal polynomial
The minimal polynomial of is the monic polynomial of smallest degree such that .
By Cayley--Hamilton, . The minimal polynomial divides the characteristic polynomial: .
-
: . Since is diagonalizable with distinct eigenvalues, .
-
: . But , so . Here .
-
: . Check: . So .
.
, but since the -block is (killed by ) while the -block requires .
Consequences
Cayley--Hamilton guarantees that can be written as a linear combination of . This means:
The set spans all powers of . In particular, (when it exists) is a polynomial in of degree at most .
For an matrix, the algebra has dimension at most over (in fact, dimension equals ).
For : .
Taking traces: , so:
This is a special case of Newton's identities relating power sums to elementary symmetric functions.
For : , . So .
Summary
The Cayley--Hamilton theorem is a cornerstone result:
- Every matrix satisfies a polynomial relation of degree , constraining the algebra generated by .
- It provides formulas for and higher powers of in terms of lower powers.
- It establishes that the minimal polynomial divides the characteristic polynomial.
- It is the starting point for the theory of canonical forms (Jordan form, rational canonical form).
- It generalizes to linear operators on infinite-dimensional spaces (with appropriate definitions) and to ring-theoretic settings (the structure theorem for modules over a PID).