Our final results state that this process works generally.
Theorem 3.12. Let T ∈ L(V) have an eigenvalue λ. If dim K
λ
< ∞, then there exists a basis
β
λ
= β
x
1
∪··· ∪ β
x
n
of K
λ
consisting of finitely many linearly independent cycles.
Intuition suggests that we create cycles β
x
j
by starting with a basis of the eigenspace E
λ
and extending
backwards: for each x, if x = (T −λI)(y), then x ∈ β
y
; now repeat until you have a maximum length
cycle. This is essentially what we do, though a sneaky induction is required to make sure we keep
track of everything and guarantee that the result really is a basis of K
λ
.
Proof. We prove by induction on m = dim K
λ
.
(Base case) If m = 1, then K
λ
= E
λ
= Span x for some eigenvector x. Plainly {x} = β
x
.
(Induction step) Fix m ≥ 2. Write n = dim E
λ
≤ m and U = (T −λI)
K
λ
.
(i) For the induction hypothesis, suppose every generalized eigenspace with dimension < m (for
any linear map!) has a basis consisting of independent cycles of generalized eigenvectors.
(ii) Define W = R(U) ∩ E
λ
: that is
w ∈ W ⇐⇒
(
U(w) = 0 and
w = U( v) for some v ∈ K
λ
Let k = dim W, choose a complementary subspace X such that E
λ
= W ⊕ X and select a basis
{x
k+1
, . . . , x
n
} of X. If k = 0, the induction step is finished (why?). Otherwise we continue. . .
(iii) The calculation in the proof of Lemma 3.10 (take j = 1) shows that R(U) is T-invariant; it is
therefore the single generalized eigenspace
˜
K
λ
of T
R(U)
.
(iv) By the rank–nullity theorem,
dim R(U) = rank U = dim K
λ
−null U = m −dim E
λ
< m
By the induction hypothesis, R(U) has a basis of independent cycles. Since the last non-zero
element in each cycle is an eigenvector, this basis consists of k distinct cycles β
ˆ
x
1
∪ ··· ∪ β
ˆ
x
k
whose terminal vectors form a basis of W.
(v) Since each
ˆ
x
j
∈ R(U), there exist vectors x
1
, . . . , x
k
such that
ˆ
x
j
= U(x
j
). Including the length-
one cycles generated by the basis of X, the cycles β
x
1
, . . . , β
x
n
now contain
dim R(U) + k + (n −k) = rank U + null U = m
vectors. We leave as an exercise the verification that these vectors are linearly independent.
Corollary 3.13. Suppose that the characteristic polynomial of T ∈ L(V) splits (necessarily dim V <
∞). Then there exists a Jordan canonical basis, namely the union of bases β
λ
from Theorem 3.12.
Proof. By Theorem 3.5, V is the direct sum of generalized eigenspaces. By the previous result, each
K
λ
has a basis β
λ
consisting of finitely many cycles. By Lemma 3.10, the matrix of T
K
λ
has Jordan
canonical form with respect to β
λ
. It follows that β =
S
β
λ
is a Jordan canonical basis for T.
73