06.09.2021 Views

Linear Algebra, Theory And Applications, 2012a

Linear Algebra, Theory And Applications, 2012a

Linear Algebra, Theory And Applications, 2012a

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.

260 LINEAR TRANSFORMATIONS CANONICAL FORMS<br />

⎛<br />

B ≡<br />

⎜<br />

⎝<br />

J ′ (λ 1 ) − λ k I 0<br />

. ..<br />

J ′ (λ k ) − λ k I<br />

. ..<br />

0 J ′ (λ r ) − λ k I<br />

and consequently, rank ( A k) = rank ( B k) for all k ∈ N. Also, both J (λ j ) − λ k I and<br />

J ′ (λ j ) − λ k I are one to one for every λ j ≠ λ k . Since all the blocks in both of these matrices<br />

are one to one except the blocks J ′ (λ k ) − λ k I, J (λ k ) − λ k I, it follows that this requires the<br />

two sequences of numbers {rank ((J (λ k ) − λ k I) m )} ∞ m=1 and { rank ( (J ′ (λ k ) − λ k I) m)} ∞<br />

m=1<br />

must be the same.<br />

Then<br />

⎛<br />

J (λ k ) − λ k I ≡ ⎜<br />

⎝<br />

and a similar formula holds for J ′ (λ k )<br />

⎛<br />

J ′ (λ k ) − λ k I ≡ ⎜<br />

⎝<br />

J k1 (0) 0<br />

J k2 (0)<br />

. ..<br />

0 J kr (0)<br />

J l1 (0) 0<br />

J l2 (0)<br />

. ..<br />

0 J lp (0)<br />

and it is required to verify that p = r and that the same blocks occur in both. Without<br />

loss of generality, let the blocks be arranged according to size with the largest on upper left<br />

corner falling to smallest in lower right. Now the desired conclusion follows from Corollary<br />

10.4.5. <br />

Note that if any of the generalized eigenspaces ker (A − λ k I) m k<br />

has a basis of eigenvectors,<br />

then it would be possible to use this basis and obtain a diagonal matrix in the<br />

block corresponding to λ k . By uniqueness, this is the block corresponding to the eigenvalue<br />

λ k . Thus when this happens, the block in the Jordan canonical form corresponding to λ k<br />

is just the diagonal matrix having λ k down the diagonal and there are no generalized<br />

eigenvectors.<br />

The Jordan canonical form is very significant when you try to understand powers of a<br />

matrix. There exists an n × n matrix S 1 such that<br />

A = S −1 JS.<br />

Therefore, A 2 = S −1 JSS −1 JS = S −1 J 2 S and continuing this way, it follows<br />

A k = S −1 J k S.<br />

where J is given in the above corollary. Consider J k . By block multiplication,<br />

⎛<br />

⎞<br />

J1 k 0<br />

J k ⎜<br />

= ⎝<br />

. ..<br />

⎟<br />

⎠ .<br />

0 Jr<br />

k<br />

1 The S here is written as S −1 in the corollary.<br />

⎞<br />

⎟<br />

⎠<br />

⎞<br />

⎟<br />

⎠<br />

⎞<br />

⎟<br />

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

Saved successfully!

Ooh no, something went wrong!