Linear Algebra/Strings

This subsection is optional, and requires material from the optional Direct Sum subsection.

The prior subsection shows that as $$ j $$ increases, the dimensions of the $$\mathcal{R}(t^j)$$'s fall while the dimensions of the $$\mathcal{N}(t^j)$$'s rise, in such a way that this rank and nullity split the dimension of $$V$$. Can we say more; do the two split a basis&mdash; is $$ V=\mathcal{R}(t^j)\oplus\mathcal{N}(t^j) $$?

The answer is yes for the smallest power $$j=0$$ since $$ V=\mathcal{R}(t^0)\oplus\mathcal{N}(t^0)=V\oplus\{\vec{0}\} $$. The answer is also yes at the other extreme.

In contrast to the $$j=0$$ and $$j=n$$ cases, for intermediate powers the space $$V$$ might not be the direct sum of $$\mathcal{R}(t^j)$$ and $$\mathcal{N}(t^j)$$. The next example shows that the two can have a nontrivial intersection.

In those three examples all vectors are eventually transformed to zero.

Not all nilpotent matrices are all zeros except for blocks of subdiagonal ones.

The goal of this subsection is Theorem 2.13, which shows that the prior example is prototypical in that every nilpotent matrix is similar to one that is all zeros except for blocks of subdiagonal ones.

We shall show that every nilpotent map has an associated string basis. Then our goal theorem, that every nilpotent matrix is similar to one that is all zeros except for blocks of subdiagonal ones, is immediate, as in Example 2.5.

Looking for a counterexample, a nilpotent map without an associated string basis that is disjoint, will suggest the idea for the proof. Consider the map $$ t:\mathbb{C}^5\to \mathbb{C}^5 $$ with this action. $${\rm Rep}_{\mathcal{E}_5,\mathcal{E}_5}(t)= \begin{pmatrix} 0 &0  &0  &0  &0  \\ 0  &0  &0  &0  &0  \\ 1  &1  &0  &0  &0  \\ 0  &0  &0  &0  &0  \\ 0  &0  &0  &1  &0 \end{pmatrix}$$ Even after omitting the zero vector, these three strings aren't disjoint, but that doesn't end hope of finding a $$t$$-string basis. It only means that $$ \mathcal{E}_5 $$ will not do for the string basis.

To find a basis that will do, we first find the number and lengths of its strings. Since $$t$$'s index of nilpotency is two, Lemma 2.12 says that at least one string in the basis has length two. Thus the map must act on a string basis in one of these two ways.



\begin{array}{ccccc} \vec{\beta}_1 &\mapsto &\vec{\beta}_2 &\mapsto &\vec{0} \\ \vec{\beta}_3 &\mapsto &\vec{\beta}_4 &\mapsto &\vec{0} \\ \vec{\beta}_5 &\mapsto &\vec{0} \end{array}$$
 * $$\begin{array}{ccccc}

\vec{\beta}_1 &\mapsto &\vec{\beta}_2 &\mapsto &\vec{0} \\ \vec{\beta}_3 &\mapsto &\vec{0}  \\ \vec{\beta}_4 &\mapsto &\vec{0}  \\ \vec{\beta}_5 &\mapsto &\vec{0} \end{array} $$

Now, the key point. A transformation with the left-hand action has a nullspace of dimension three since that's how many basis vectors are sent to zero. A transformation with the right-hand action has a nullspace of dimension four. Using the matrix representation above, calculation of $$t$$'s nullspace



\mathcal{N}(t)= \{\begin{pmatrix} x \\ -x \\ z \\ 0 \\ r \end{pmatrix}\,\big|\, x,z,r\in\mathbb{C} \} $$

shows that it is three-dimensional, meaning that we want the left-hand action.

To produce a string basis, first pick $$ \vec{\beta}_2 $$ and $$ \vec{\beta}_4 $$ from $$ \mathcal{R}(t)\cap\mathcal{N}(t) $$



\vec{\beta}_2=\begin{pmatrix} 0 \\ 0 \\ 1 \\ 0 \\ 0 \end{pmatrix}\qquad \vec{\beta}_4=\begin{pmatrix} 0 \\ 0 \\ 0 \\ 0 \\ 1 \end{pmatrix} $$

(other choices are possible, just be sure that $$ \{\vec{\beta}_2,\vec{\beta}_4\} $$ is linearly independent). For $$ \vec{\beta}_5 $$ pick a vector from $$ \mathcal{N}(t) $$ that is not in the span of $$ \{ \vec{\beta}_2,\vec{\beta}_4 \} $$.



\vec{\beta}_5=\begin{pmatrix} 1 \\ -1 \\ 0 \\ 0 \\ 0 \end{pmatrix} $$

Finally, take $$ \vec{\beta}_1 $$ and $$ \vec{\beta}_3 $$ such that $$ t(\vec{\beta}_1)=\vec{\beta}_2 $$ and $$ t(\vec{\beta}_3)=\vec{\beta}_4 $$.



\vec{\beta}_1=\begin{pmatrix} 0 \\ 1 \\ 0 \\ 0 \\ 0 \end{pmatrix}\qquad \vec{\beta}_3=\begin{pmatrix} 0 \\ 0 \\ 0 \\ 1 \\ 0 \end{pmatrix} $$

Now, with respect to $$ B=\langle \vec{\beta}_1,\ldots,\vec{\beta}_5 \rangle $$, the matrix of $$t$$ is as desired.



{\rm Rep}_{B,B}(t)= \left(\begin{array}{cc|cc|c} 0 &0  &0  &0  &0  \\ 1  &0  &0  &0  &0  \\  \hline 0  &0  &0  &0  &0  \\ 0  &0  &1  &0  &0  \\  \hline 0  &0  &0  &0  &0 \end{array}\right) $$

This illustrates the proof. Basis vectors are categorized into kind $$1$$, kind $$2$$, and kind $$3$$. They are also shown as squares or circles, according to whether they are in the nullspace or not.


 * [[Image:Linalg nilpotent has string basis.png|x300px]]

This form is unique in the sense that if a nilpotent matrix is similar to two such matrices then those two simply have their blocks ordered differently. Thus this is a canonical form for the similarity classes of nilpotent matrices provided that we order the blocks, say, from longest to shortest.

Exercises
/Solutions/