0:00 / 0:00

Subspaces

A subspace is a mini vector space within a vector space consisting of vectors that behave "similarly".

Definition

Suppose WW is a non-empty subset of a vector space VV. Let w1, w2W\vec w_1,\ \vec w_2 \in W and let kRk \in \reals.
Then WW is a subspace of VV if:
  1. WW contains the zero vector of VV: 0W\vec 0 \in W
  2. WW is closed under vector addition: w1+w2W\vec w_1 + \vec w_2 \in W
  3. WW is closed under scalar multiplication: kw1Wk\cdot \vec w_1 \in W
Wize Tip
To prove that that a subset of a vector space is a subspace, you must show it satisfies all three conditions.
Shortcut: Showing that aw1+bw2a\vec w_1 + b \vec w_2 is in WW is sufficient to prove all three conditions at once!
To show that a subset is not a subspace, you must provide an example where one condition fails.
PAGE BREAK
Example
Use the shortcut to show that W={x,yR2    y=2x}W=\{\lang x,y \rang \in \mathbb{R}^2\;|\;y=2x\} is a subspace of R2\reals^2.
WW consists of vectors on a line through the origin (0\vec 0) with vectors of the form x, 2x\lang x,\ 2x \rang.
Using the shortcut, we want to show that au+bvWa \vec u +b \vec v \in W where u=u,2u,  v=v,2v\vec u=\lang u, 2u \rang, \ \ \vec v=\lang v, 2v \rang:
au+bv=au,2u+bv,2v=au,2au+bv,2bv=au+bv, 2(au+bv)W\begin{aligned} a \vec u +b \vec v &= a \lang u,2u \rang + b \lang v,2v \rang\\[0.5em] &= \lang au, 2au \rang + \lang bv, 2bv \rang\\[0.5em] &= \lang au + bv,\ 2(au + bv) \rang \in W \end{aligned}
Here, we conclude that au+bv, 2(au+bv)\lang au + bv,\ 2(au + bv) \rang must be in WW since it is a vector of the form x,2x\lang x , 2x \rang.
Therefore, WW is a subspace of R2\reals^2.
0:00 / 0:00

Example: Subspaces

Let VV be the vector space {(x,y)    x,yR+}\{(x,y)\;|\;x,y\in\mathbb{R}^+\} with operations:
  • (x1,y1)+(x2,y2)=(x1x2, y1y2)(x_1,y_1)+(x_2,y_2)=(x_1x_2,\ y_1y_2)
  • k(x,y)=(xk,yk)k\cdot(x,y)=(x^k,y^k)
Recall that in this vector space: 0=(1,1)\vec{0}=(1,1)
Consider the following subset of VV:
W={(x,y)V    x=y}W=\{(x,y)\in V\;|\;x=y\}
Show that WW is a subspace of VV.
According to the definition of WW, vectors in WW must have equal components.
Wize Tip
Find actual vectors in WWto get a feel for the space.
For example: w1=(6,6)W\overrightarrow{w_1}=(6,6)\in W, and w2=(2,2)W\overrightarrow{w_2}=(2,2)\in W.
Then notice that: w1+w2=(6,6)+(2,2)=(62,62)=(12,12)W\overrightarrow{w_1}+\overrightarrow{w_2}=(6,6)+(2,2)=(6\cdot2,6\cdot2)=(12,12)\in W because the components are equal.
Using a scalar k=2k=2, for example:
2w1=2(6,6)=(62,62)=(36,36)W2\cdot\overrightarrow{w_1}=2\cdot(6,6)=(6^2,6^2)=(36,36)\in W because 36=3636=36.
Watch Out!
This is not a formal proof!
We need to show that this is true for every vector in WW and for every scalar kk.

PAGE BREAK

Formal Proof

Step 1
Show that 0W\vec{0}\in W:
In VV the zero vector is 0=(1,1)W\vec{0}=(1,1) \in W because 1=11=1.
Therefore, 0W\vec 0 \in W.
Step 2
Let x, yW\vec{x},\ \vec{y} \in W be arbitrary vectors, with x=(x,x)\vec {x}=(x,x) and y=(y,y)\vec{y}=(y,y) (in WW, components must be the same!).
We must show that x+yW\vec x+\vec y \in W:
x+y=(x,x)+(y,y)=(xy,xy)W\vec x + \vec y = (x,x)+(y,y) = (xy,xy) \in W since the components are equal.
Therefore, WW is closed under vector addition (the addition of any two vectors is still in WW).
Step 3
Once again, let x=(x,x)W\vec x=(x,x) \in W be an arbitrary vector.
We must show that kxWk\cdot \vec x \in W:
kx=k(x,x)=(xk,xk)Wk\cdot \vec x=k\cdot(x,x)=(x^k,x^k) \in W since the components are equal.
Therefore, WW is closed under scalar multiplication (multiplying a vector in WW by a scalar results in another vector in WW).
Thus, WW is a subspace of VV.
Note: We could have also used the shortcut method to prove WW is a subspace.
checklist
Mark Yourself Question
  1. Grab a piece of paper and try this problem yourself.
  2. When you're done, check the "I have answered this question" box below.
  3. View the solution and report whether you got it right or wrong.

Practice: Subspaces

Let M2×2M_{2\times2} be the vector space whose vectors are 2×22\times 2 matrices with real number entries, and with the standard operations of matrix addition and scalar multiplication.

Consider the following subset of M2×2M_{2\times2}:
W={[abcd]M2×2  a+d=b+c}W=\left\{\left[\begin{array}{rr} a&b\\ c&d\\ \end{array}\right]\in M_{2\times2}\ \Big |\ a+d=b+c\right\}
Show that WW is a subspace of M2×2M_{2\times2}.
Extra Practice