T-cyclic Subspaces and the Cayley–Hamilton Theorem
We finish this chapter by introducing a general family of invariant subspaces and using them to prove
a startling result.
Definition 1.16. Let T ∈ L(V) and let v ∈ V. The T-cyclic subspace generated by v is the span
⟨
v
⟩
= Span{v, T(v), T
2
( v), . . .}
Example 1.17. Recalling Example 1.10.3 Let A =
3 1 0
0 3 0
0 0 5
, and v = i + k. It is easy to see that
Av = 3i + 5k, A
2
v = 9i + 25k, . . . , A
m
v = 3
m
i + 5
m
k
all of which lie in Span{i, k}. Plainly this is the L
A
-cyclic subspace
⟨
i + k
⟩
.
The proof of the following basic result is left as an exercise.
Lemma 1.18.
⟨
v
⟩
is the smallest T-invariant subspace of V containing v, specifically:
1.
⟨
v
⟩
is T-invariant.
2. If W ≤ V is T-invariant and v ∈ W, then
⟨
v
⟩
≤ W.
3. dim
⟨
v
⟩
= 1 ⇐⇒ v is an eigenvector of T.
We were lucky in the example that the general form A
m
v was so clear. It is helpful to develop a more
precise test for identifying the dimension and a basis of a T-cyclic subspace.
Suppose a T-cyclic subspace
⟨
v
⟩
= Span{v, T(v), T
2
( v), . . .} has finite dimension.
3
Let k ≥ 1 be
maximal such that the set
{v, T(v), . . . , T
k−1
( v)}
is linearly independent.
• If k doesn’t exist, the infinite linearly independent set {v, T(v), . . .} contradicts dim
⟨
v
⟩
< ∞.
• By the maximality of k, T
k
( v) ∈ Span{v, T(v), . . . , T
k−1
( v)}; by induction this extends to
j ≥ k =⇒ T
j
( v) ∈ Span{v, T(v), . . . , T
k−1
( v)}
It follows that
⟨
v
⟩
= Span{v, T(v), . . . , T
k−1
( v)}, and we’ve proved a useful criterion.
Theorem 1.19. Suppose v = 0, then
dim
⟨
v
⟩
= k ⇐⇒ {v, T(v), . . . , T
k−1
( v)} is a basis of
⟨
v
⟩
⇐⇒ k is maximal such that {v, T(v), . . . , T
k−1
( v)} is linearly independent
⇐⇒ k is minimal such that T
k
( v) ∈ Span{v, T(v), . . . , T
k−1
( v)}
3
Necessarily the situation if dim V < ∞, when we are thinking about characteristic polynomials.
10