Skip to main content

Linear Algebra for Team-Based Inquiry Learning: PREVIEW Edition — Instructor Version

Steven Clontz, Drew Lewis

🔗

Section 2.3 Subspaces (EV3)

🔗

Subsection 2.3.1 Warm Up

🔗

Activity 2.3.1.

🔗
🔗
Consider the linear equation
x+2y+z=0.
🔗
(a)
🔗
Verify that both v→=[1−11] and w→=[10−1] are solutions.
🔗
(b)
🔗
Is the vector 2v→−3w→ also a solution?
🔗

Subsection 2.3.2 Class Activities

🔗

Observation 2.3.2.

🔗
Recall that if S={v→1,…,v→n} is subset of vectors in Rn, then span(S) is the set of all linear combinations of vectors in S. In EV2 (Section 2.2), we learned how to decide whether span(S) was equal to all of Rn or something strictly smaller.
🔗

Activity 2.3.3.

🔗
🔗
Let S denote a set of vectors in Rn and suppose that u→,v→∈span(S), c∈R and that w→∈Rn. Which of the following vectors might not belong to span(S)?
  1. 0→
  2. u→+w→
  3. u→+v→
  4. cu→
🔗

Definition 2.3.4.

🔗
🔗
A homogeneous system of linear equations is one of the form:
a11x1+a12x2+…+a1nxn=0a21x1+a22x2+…+a2nxn=0⋮⋮⋮⋮am1x1+am2x2+…+amnxn=0
🔗
🔗
This system is equivalent to the vector equation:
x1v→1+⋯+xnv→n=0→
🔗
and the augmented matrix:
[a11a12⋯a1n0a21a22⋯a2n0⋮⋮⋱⋮⋮am1am2⋯amn0]
🔗

Activity 2.3.5.

🔗
Consider the homogeneous vector equation x1v→1+⋯+xnv→n=0→.
🔗
(a)
🔗
Is this equation consistent?
  1. no.
  2. yes.
  3. more information is required.
🔗
(b)
🔗
🔗
Note that if [a1⋮an] and [b1⋮bn] are both solutions, we know that
a1v→1+⋯+anv→n=0→ and b1v→1+⋯+bnv→n=0→.
🔗
Therefore by adding these equations:
(a1+b1)v→1+⋯+(an+bn)v→n=0→,
🔗
we may conclude that the vector [a1+b1⋮an+bn] is...
  1. another solution.
  2. not a solution.
  3. is equal to 0→.
🔗
(c)
🔗
🔗
Similarly, if c∈R, then since multiplying by c yields:
(ca1)v→1+⋯+(can)v→n=0→,
🔗
we may conclude that the vector [ca1⋮can] is...
  1. another solution.
  2. not a solution.
  3. is equal to 0→.
  4. The empty set.
🔗

Observation 2.3.6.

🔗
🔗
If S is any set of vectors in Rn, then the set span(S) has the following properties:
  • the set span(S) is non-empty.
  • the set span(S) is closed under addition: for any u→,v→∈span(S), the sum u→+v→ is also in span(S).
  • the set span(S) is closed under scalar multiplication: for any u→∈span(S) and scalar c∈R, the product cu→ is also in span(S).
🔗
Likewise, if W is the solution set to a homogenous vector equation, it too satisfies:
  • the set W is non-empty.
  • the set W is closed under addition: for any u→,v→∈W, the sum u→+v→ is also in W.
  • the set span(S) is closed under scalar multiplication: for any u→∈W and scalar c∈R, the product cu→ is also in W.
🔗

Definition 2.3.7.

🔗
🔗
A subset W of a vector space is called a subspace provided that it satisfies the following properties:
  • the subset is non-empty.
  • the subset is closed under addition: for any u→,v→∈W, the sum u→+v→ is also in W.
  • the subset is closed under scalar multiplication: for any u→∈W and scalar c∈R, the product cu→ is also in W.
🔗

Observation 2.3.8.

🔗
Note the similarities between a planar subspace spanned by two non-colinear vectors in R3, and the Euclidean plane R2. While they are not the same thing (and shouldn’t be referred to interchangably), algebraists call such similar spaces isomorphic; we’ll learn what this means more carefully in a later chapter.
described in detail following the image
A planar subset of R3 compared with the plane R2.
Figure 11. A planar subset of R3 compared with the plane R2.
🔗

