06.09.2021 Views

A First Course in Linear Algebra, 2017a

A First Course in Linear Algebra, 2017a

A First Course in Linear Algebra, 2017a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

308 L<strong>in</strong>ear Transformations<br />

S<strong>in</strong>ce {T (⃗v 1 ),···,T (⃗v r )} is l<strong>in</strong>early <strong>in</strong>dependent, it follows that each c i = 0. Hence ∑ s j=1 a j⃗u j = 0andso,<br />

s<strong>in</strong>ce the {⃗u 1 ,···,⃗u s } are l<strong>in</strong>early <strong>in</strong>dependent, it follows that each a j = 0 also. Therefore {⃗u 1 ,···,⃗u s ,⃗v 1 ,···,⃗v r }<br />

is a basis for V and so<br />

n = s + r = dim(ker(T )) + dim(im(T ))<br />

♠<br />

The above theorem leads to the next corollary.<br />

Corollary 5.53:<br />

Let T : V → W be a l<strong>in</strong>ear transformation where V ,W are subspaces of R n . Suppose the dimension<br />

of V is m. Then<br />

dim(ker(T )) ≤ m<br />

dim(im(T )) ≤ m<br />

This follows directly from the fact that n = dim(ker(T )) + dim(im(T )).<br />

Consider the follow<strong>in</strong>g example.<br />

Example 5.54:<br />

Let T : R 2 → R 3 be def<strong>in</strong>ed by<br />

⎡<br />

T (⃗x)= ⎣<br />

1 0<br />

1 0<br />

0 1<br />

Then im(T )=V is a subspace of R 3 and T is an isomorphism of R 2 and V. F<strong>in</strong>da2 × 3 matrix A<br />

such that the restriction of multiplication by A to V = im(T ) equals T −1 .<br />

⎤<br />

⎦⃗x<br />

Solution. S<strong>in</strong>ce the two columns of the above matrix are l<strong>in</strong>early <strong>in</strong>dependent, we conclude that dim(im(T )) =<br />

2 and therefore dim(ker(T )) = 2 − dim(im(T )) = 2 − 2 = 0 by Theorem 5.52. Then by Theorem 5.51 it<br />

follows that T is one to one.<br />

Thus T is an isomorphism of R 2 and the two dimensional subspace of R 3 which is the span of the<br />

columns of the given matrix. Now <strong>in</strong> particular,<br />

Thus<br />

Extend T −1 to all of R 3 by def<strong>in</strong><strong>in</strong>g<br />

⎡<br />

T (⃗e 1 )= ⎣<br />

T −1 ⎡<br />

⎣<br />

1<br />

1<br />

0<br />

1<br />

1<br />

0<br />

⎤<br />

⎡<br />

⎦, T (⃗e 2 )= ⎣<br />

⎤ ⎡<br />

⎦ =⃗e 1 , T −1 ⎣<br />

T −1 ⎡<br />

⎣<br />

0<br />

1<br />

0<br />

⎤<br />

⎦ =⃗e 1<br />

0<br />

0<br />

1<br />

⎤<br />

0<br />

0<br />

1<br />

⎤<br />

⎦<br />

⎦ =⃗e 2

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

Saved successfully!

Ooh no, something went wrong!