Vector Space of Real Numbers
Senior 4 · Mathematics
Vector Space of Real Numbers
Lesson 2 of 5
25 min
Take the line and treat each of its points as a vector from the origin. Add two of them: , and , so the sum is on the line again. Multiply one by a scalar: , still on the line. Whatever you do with the two operations, you never leave the line. The line is a vector space in its own right, sitting inside .
Now shift the line up to . The points and are on it, but their sum is not, since . The shifted line is not closed under the operations. This lesson makes the difference precise.
Definition
Subspace: a subset of a vector space is a subspace of when is non-empty and is itself a vector space under the same addition and scalar multiplication as .
Notation: we write or simply say " is a subspace of ".
Example: the line is a subspace of .
Important
Theorem (subspace test). A subset is a subspace of if and only if
Why three checks are enough. Conditions 2 and 3 are rules A1 and M1 for . Rules A2, A3, M2, M3, M4 and M5 are equations that hold for all vectors of , so they hold in particular for the vectors of . Condition 1 gives A4, and condition 3 with puts in , which gives A5.
Conditions 2 and 3 can be merged into one: for all and all .
The picture shows why the origin matters. On the blue line every sum and every multiple stays on the line. On the orange line the vector is missing, and the sum of the position vectors of and lands off the line. A line, a pair of lines or a region of the plane can fail in different ways, so test each condition:
| Subset of | ? | Closed under ? | Closed under ? | Subspace? |
|---|---|---|---|---|
| yes | yes | yes | yes (the zero subspace) | |
| line | yes | yes | yes | yes |
| line | no | no | no | no |
| first quadrant | yes | yes | no: | no |
| both axes | yes | no: | yes | no |
| parabola | yes | no: | no: | no |
| the whole plane | yes | yes | yes | yes |
Worked example 1: proving that a line is a subspace
Show that is a subspace of .
Solution.
1. , so .
2. Let , so and . Their sum is and
so the sum is in .
3. For , and , so .
All three conditions hold, so is a subspace. Geometrically it is the line through the origin.
Worked example 2: deciding, with reasons
Which of these subsets of are subspaces? (a) (b) (c)
Solution.
(a) , so : not a subspace.
(b) gives . and . So is a subspace: the line .
(c) contains and is closed under addition, because a sum of integers is an integer. But and . Scalars are all real numbers, so is not a subspace.
Suppose is a subspace that contains a non-zero vector . By condition 3 it contains every multiple , that is, the whole line through in the direction of . If also contains a vector that is not on that line, then (as you will prove in the next two lessons) every vector of the plane can be written as , so . This leaves only three possibilities:
| Subspace of | Picture |
|---|---|
| the origin alone | |
| , with | a line through the origin |
| the whole plane |
A line through the origin with equation is the set of multiples of the direction vector : for that is , or more neatly its multiple .
Worked example 3: intersection and union
Let and . Find and decide whether is a subspace.
Solution. A vector in both satisfies and , so , and : , a subspace.
The union contains and , but their sum satisfies neither nor . So is not closed under addition and is not a subspace.
In general, the intersection of two subspaces is always a subspace (each condition holds in both, so it holds in the intersection), while a union of two different lines through never is.
Warning
"It contains " does not finish the job. Condition 1 is a quick way to say no: if , stop. But the axes and the parabola both contain and are still not subspaces. To say yes you must prove all three conditions for general vectors, not for one or two examples.
Tip
For a set given by an equation, the test usually comes down to one question: is the equation linear and homogeneous (every term has exactly one variable to the first power, and there is no constant)? is; , and are not.
Dr. Trefor Bazett: Subspaces are the natural subsets of linear algebra (about 6 min). Watch for the three conditions of the subspace test and for the examples that fail one of them.
Practice
Give a reason for every yes and a counter-example for every no.
Key points
Sources and credits
Quick check
The line y = 4x − 1 is a subspace of ℝ².