Activity 2.3.9.

🔗
Let W={[xyz]|x+2y+z=0}.
🔗
(b)
🔗
🔗
Let’s assume that v→=[xyz] and w→=[abc] are in W. What are we allowed to assume?
  1. x+2y+z=0.
  2. a+2b+c=0.
  3. Both of these.
  4. Neither of these.
🔗
(c)
🔗
🔗
Which equation must be verified to show that v→+w→=[x+ay+bz+c] also belongs to W?
  1. (x+a)+2(y+b)+(z+c)=0.
  2. x+a+2y+b+z+c=0.
  3. x+2y+z=a+2b+c.
🔗
(d)
🔗
Use the assumptions from (a) to verify the equation from (b).
🔗
(e)
🔗
🔗
Is W is a subspace of R3?
  1. Yes
  2. No
  3. Not enough information
🔗
(f)
🔗
Show that kv→=[kxkykz] also belongs to W for any k∈R by verifying (kx)+2(ky)+(kz)=0 under these assumptions.
🔗
(g)
🔗
🔗
Is W is a subspace of R3?
  1. Yes
  2. No
  3. Not enough information
🔗

Activity 2.3.10.

🔗
Let W={[xyz]|x+2y+z=4}.
🔗
(b)
🔗
🔗
Which of these statements is valid?
  1. [111]∈W, and [222]∈W, so W is a subspace.
  2. [111]∈W, and [222]∈W, so W is not a subspace.
  3. [111]∈W, but [222]∉W, so W is a subspace.
  4. [111]∈W, but [222]∉W, so W is not a subspace.
🔗
(c)
🔗
🔗
Which of these statements is valid?
  1. [111]∈W, and [000]∈W, so W is a subspace.
  2. [111]∈W, and [000]∈W, so W is not a subspace.
  3. [111]∈W, but [000]∉W, so W is a subspace.
  4. [111]∈W, but [000]∉W, so W is not a subspace.
🔗

Remark 2.3.11.

🔗
🔗
In summary, any one of the following is enough to prove that a nonempty subset W is not a subspace:
  • Find specific values for u→,v→∈W such that u→+v→∉W.
  • Find specific values for c∈R,v→∈W such that cv→∉W.
  • Show that 0→∉W.
🔗
🔗
If you cannot do any of these, then W can be proven to be a subspace by doing all of the following:
  1. Show that W is non-empty.
  2. For all v→,w→∈W (not just specific values), u→+v→∈W.
  3. For all v→∈W and c∈R (not just specific values), cv→∈W.
🔗

Activity 2.3.12.

🔗
🔗
Consider these subsets of R3:
R={[xyz]|y=z+1}S={[xyz]|y=|z|}T={[xyz]|z=xy}.
🔗
(a)
🔗
Show R isn’t a subspace by showing that 0→∉R.
🔗
(b)
🔗
Show S isn’t a subspace by finding two vectors u→,v→∈S such that u→+v→∉S.
🔗
(c)
🔗
Show T isn’t a subspace by finding a vector v→∈T such that 2v→∉T.
🔗

Activity 2.3.13.

🔗
🔗
Consider the following two sets of Euclidean vectors:
U={[xy]|7x+4y=0}W={[xy]|3xy2=0}
🔗
Explain why one of these sets is a subspace of R2 and one is not.
🔗

Activity 2.3.14.

🔗
🔗
Consider the following attempted proof that
U={[xy]|x+y=xy}
🔗
is closed under scalar multiplication.
🔗
🔗
Let [xy]∈U, so we know that x+y=xy. We want to show k[xy]=[kxky]∈U, that is, (kx)+(ky)=(kx)(ky). This is verified by the following calculation:
(kx)+(ky)=(kx)(ky)k(x+y)=k2xy0[k(x+y)]=0[k2xy]0=0
🔗
🔗
Is this reasoning valid?
  1. Yes
  2. No
🔗

Remark 2.3.15.

