All eigenvalues 0 implies nilpotent

  • Thread starter Thread starter altcmdesc
  • Start date Start date
  • Tags Tags
    Eigenvalues
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
7 replies · 8K views
altcmdesc
Messages
64
Reaction score
0

Homework Statement


How would I go about proving that if a linear operator [tex]T\colon V\to V[/tex] has all eigenvalues equal to 0, then [tex]T[/tex] must be nilpotent?

The Attempt at a Solution



I know that this follows trivially from the Cayley-Hamilton theorem (the characteristic polynomial is [tex]x^n[/tex] and hence [tex]T^n=0[/tex]), but, unfortunately, I'm not allowed to use that theorem. How else could I go about proving this? I've been trying to show that any vector in [tex]V[/tex] is also in the kernel of some power of [tex]T[/tex] and hence [tex]T[/tex] is nilpotent, but I'm getting stuck.
 
Physics news on Phys.org
T^(k+1)(V) is a subset of T^k(V), right? If T isn't nilpotent then you eventually have a k such that T^(k+1)(V)=T^k(V) with T^k(V) not {0}. Consider the restricted map T:T^k(V)->T^k(V). What can you say about it?
 
Is it that the restricted map doesn't have any eigenvalues/eigenvectors and is bijective? Am I on the right track?
 
Last edited:
Why must the restricted map have an eigenvector? I know where to go from there, but I can't seem to understand why that must be true since there isn't any assumption made that the base field of the vector space V is algebraically closed.
 
Last edited:
My point is that if the vector space is over the reals, for example, not every characteristic polynomial has roots (e.g. x^2+1), so if T^m(V) isn't over an algebraically closed field, we don't necessarily have that the restricted map has an eigenvalue...right?
 
altcmdesc said:
My point is that if the vector space is over the reals, for example, not every characteristic polynomial has roots (e.g. x^2+1), so if T^m(V) isn't over an algebraically closed field, we don't necessarily have that the restricted map has an eigenvalue...right?

Right. But then what exactly do you mean by "T has all eigenvalues equal to zero"? Take the matrix T=[[0,0,0],[0,0,-1],[0,1,0]]. T has one REAL eigenvalue and that's 0. T is not nilpotent. I don't think I would describe T as having all eigenvalues equal to 0.