Popular Courses
Linear Algebra
University Study Guides
MATH 1ZC3
McMaster University
MATH 1ZC3
McMaster University
MATH 1600
Western University
Linear Algebra
General Course
MAT 1341
University of Ottawa
MATH 204
Concordia University
MAT188H1
University of Toronto
NMM 1411
Western University
Linear Algebra
University Study Guides
APSC 174
Queen's University
MATH 102
University of Alberta
MATH 115
University of Waterloo
MATH 1B03
McMaster University
MATH 1B03
McMaster University
MAT223H1
University of Toronto
MATH-1270
University of Windsor
MATH 1210
University of Manitoba
MATH-1250
University of Windsor
MATH 111
Queen's University

0:00 / 0:00
Subspaces
A subspace is a mini vector space within a vector space consisting of vectors that behave "similarly".
Definition
Suppose is a non-empty subset of a vector space . Let and let .
Then is a subspace of if:
- contains the zero vector of :
- is closed under vector addition:
- is closed under scalar multiplication:
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 is in 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.
Example
Use the shortcut to show that is a subspace of .
consists of vectors on a line through the origin () with vectors of the form .
Using the shortcut, we want to show that where :
Here, we conclude that must be in since it is a vector of the form .
Therefore, is a subspace of .

0:00 / 0:00
Example: Subspaces
Let be the vector space with operations:
Recall that in this vector space:
Consider the following subset of :
Show that is a subspace of .
According to the definition of , vectors in must have equal components.
Wize Tip
Find actual vectors in to get a feel for the space.
For example: , and .
Then notice that: because the components are equal.
Using a scalar , for example:
because .
Watch Out!
This is not a formal proof!
We need to show that this is true for every vector in and for every scalar .
Formal Proof
Step 1
Show that :
In the zero vector is because .
Therefore, .
Step 2
Let be arbitrary vectors, with and (in , components must be the same!).
We must show that :
since the components are equal.
Therefore, is closed under vector addition (the addition of any two vectors is still in ).
Step 3
Once again, let be an arbitrary vector.
We must show that :
since the components are equal.
Therefore, is closed under scalar multiplication (multiplying a vector in by a scalar results in another vector in ).
Thus, is a subspace of .
Note: We could have also used the shortcut method to prove is a subspace.
Mark Yourself Question
- Grab a piece of paper and try this problem yourself.
- When you're done, check the "I have answered this question" box below.
- View the solution and report whether you got it right or wrong.
Practice: Subspaces
Let be the vector space whose vectors are matrices with real number entries, and with the standard operations of matrix addition and scalar multiplication.
Consider the following subset of :
Show that is a subspace of .