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.

482 Vector Spaces<br />

Say c k ≠ 0. Then solve 9.1 for⃗y k and obta<strong>in</strong><br />

⎧<br />

⎫<br />

s-1 vectors here<br />

⎨<br />

⃗y k ∈ span<br />

⎩ ⃗x { }} { ⎬<br />

1, ⃗y 1 ,···,⃗y k−1 ,⃗y k+1 ,···,⃗y s<br />

⎭ .<br />

Def<strong>in</strong>e {⃗z 1 ,···,⃗z s−1 } to be<br />

{⃗z 1 ,···,⃗z s−1 } = {⃗y 1 ,···,⃗y k−1 ,⃗y k+1 ,···,⃗y s }<br />

Now we can write<br />

⃗y k ∈ span{⃗x 1 ,⃗z 1 ,···,⃗z s−1 }<br />

Therefore, span{⃗x 1 ,⃗z 1 ,···,⃗z s−1 } = V . To see this, suppose ⃗v ∈ V. Then there exist constants c 1 ,···,c s<br />

such that<br />

s−1<br />

⃗v = ∑ c i ⃗z i + c s ⃗y k .<br />

i=1<br />

Replace this⃗y k with a l<strong>in</strong>ear comb<strong>in</strong>ation of the vectors {⃗x 1 ,⃗z 1 ,···,⃗z s−1 } to obta<strong>in</strong>⃗v ∈ span{⃗x 1 ,⃗z 1 ,···,⃗z s−1 }.<br />

The vector⃗y k ,<strong>in</strong>thelist{⃗y 1 ,···,⃗y s }, has now been replaced with the vector⃗x 1 and the result<strong>in</strong>g modified<br />

list of vectors has the same span as the orig<strong>in</strong>al list of vectors, {⃗y 1 ,···,⃗y s }.<br />

We are now ready to move on to the proof. Suppose that r > s and that<br />

span { ⃗x 1 ,···,⃗x l ,⃗z 1 ,···,⃗z p<br />

}<br />

= V<br />

where the process established above has cont<strong>in</strong>ued. In other words, the vectors⃗z 1 ,···,⃗z p are each taken<br />

from the set {⃗y 1 ,···,⃗y s } and l + p = s. This was done for l = 1 above. Then s<strong>in</strong>ce r > s, it follows that<br />

l ≤ s < r and so l + 1 ≤ r. Therefore, ⃗x l+1 is a vector not <strong>in</strong> the list, {⃗x 1 ,···,⃗x l } and s<strong>in</strong>ce<br />

there exist scalars, c i and d j such that<br />

span { ⃗x 1 ,···,⃗x l ,⃗z 1 ,···,⃗z p<br />

}<br />

= V<br />

⃗x l+1 =<br />

l<br />

∑<br />

i=1<br />

c i ⃗x i +<br />

p<br />

∑ d j ⃗z j . (9.2)<br />

j=1<br />

Not all the d j can equal zero because if this were so, it would follow that {⃗x 1 ,···,⃗x r } would be a l<strong>in</strong>early<br />

dependent set because one of the vectors would equal a l<strong>in</strong>ear comb<strong>in</strong>ation of the others. Therefore, 9.2<br />

can be solved for one of the⃗z i ,say⃗z k ,<strong>in</strong>termsof⃗x l+1 and the other⃗z i and just as <strong>in</strong> the above argument,<br />

replace that⃗z i with⃗x l+1 to obta<strong>in</strong><br />

Cont<strong>in</strong>ue this way, eventually obta<strong>in</strong><strong>in</strong>g<br />

⎧<br />

⎫<br />

p-1 vectors here<br />

⎨<br />

span<br />

⎩ ⃗x { }} { ⎬<br />

1,···⃗x l ,⃗x l+1 , ⃗z 1 ,···⃗z k−1 ,⃗z k+1 ,···,⃗z p<br />

⎭ = V<br />

span{⃗x 1 ,···,⃗x s } = V.

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

Saved successfully!

Ooh no, something went wrong!