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.

200 R n<br />

Def<strong>in</strong>ition 4.80: Basis of a Subspace<br />

Let V be a subspace of R n .Then{⃗u 1 ,···,⃗u k } is a basis for V if the follow<strong>in</strong>g two conditions hold.<br />

1. span{⃗u 1 ,···,⃗u k } = V<br />

2. {⃗u 1 ,···,⃗u k } is l<strong>in</strong>early <strong>in</strong>dependent<br />

Note the plural of basis is bases.<br />

The follow<strong>in</strong>g is a simple but very useful example of a basis, called the standard basis.<br />

Def<strong>in</strong>ition 4.81: Standard Basis of R n<br />

Let⃗e i be the vector <strong>in</strong> R n which has a 1 <strong>in</strong> the i th entry and zeros elsewhere, that is the i th column of<br />

the identity matrix. Then the collection {⃗e 1 ,⃗e 2 ,···,⃗e n } is a basis for R n and is called the standard<br />

basis of R n .<br />

The ma<strong>in</strong> theorem about bases is not only they exist, but that they must be of the same size. To show<br />

this, we will need the the follow<strong>in</strong>g fundamental result, called the Exchange Theorem.<br />

Theorem 4.82: Exchange Theorem<br />

Suppose {⃗u 1 ,···,⃗u r } is a l<strong>in</strong>early <strong>in</strong>dependent set of vectors <strong>in</strong> R n , and each ⃗u k is conta<strong>in</strong>ed <strong>in</strong><br />

span{⃗v 1 ,···,⃗v s } Then s ≥ r.<br />

In words, spann<strong>in</strong>g sets have at least as many vectors as l<strong>in</strong>early <strong>in</strong>dependent sets.<br />

Proof. S<strong>in</strong>ce each ⃗u j is <strong>in</strong> span{⃗v 1 ,···,⃗v s }, there exist scalars a ij such that<br />

⃗u j =<br />

s<br />

∑<br />

i=1<br />

Suppose for a contradiction that s < r. Then the matrix A = [ a ij<br />

]<br />

has fewer rows, s than columns, r. Then<br />

the system AX = 0 has a non trivial solution ⃗ d, that is there is a ⃗ d ≠⃗0 such that A ⃗ d =⃗0. In other words,<br />

Therefore,<br />

r<br />

∑ d j ⃗u j =<br />

j=1<br />

a ij ⃗v i<br />

r<br />

∑ a ij d j = 0, i = 1,2,···,s<br />

j=1<br />

=<br />

r s<br />

∑ d j ∑<br />

j=1 i=1<br />

s<br />

∑<br />

i=1<br />

a ij ⃗v i<br />

(<br />

r<br />

∑ a ij d j<br />

)⃗v i =<br />

j=1<br />

s<br />

∑<br />

i=1<br />

0⃗v i = 0<br />

which contradicts the assumption that {⃗u 1 ,···,⃗u r } is l<strong>in</strong>early <strong>in</strong>dependent, because not all the d j are zero.<br />

Thus this contradiction <strong>in</strong>dicates that s ≥ r.<br />

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

Saved successfully!

Ooh no, something went wrong!