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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

514 Vector Spaces<br />

The values of a,b,c,d that make this true are given by solutions to the system<br />

a − b = 0<br />

c + d = 0<br />

The solution is a = s,b = s,c = t,d = −t where s,t are scalars. We can describe ker(T ) as follows.<br />

{[ ]} {[ ] [ ]}<br />

s s<br />

1 1 0 0<br />

ker(T )=<br />

= span ,<br />

t −t<br />

0 0 1 −1<br />

It is clear that this set is l<strong>in</strong>early <strong>in</strong>dependent and therefore forms a basis for ker(T ).<br />

Wenowwishtof<strong>in</strong>dabasisforim(T).WecanwritetheimageofT as<br />

{[ ]}<br />

a − b<br />

im(T )=<br />

c + d<br />

Notice that this can be written as<br />

{[<br />

1<br />

span<br />

0<br />

] [<br />

−1<br />

,<br />

0<br />

] [<br />

0<br />

,<br />

1<br />

] [<br />

0<br />

,<br />

1<br />

]}<br />

However this is clearly not l<strong>in</strong>early <strong>in</strong>dependent. By remov<strong>in</strong>g vectors from the set to create an <strong>in</strong>dependent<br />

set gives a basis of im(T). {[ ] [ ]}<br />

1 0<br />

,<br />

0 1<br />

Notice that these vectors have the same span as the set above but are now l<strong>in</strong>early <strong>in</strong>dependent.<br />

♠<br />

A major result is the relation between the dimension of the kernel and dimension of the image of a<br />

l<strong>in</strong>ear transformation. A special case was done earlier <strong>in</strong> the context of matrices. Recall that for an m × n<br />

matrix A, it was the case that the dimension of the kernel of A added to the rank of A equals n.<br />

Theorem 9.81: Dimension of Kernel + Image<br />

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

V is n. Thenn = dim(ker(T )) + dim(im(T )).<br />

Proof. From Proposition 9.78, im(T ) is a subspace of W. By Theorem 9.48, there exists a basis for<br />

im(T ),{T (⃗v 1 ),···,T (⃗v r )}. Similarly, there is a basis for ker(T ),{⃗u 1 ,···,⃗u s }.Thenif⃗v ∈ V, thereexist<br />

scalars c i such that<br />

T (⃗v)=<br />

r<br />

∑<br />

i=1<br />

c i T (⃗v i )<br />

Hence T (⃗v − ∑ r i=1 c i⃗v i )=0. It follows that⃗v − ∑ r i=1 c i⃗v i is <strong>in</strong> ker(T ). Hence there are scalars a i such that<br />

⃗v −<br />

r<br />

∑<br />

i=1<br />

c i ⃗v i =<br />

s<br />

∑ a j ⃗u j<br />

j=1

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

Saved successfully!

Ooh no, something went wrong!