notesU05
notesU05
• The set of real numbers is a vector space over itself: The sum of any two real numbers is a
real number, and a multiple of a real number by a scalar (also real number) is another real
number. And the rules work (whatever they are).
• Rn , for any positive integer n, is a vector space over R: For example, the sum of two lists of
5 numbers is another list of 5 numbers; and a scalar multiple of a list of 5 numbers is another
list of 5 numbers.
• The text uses the symbol M for the set of 2×2 matrices (with real entries — I would have
preferred something more, maybe M2,2 (R), because there is nothing special about 2×2 ma-
trices; but Strang wrote the book. Anyway, the sum of two such matrices is another such
matrix, and a scalar multiple of such a matrix is also such a matrix.
• The set F [−1, 1] of all functions from the interval [−1, 1] into the reals. (The text uses the
set F of functions on the whole real line. I’ve changed that to make the point that the
domain really doesn’t make much difference.) We add two such functions, say f and g, and
we multiply one, say f , by a scalar, say c, “pointwise”, i.e., at each value of x in [−1, 1], the
values of the resulting functions f + g and cf are given by the rule
This is of course the simplest addition and multiplication possible. Here’s a picture:
1
• The text uses Z for the vector space with only one vector, the zero vector. It doesn’t matter
which space this vector is in, because they are all identical from a vector space point of view:
The sum of the vector with itself is itself, all the scalar multiples of the vector are itself.
What we are really interested in at this point are subsets of vector spaces which are vector
spaces in their own rights, with the addition and scalar multiplication inherited from the larger
space. These are called subspaces of the larger space, and it turns out that, for a subset to be a
subspace, all that has to be true is that
• the sum of two vectors in the subset is also in the subset, and
(Well, technically, you need one more thing: The subset can’t be empty, because you need the zero
vector there.)
So, for example:
– (a, b, a+b)+(c, d, c+d) = (a+c, b+d, a+b+c+d), so the sum of two vectors of this form is
still of this form (the third entry is the sum of the first two: a+b+c+d = (a+c)+(b+d));
and
– c(a, b, a + b) = (ca, cb, c(a + b)) = (ca, cb, ca + cb).
• In any vector space V , the one-vector vector space Z and V itself are subspaces.
• If v is a vector in some vector space, then the set of all scalar multiples of v form a subspace.
In fact, the span (the set of all linear combinations) of any set of vectors in a vector space is
a subspace — in fact, it is the smallest subspace that contains those vectors.
a b
• The set of all 2×2 matrices of the form is a subspace of M. So is the set of all
b a − 2b
a b
symmetric matrices: .
b d
• The set of real-valued functions f on [−1, 1] that satisfy f (1/2) = 0 is a subspace of F [−1, 1].
(There is nothing special about the 1/2 here — it could have been any number in [−1, 1] —
but the 0 that follows it must be a zero; otherwise, the sum of two functions of this kind
wouldn’t be another function of this kind, so it wouldn’t be a subspace.)
In view of one of the examples above, we can write down the first (kind of) subspace in which
we are really interested:
2
Definition. For any m × n matrix A, the column space C(A) of A is the span of its columns, a
subspace of Rm .