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.

9.4. Subspaces and Basis 485<br />

Then {⃗v 1 ,⃗v 2 } is a basis for V and we are done. If span{⃗v 1 ,⃗v 2 } ≠ V , then there exists ⃗v 3 /∈ span{⃗v 1 ,⃗v 2 }<br />

and {⃗v 1 ,⃗v 2 ,⃗v 3 } is a larger l<strong>in</strong>early <strong>in</strong>dependent set of vectors. Cont<strong>in</strong>u<strong>in</strong>g this way, the process must stop<br />

before n+1 steps because if not, it would be possible to obta<strong>in</strong> n+1 l<strong>in</strong>early <strong>in</strong>dependent vectors contrary<br />

to the exchange theorem, Theorem 9.35.<br />

♠<br />

If <strong>in</strong> fact W has n vectors, then it follows that W = V .<br />

Theorem 9.41: Subspace of Same Dimension<br />

Let V be a vector space of dimension n and let W be a subspace. Then W = V if and only if the<br />

dimension of W is also n.<br />

Proof. <strong>First</strong> suppose W = V. Then obviously the dimension of W = n.<br />

Now suppose that the dimension of W is n. Let a basis for W be {⃗w 1 ,···,⃗w n }.IfW is not equal to<br />

V ,thenlet⃗v be a vector of V which is not conta<strong>in</strong>ed <strong>in</strong> W. Thus ⃗v is not <strong>in</strong> span{⃗w 1 ,···,⃗w n } and by<br />

Lemma 9.74, {⃗w 1 ,···,⃗w n ,⃗v} is l<strong>in</strong>early <strong>in</strong>dependent which contradicts Theorem 9.35 because it would be<br />

an <strong>in</strong>dependent set of n + 1 vectors even though each of these vectors is <strong>in</strong> a spann<strong>in</strong>g set of n vectors, a<br />

basis of V .<br />

♠<br />

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

Example 9.42: Basis of a Subspace<br />

{ ∣ [ ]<br />

∣∣∣ 1 0<br />

Let U = A ∈ M 22 A =<br />

1 −1<br />

U, and hence dim(U).<br />

[<br />

1 1<br />

0 −1<br />

[ ]<br />

a b<br />

Solution. Let A = ∈ M<br />

c d 22 .Then<br />

[ ] [<br />

1 0 a b<br />

A =<br />

1 −1 c d<br />

] }<br />

A .ThenU is a subspace of M 22 F<strong>in</strong>d a basis of<br />

][<br />

1 0<br />

1 −1<br />

] [ ]<br />

a + b −b<br />

=<br />

c + d −d<br />

and [ ] [ ][ ] [ ]<br />

1 1 1 1 a b a + c b+ d<br />

A =<br />

=<br />

.<br />

0 −1 0 −1 c d −c −d<br />

[ ] [ ]<br />

a + b −b a + c b+ d<br />

If A ∈ U,then<br />

=<br />

.<br />

c + d −d −c −d<br />

Equat<strong>in</strong>g entries leads to a system of four equations <strong>in</strong> the four variables a,b,c and d.<br />

a + b = a + c<br />

−b = b + d<br />

c + d = −c<br />

−d = −d<br />

or<br />

b − c = 0<br />

−2b − d = 0<br />

2c + d = 0<br />

The solution to this system is a = s, b = − 1 2 t, c = − 1 2t, d = t for any s,t ∈ R, and thus<br />

[ ] [ ] [<br />

s<br />

t<br />

A = 2 1 0 0 − 1 ]<br />

−<br />

2<br />

t = s +t<br />

2<br />

t 0 0 − 1 .<br />

2<br />

1<br />

.

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

Saved successfully!

Ooh no, something went wrong!