Popular Courses
Linear Algebra
University Study Guides
MATH 1ZC3
McMaster University
MATH 1ZC3
McMaster University
MATH 1600A/B
Western University
Linear Algebra
General Course
MAT 1341
University of Ottawa
MATH 204
Concordia University
MAT188H1
University of Toronto
Linear Algebra
University Study Guides
NMM 1411A/B
Western University
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 223
McGill 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 .