I'm trying to proof a biconditional statement about a nilpotent linear transformation, and I think I already proved it one way,but I'm stuck on the other way.
The statement is as follows:
Let $\phi: \mathbb{R}^3 \rightarrow \mathbb{R}^3$, be a nilpotent linear transformation, then $\phi^2 = 0$ if and only if $\phi$ has an infinite amount of $\phi$-invariant subspaces
I already proved that if $\phi^2 = 0$, then there exist an infinite amount of invariant subspaces, my proof is as follows:
We know that $\phi^2 = 0$, so $\phi$ is nilpotent and therefore there exists a basis $B = \{ v_1, v_2,v_3\}$ such that for all $v_i \in B$ we have $\phi(v_i) = v_{i+1}$ or $\phi(v_i)=0$. One can easily find that because $\phi^2 = 0$, we have that $\phi(v_1) = v_2$ and that $\phi(v_2)=\phi(v_3)=0$ . Consider now all hyperplanes such that they are generated by $v_2$ and a vector $b$ such that $b = \lambda \cdot v_1 + \mu \cdot v_3$ with $\lambda \neq 0$. All these hyperplanes consist the line $L_{v_2} = \{ \lambda \cdot v_2 \shortmid \lambda \in \mathbb{R}\}$. By a straightforward calculation we also find that all those hyperplanes are projected onto this line, so all these hyperplanes are $\phi$ invariant and there are an infinite amount of these hyperplanes.
I'm not quite sure whether this proof is correct, and I'm stuck at the reverse: I don't even know where to start with that statement .
Also, I'd love to have some good tips on how to proof the converse statement without using jordan canonical form considering that hasn't come up yet in the textbook that I'm using.
Any help would be greatly appreciated.
Best Answer
Your first proof is correct. In other words, if $\phi^2 = 0$, then the dimension of the kernel is at least $2$.
On the other hand, if $\phi^2$ fails to be zero. Then, every invariant subspace of $\phi$ contains an eigenspace, but the only eigenvalue $\phi$ can have is $0$. So, every invariant subspace of $\phi$ contains $\ker(\phi)$, a $1$-dimensional subspace. So, there is exactly one $1$-dimensional invariant subspace.
Now, consider any vector for which $\phi^2(v) \neq 0$. We could use such a vector to build a basis $(v,\phi(v),\phi^2(v))$. So, the only invariant subspace containing $v$ is $\Bbb R^3$.
So, any two-dimensional subspace is a subset of $\ker \phi^2$, which is a $2$-dimensional subspace. So, there is exactly one $2$-dimensional subspace.