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.

270 LINEAR TRANSFORMATIONS CANONICAL FORMS<br />

Then multiplying both sides by φ (A) pj−1 this yields<br />

∑d−1<br />

c i0 φ (A) pj−1 A i v j =0<br />

i=0<br />

Now if any of the c i0 is nonzero this would imply there exists a polynomial having degree<br />

smaller than p j d which sends v j to 0. Since this does not happen, it follows each c i0 =0.<br />

Thus<br />

∑d−1<br />

p<br />

∑ j−1<br />

i=0 k=1<br />

c ik φ (A) k A i v j =0<br />

Now multiply both sides by φ (A) pj−2 and do a similar argument to assert that c i1 =0for<br />

each i. Continuing this { way, all the c}<br />

ik = 0 and this proves the claim.<br />

∣<br />

Thus the vectors α j 0 , ··· ∣ ∣∣<br />

,αj d−1<br />

are linearly independent and there are p j d = ∣β vj<br />

)<br />

of them. Therefore, they form a basis for span<br />

(β vj<br />

. Also note that if you list the<br />

columns { in reverse } order starting from the bottom and going toward the top, the vectors<br />

α j 0 , ··· ,αj d−1<br />

yield Jordan blocks in the matrix of φ (A). Hence, considering all these<br />

{<br />

s<br />

vectors α j 0 d−1} , ··· ,αj listed in the reverse order, the matrix of φ (A) with respect to<br />

j=1<br />

this basis of V is in Jordan canonical form. See Proposition 10.4.4 and Theorem 10.5.2 on<br />

existence and uniqueness for { the Jordan}<br />

form. This Jordan form is unique up to order of<br />

the blocks. For a given j α j 0 , ··· ,αj d−1<br />

yields d Jordan blocks of size p j for φ (A). The<br />

sizeandnumberofJordanblocksofφ (A) depends only on φ (A) , hence only on A. Once<br />

A is determined, φ (A) is determined and hence the number and size of Jordan blocks is<br />

determined so the exponents p j are determined and this shows the lengths of the β vj<br />

,p j d<br />

are also determined. <br />

Note that if the p j are known, then so is the rational canonical form because it comes<br />

from blocks which are companion matrices of the polynomials φ (λ) p j<br />

. Now here is the main<br />

result.<br />

Theorem 10.8.4 Let V be a vector space having field of scalars F and let A ∈L(V,V ).<br />

Then the rational canonical form of A is unique up to order of the blocks.<br />

Proof: Let the minimal polynomial of A be ∏ q<br />

k=1 φ k (λ) m k<br />

. Then recall from Corollary<br />

10.2.4<br />

V = V 1 ⊕···⊕V q<br />

where V k =ker(φ k (A) m k<br />

) . Also recall from Corollary 10.2.5 that the minimal polynomial<br />

of the restriction of A to V k is φ k (λ) m k<br />

. Now apply Lemma 10.8.3 to A restricted to V k . <br />

In the case where two n × n matrices M,N are similar, recall this is equivalent to the<br />

two being matrices of the same linear transformation taken with respect to two different<br />

bases. Hence each are similar to the same rational canonical form.<br />

Example 10.8.5 Here is a matrix.<br />

⎛<br />

A = ⎝ 5 −2 1 ⎞<br />

2 10 −2 ⎠<br />

9 0 9<br />

Find a similarity transformation which will produce the rational canonical form for A.

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

Saved successfully!

Ooh no, something went wrong!