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.

258 LINEAR TRANSFORMATIONS CANONICAL FORMS<br />

Proposition 10.5.1 Let the minimal polynomial of A ∈L(V,V ) be given by<br />

p (λ) =<br />

Then the eigenvalues of A are {λ 1 , ··· ,λ r }.<br />

It follows from Corollary 10.2.4 that<br />

r∏<br />

(λ − λ k ) m k<br />

k=1<br />

V = ker(A − λ 1 I) m1 ⊕···⊕ker (A − λ r I) mr<br />

≡<br />

V 1 ⊕···⊕V r<br />

where I denotes the identity linear transformation. Without loss of generality, let the<br />

dimensions of the V k be decreasing from left to right. These V k are called the generalized<br />

eigenspaces.<br />

It follows from the definition of V k that (A − λ k I) is nilpotent on V k and clearly each<br />

V k is A invariant. Therefore from Proposition 10.4.4, and letting A k denote the restriction<br />

of A to V k , there exists an ordered basis for V k ,β k such that with respect to this basis, the<br />

matrix of (A k − λ k I) is of the form given in that proposition, denoted here by J k .Whatis<br />

the matrix of A k with respect to β k ? Letting {b 1 , ··· ,b r } = β k ,<br />

A k b j =(A k − λ k I) b j + λ k Ib j ≡ ∑ s<br />

J k sjb s + ∑ s<br />

λ k δ sj b s = ∑ s<br />

(<br />

J<br />

k<br />

sj + λ k δ sj<br />

)<br />

bs<br />

and so the matrix of A k with respect to this basis is<br />

J k + λ k I<br />

where I is the identity matrix. Therefore, with respect to the ordered basis {β 1 , ··· ,β r }<br />

the matrix of A is in Jordan canonical form. This means the matrix is of the form<br />

⎛<br />

⎞<br />

J (λ 1 ) 0<br />

⎜<br />

⎝<br />

. ..<br />

⎟<br />

⎠ (10.5)<br />

0 J (λ r )<br />

where J (λ k )isanm k × m k matrix of the form<br />

⎛<br />

J k1 (λ k ) 0<br />

J k2 (λ k )<br />

⎜<br />

⎝<br />

. ..<br />

0 J kr (λ k )<br />

⎞<br />

⎟<br />

⎠<br />

(10.6)<br />

where k 1 ≥ k 2 ≥···≥k r ≥ 1and ∑ r<br />

i=1 k i = m k . Here J k (λ) isak × k Jordan block of the<br />

form<br />

⎛<br />

⎞<br />

λ 1 0<br />

. 0 λ ..<br />

⎜<br />

⎝<br />

. .. . ⎟<br />

(10.7)<br />

..<br />

1 ⎠<br />

0 0 λ<br />

This proves the existence part of the following fundamental theorem.<br />

Note that if any of the β k consists of eigenvectors, then the corresponding Jordan block<br />

will consist of a diagonal matrix having λ k down the main diagonal. This corresponds to

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

Saved successfully!

Ooh no, something went wrong!