Jordan Decomposition Theorem
The Jordan decomposition expresses any matrix (over an algebraically closed field) as the sum of a diagonalizable part and a nilpotent part that commute with each other. This additive decomposition is the algebraic counterpart of the Jordan normal form and is fundamental to the structure theory of linear operators.
Statement
Let where is algebraically closed. Then there exist unique matrices and such that:
- ,
- is diagonalizable,
- is nilpotent,
- (they commute).
Moreover, and are polynomials in : there exist with and .
If with , then decompose each block: . So where is diagonal and is the nilpotent part. Then and .
Examples
.
is diagonalizable, is nilpotent, ✓.
.
Jordan form: , so in the Jordan basis:
, .
Since is already upper triangular with Jordan structure, and .
Wait -- check commutativity: and . These are not equal, so this naive decomposition is wrong.
The correct and must commute. Using the Jordan form basis: if , then and . These are the correct which commute.
If is already diagonalizable: , .
: , .
If is nilpotent: , .
: , .
Uniqueness
The decomposition with diagonalizable, nilpotent, and is unique.
Suppose are two such decompositions. Then .
Since commute and commute, and both pairs are polynomials in , all four matrices commute pairwise.
is diagonalizable (difference of commuting diagonalizable matrices). is nilpotent (sum of commuting nilpotent matrices). A matrix that is both diagonalizable and nilpotent must be zero (its only eigenvalue is , but it equals its diagonal form, which is ). So and .
. Jordan decomposition: , .
? .
So this obvious splitting does NOT satisfy . The correct decomposition requires passing to the Jordan basis.
has eigenvalues , so it is actually diagonalizable (distinct eigenvalues). The correct decomposition is , .
The polynomial property
: eigenvalues , diagonalizable (distinct eigenvalues).
, . with , with .
: , .
where (constant polynomial). where .
Since and are polynomials in , they commute with every matrix that commutes with (not just with each other). This is a powerful structural property.
For with distinct eigenvalues (over the algebraic closure), construct satisfying:
for each ,
where is the algebraic multiplicity. This is a Chinese Remainder Theorem problem. Then and .
For with : find with and . By CRT: (a polynomial of degree ).
Multiplicative Jordan decomposition
If is invertible, then where is diagonalizable (semisimple), is unipotent ( is nilpotent), and .
This follows from the additive decomposition: , so and .
: , .
, .
✓.
is nilpotent ✓.
Applications
(since , the exponential splits).
is easy (diagonalizable: ). is a finite sum (nilpotent: ).
For : .
(using , the binomial theorem applies).
Since is nilpotent with , the sum is finite (at most terms).
For : .
has solution .
The diagonalizable part gives exponential modes. The nilpotent part gives polynomial corrections (polynomial times exponential solutions).
For : . The solution is , .
Summary
The Jordan decomposition is one of the most fundamental results in linear algebra:
- It exists and is unique for matrices over algebraically closed fields.
- captures the eigenvalue behavior (the diagonal part), captures the deficiency from diagonalizability.
- Both and are polynomials in , so they commute with everything that commutes with .
- The decomposition enables computation of , , and solutions to differential equations.
- It generalizes to the Jordan--Chevalley decomposition in the theory of Lie algebras and algebraic groups.