🔗
🔗
Proofs of an equality LEFT=RIGHT should generally be of one of these forms:
  1. Using a chain of equalities:
    LEFT=⋯=⋯=⋯=RIGHT
    Alternatively:
    LEFT=⋯RIGHT=⋯=⋯=⋯=⋯=⋯=SAME=SAME
  2. When the assumption THIS=THAT is already known or assumed to be true :
    THIS=THAT⇒⋯=⋯⇒⋯=⋯⇒LEFT=RIGHT
🔗

Warning 2.3.16.

🔗
🔗
The following proof is invalid.
LEFT=RIGHT⇒⋯=⋯⇒⋯=⋯⇒0=0⇒ANYTHING=ANYTHING
🔗
Basically, you cannot prove something is true by assuming it’s true, and it’s not helpful to prove to someone that zero equals itself (they probably already know that).
🔗

Subsection 2.3.3 Individual Practice

🔗

Remark 2.3.17.

Recall that in Activity 2.2.1 we used the words vector, linear combination, and span to make an analogy with recipes, ingredients, and meals. In this analogy, a recipe was defined to be a list of amounts of each ingredient to build a particular meal.
🔗

Activity 2.3.18.

🔗
(a)
🔗
Given the set of ingredients S={flour,yeast,salt,water,sugar,milk}, how should we think of the subspace span(S)?
🔗
(b)
🔗
What is one meal that lives in the subspace span(S)?
🔗
(c)
🔗
What is one meal that does not live in the subspace span(S)?
🔗

Activity 2.3.19.

🔗
🔗
Let
W={[xyzw]|x+y=3z+2w}.
🔗
The set W is a subspace. Below are two attempted proofs of the fact that W is closed under vector addition. Both of them are invalid; explain why.
🔗
(a)
🔗
🔗
Let u→=[1411],v→=[2−11−1]. Then both u→,v→ are elements of W. Their sum is
w→=[3320]
🔗
and since
3+3=3⋅(2)+2⋅(0),
🔗
it follows that w→ is also in W and so W is closed under vector addition.
🔗
(b)
🔗
🔗
If [xyzw],[abcd] are in W, we need to show that [x+ay+bz+cw+d] is also in W. To be in W, we need
(x+a)+(y+b)=3(z+c)+2(w+d).
🔗
Well, if
(x+a)+(y+b)=3(z+c)+2(w+d),
🔗
then we know that
x+y−3z−2w+a+b−3c−2d=0
🔗
by moving everything over to the left hand side. Since we are assumming that x+y−3z−2w=0 and a+b−3c−2d=0, it follows that 0=0, which is true, which proves that vector addition is closed.
🔗

Subsection 2.3.4 Videos

🔗
Figure 12. Video: Showing that a subset of a vector space is a subspace
🔗
Figure 13. Video: Showing that a subset of a vector space is not a subspace
🔗

Exercises 2.3.5 Exercises

🔗

Subsection 2.3.6 Mathematical Writing Explorations

🔗

Exploration 2.3.20.

A square matrix M is symmetric if, for each index i,j, the entries mij=mji. That is, the matrix is itself when reflected over the diagonal from upper left to lower right. Prove that the set of n×n symmetric matrices is a subspace of Mn×n.
🔗

Exploration 2.3.21.

The space of all real-valued function of one real variable is a vector space. First, define ⊕ and ⊙ for this vector space. Check that you have closure (both kinds!) and show what the zero vector is under your chosen addition. Decide if each of the following is a subspace. If so, prove it. If not, provide the counterexample.
  • The set of even functions, {f:R→R:f(−x)=f(x) for all x}.
  • The set of odd functions, {f:R→R:f(−x)=−f(x) for all x}.
🔗

Exploration 2.3.22.

Give an example of each of these, or explain why it’s not possible that such a thing would exist.
  • A nonempty subset of M2×2 that is not a subspace.
  • A set of two vectors in R2 that is not a spanning set.
🔗

Exploration 2.3.23.

Let V be a vector space and S={v→1,v→2,…,v→n} a subset of V. Show that the span of S is a subspace. Is it possible that there is a subset of V containing fewer vectors than S, but whose span contains all of the vectors in the span of S?
🔗

Subsection 2.3.7 Sample Problem and Solution

🔗
Sample problem Example B.1.7.
PrevTopNext