12.07.2015 Views

Linear Algebra

Linear Algebra

Linear Algebra

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

380 Chapter Five. SimilarityProof Suppose not. Those strings cannot be longer; if the index is k thent k sends any vector — including those starting the string — to ⃗0. So supposeinstead that there is a transformation t of index k on some space, such thatthe space has a t-string basis where all of the strings are shorter than lengthk. Because t has index k, there is a vector ⃗v such that t k−1 (⃗v) ≠ ⃗0. Represent⃗v as a linear combination of basis elements and apply t k−1 . We are supposingthat t k−1 sends each basis element to ⃗0 but that it does not send ⃗v to ⃗0. Thatis impossible.QEDWe shall show that every nilpotent map has an associated string basis.Looking for a counterexample, a nilpotent map without an associated stringbasis that is disjoint, will suggest the idea for the proof. Consider the mapt: C 5 → C 5 with this action.⃗e 1⃗e 2↦→↦→⃗e 3 ↦→ ⃗0⃗e 4 ↦→ ⃗e 5 ↦→ ⃗0⎛⎞0 0 0 0 00 0 0 0 0Rep E5 ,E 5(t) =1 1 0 0 0⎜⎟⎝0 0 0 0 0⎠0 0 0 1 0These three strings aren’t disjoint. The first two strings ⃗e 1 ↦→ ⃗e 3 ↦→ ⃗0 and⃗e 1 ↦→ ⃗e 3 ↦→ ⃗0 overlap, even after omitting ⃗0. But that doesn’t mean that thereis no t-string basis; it only means that E 5 is not one.To find a basis we first find the number and lengths of its strings. Since t’sindex of nilpotency is two, Lemma 2.13 says that at least one string in the basishas length two. Thus the map must act on a string basis in one of these twoways.⃗β 1 ↦→ ⃗β 2 ↦→ ⃗0⃗β 3 ↦→ ⃗β 4 ↦→ ⃗0⃗β 5 ↦→ ⃗0⃗β 1 ↦→ ⃗β 2 ↦→ ⃗0⃗β 3 ↦→ ⃗0⃗β 4 ↦→ ⃗0⃗β 5 ↦→ ⃗0Now, the key point. A transformation with the left-hand action has a null spaceof dimension three since that’s how many basis vectors are mapped to zero. Atransformation with the right-hand action has a null space of dimension four.Using the matrix representation above, calculation of t’s null space⎛ ⎞x−xN (t) = {z∣ x, z, r ∈ C}⎜ ⎟⎝ 0 ⎠rshows that it is three-dimensional, meaning that we want the left-hand action.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!