MHB Linear Map, T^p(x)=0, Show Linear Independence

[joypav]

Problem:

Suppose V is a complex vector space of dimension n, and T is a linear map from V to V. Suppose $x \in V$, and p is a positive integer such that $T^p(x)=0$ but $T^{p-1}(x)\ne0$.

Show that $x, Tx, T^2x, ... , T^{p-1}x$ are linearly independent.During class my professor said it was "a fact" that

If V is a complex vector space of dimension n, and T is a linear map from V to V such that $T^n(x)=0$ but $T^{n-1}(x)\ne0$,
then there exists an x such that $x, Tx, T^2x, ... , T^{n-1}x$ are linearly independent.

Is this what I should use for this problem? If so, do I need to know how I can determine such an x?

 

[HOI]

What you assert your professor said and the theorem you state are not quite the same. You say your professor said "If V is a complex vector space of dimension n, and T is a linear map from V to V such that T^n(x)= 0 but T^{n-1}(x) is not 0" then there exist x such that ...". If the conclusion is "there exist x" then what is that x in the hypothesis?

In any case, given that, for some linear transformation there exist vector x and integer n such that T^n(x)= 0 but that T^{n-1}(x)\ne 0 (from which it follows that T^m(x)\ne 0 for any m< n), the suppose to the contrary that x, T(x), T^2(x), ..., T^{n-1}(x) are NOT linearly independent. Then there exist \{a_n\}, not all 0, such that a_0x+ a_1T(x)+\cdot\cdot\cdot+ a_{n-2}T^{n-2}(x)+ a_{n-}T^{n-1}(x)= 0. Apply T to both sides: a_0T(x)+ a_1T^2(x)+ \cdot\cdot\cdot+ a_{n-1}T^{n-1}(x)+ a_nT^n(x)= a_0T(x)+ a_1T^2(x)+ \cdot\cdot\cdot+ a_{n-1}T^{n-1}(x)= 0.

Applying T n-1 times, and repeatedly using the fact that T^n(x)= 0, we arrive at a_0T^{n-1}(x)= 0. If a_0\ne 0 it follows that T^{n-1}(x)= 0, a contradiction. If a_0= 0, we only need to apply T n-2 times to arrive at a_1T^{n-1}(x)= 0, etc.