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 479<br />

1. U ⊆ W<br />

Notice that 2p(x)−q(x) and p(x)+3q(x) are both <strong>in</strong> W = span{p(x),q(x)}. Then by Theorem 9.28<br />

W must conta<strong>in</strong> the span of these polynomials and so U ⊆ W .<br />

2. W ⊆ U<br />

Notice that<br />

p(x) = 3 7 (2p(x) − q(x)) + 1 7 (p(x)+3q(x))<br />

q(x) = − 1 7 (2p(x) − q(x)) + 2 7 (p(x)+3q(x))<br />

Hence p(x),q(x) are <strong>in</strong> span{2p(x) − q(x), p(x)+3q(x)}. By Theorem 9.28 U must conta<strong>in</strong> the<br />

span of these polynomials and so W ⊆ U.<br />

To prove that a set is a vector space, one must verify each of the axioms given <strong>in</strong> Def<strong>in</strong>ition 9.2 and<br />

9.3. This is a cumbersome task, and therefore a shorter procedure is used to verify a subspace.<br />

Procedure 9.30: Subspace Test<br />

Suppose W is a subset of a vector space V. Todeterm<strong>in</strong>eifW is a subspace of V , it is sufficient to<br />

determ<strong>in</strong>e if the follow<strong>in</strong>g three conditions hold, us<strong>in</strong>g the operations of V:<br />

1. The additive identity⃗0 of V is conta<strong>in</strong>ed <strong>in</strong> W.<br />

2. For any vectors ⃗w 1 ,⃗w 2 <strong>in</strong> W , ⃗w 1 + ⃗w 2 is also <strong>in</strong> W .<br />

3. For any vector ⃗w 1 <strong>in</strong> W and scalar a, the product a⃗w 1 is also <strong>in</strong> W.<br />

♠<br />

Therefore it suffices to prove these three steps to show that a set is a subspace.<br />

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

Example 9.31: Improper Subspaces<br />

{ }<br />

Let V be an arbitrary vector space. Then V is a subspace of itself. Similarly, the set ⃗ 0 conta<strong>in</strong><strong>in</strong>g<br />

only the zero vector is also a subspace.<br />

{ }<br />

Solution. Us<strong>in</strong>g the subspace test <strong>in</strong> Procedure 9.30 we can show that V and ⃗ 0 are subspaces of V.<br />

S<strong>in</strong>ce V satisfies the vector space axioms it also satisfies the three steps of the subspace test. Therefore<br />

V is a subspace.<br />

{ }<br />

Let’s consider the set ⃗ 0 .<br />

{ }<br />

1. The vector⃗0 is clearly conta<strong>in</strong>ed <strong>in</strong> ⃗ 0 , so the first condition is satisfied.

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

Saved successfully!

Ooh no, something went wrong!