06.09.2021 Views

Linear Algebra, 2020a

Linear Algebra, 2020a

Linear Algebra, 2020a

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.

434 Chapter Five. Similarity<br />

Finally, take ⃗β 1 and ⃗β 3 such that t(⃗β 1 )=⃗β 2 and t(⃗β 3 )=⃗β 4 .<br />

⎛ ⎞ ⎛ ⎞<br />

0<br />

0<br />

1<br />

0<br />

⃗β 1 =<br />

0<br />

⃗β<br />

⎜ ⎟ 3 =<br />

0<br />

⎜ ⎟<br />

⎝0⎠<br />

⎝1⎠<br />

0<br />

0<br />

Therefore, we have a string basis B = 〈⃗β 1 ,...,⃗β 5 〉 and with respect to that basis<br />

the matrix of t has blocks of subdiagonal 1’s.<br />

⎛<br />

⎞<br />

0 0 0 0 0<br />

1 0 0 0 0<br />

Rep B,B (t) =<br />

0 0 0 0 0<br />

⎜<br />

⎟<br />

⎝0 0 1 0 0⎠<br />

0 0 0 0 0<br />

2.16 Theorem Any nilpotent transformation t is associated with a t-string basis.<br />

While the basis is not unique, the number and the length of the strings is<br />

determined by t.<br />

This illustrates the proof, which describes three kinds of basis vectors (shown<br />

in squares if they are in the null space and in circles if they are not).<br />

❦3 ↦→ 1 ❦ ↦→ ··· ··· ↦→ 1 ❦ ↦→ 1 ↦→ ⃗0<br />

❦3 ↦→ 1 ❦ ↦→ ··· ··· ↦→ 1 ❦ ↦→ 1 ↦→ ⃗0<br />

.<br />

❦3 ↦→ 1 ❦ ↦→ ··· ↦→ 1 ❦ ↦→ 1 ↦→ ⃗0<br />

2 ↦→ ⃗0<br />

.<br />

2 ↦→ ⃗0<br />

Proof Fix a vector space V. We will argue by induction on the index of<br />

nilpotency. If the map t: V → V has index of nilpotency 1 then it is the zero<br />

map and any basis is a string basis ⃗β 1 ↦→ ⃗0, ..., ⃗β n ↦→ ⃗0.<br />

For the inductive step, assume that the theorem holds for any transformation<br />

t: V → V with an index of nilpotency between 1 and k − 1 (with k>1) and<br />

consider the index k case.<br />

Observe that the restriction of t to the range space t: R(t) → R(t) is also<br />

nilpotent, of index k − 1. Apply the inductive hypothesis to get a string basis<br />

for R(t), where the number and length of the strings is determined by t.<br />

B = 〈⃗β 1 ,t(⃗β 1 ),...,t h 1<br />

(⃗β 1 )〉 ⌢ 〈⃗β 2 ,...,t h 2<br />

(⃗β 2 )〉 ⌢···⌢〈⃗β i ,...,t h i<br />

(⃗β i )〉

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

Saved successfully!

Ooh no, something went wrong!