You are about to erase your work on this activity. Are you sure you want to do this?
Updated Version Available
There is an updated version of this activity. If you update to the most recent version of this activity, then your current progress on this activity will be erased. Regardless, your record of completion will remain. How would you like to proceed?
Mathematical Expression Editor
Abstract Vector Spaces
Earlier in the text we discussed \(\RR ^n\) as a vector space and introduced the notion of a
subspace of \(\RR ^n\). In this section we will consider sets other than \(\RR ^n\) that have two
operations and satisfy the same properties as \(\RR ^n\). Such sets, together with the
operations of addition and scalar multiplication, will also be called vector
spaces.
Properties of Vector Spaces
Recall that \(\RR ^n\) is said to be a vector space because
\(\RR ^n\) is closed under vector addition
\(\RR ^n\) is closed under scalar multiplication
and satisfies the following properties:
(a)
Commutative Property of Addition: \(\vec {u}+\vec {v}=\vec {v}+\vec {u}\)
Existence of Additive Identity: \(\vec {u}+\vec {0}=\vec {u}\)
(d)
Existence of Additive Inverse: \(\vec {u}+(-\vec {u})=\vec {0}\)
(e)
Distributive Property over Vector Addition: \(k(\vec {u}+\vec {v})=k\vec {u}+k\vec {v}\)
(f)
Distributive Property over Scalar Addition: \((k+p)\vec {u}=k\vec {u}+p\vec {u}\)
(g)
Associative Property for Scalar Multiplication: \(k(p\vec {u})=(kp)\vec {u}\)
(h)
Multiplication by \(1\): \(1\vec {u}=\vec {u}\)
In the next two examples we will explore two sets other than \(\RR ^n\) endowed with addition
and scalar multiplication and satisfying the same properties.
Observe that the sum of two \(m\times n\) matrices is also an \(m\times n\) matrix. Likewise, a scalar multiple
of an \(m\times n\) matrix is an \(m\times n\) matrix. Thus
\(\mathbb {M}_{m,n}\) is closed under matrix addition
\(\mathbb {M}_{m,n}\) is closed under scalar multiplication
In addition, Theorems ?? and ?? give us the following properties of matrix addition
and scalar multiplication. Note that these properties are analogous to the eight vector
properties above.
(a)
Commutative Property of Addition: \(\quad A+B=B+A\)
(b)
Associative Property of Addition: \(\quad (A+B)+C=A+(B+C)\)
(c)
Existence of Additive Identity: \(\quad A+O=A\) where \(O\) is the \(m \times n\) zero matrix
(d)
Existence of Additive Inverse: \(\quad A+(-A)=O\)
(e)
Distributive Property over Matrix Addition: \(\quad k(A+B)=kA+kB\)
(f)
Distributive Property over Scalar Addition: \(\quad (k+p)A=kA+pA\)
(g)
Associative Property for Scalar Multiplication: \(\quad k(pA)=(kp)A\)
(h)
Multiplication by \(1\): \(\quad 1A=A\)
Consider the set \(\mathbb {L}\) of all linear functions. This set includes all polynomials of degree \(1\)
and degree \(0\). We will use addition and scalar multiplication of polynomials as the two
operations, and show that \(\mathbb {L}\) is closed under those operations and satisfies eight
properties analogous to those of vectors of \(\RR ^n\).
Elements of \(\mathbb {L}\) are functions \(f\) given
by
\[f(x)=mx+b\]
(Note that \(m\) and \(b\) can be equal to zero.)
Given \(f_1\) and \(f_2\) in \(\mathbb {L}\), it is easy to verify that \(f_1+f_2\) is also in \(\mathbb {L}\). This gives us closure under
function addition.
For any scalar \(k\), we have
\[kf(x)=k(mx+b)=(km)x+(kb)\]
Therefore \(kf\) is in \(\mathbb {L}\), and \(\mathbb {L}\) is closed under scalar multiplication.
We now proceed to formulate eight properties analogous to those of vectors of
\(\RR ^n\).
Let \(f_1\), \(f_2\) and \(f_3\) be elements of \(\mathbb {L}\) given by \(f_1(x)=m_1 x + b_1\), \(f_2(x)=m_2 x + b_2\), and \(f_3(x)=m_3 x + b_3\). Let \(k\) and \(p\) be scalars.
(a)
Commutative Property of Addition: \(f_1+f_2=f_2+f_1\)
This property holds because
\begin{align*}f_1(x) + f_2(x) &= (m_1 x + b_1) + (m_2 x + b_2)\\ &= (m_2 x + b_2) + (m_1 x + b_1)\\ &= f_2(x) + f_1(x) \end{align*}
Existence of Additive Identity: \(f_1 + f_0 = f_1\)
The additive identity \(f_0\) is given by \(f_0(x)=0\). Note that \(f_0\) is in \(\mathbb {L}\).
(d)
Existence of Additive Inverse: \(f_1 + (-f_1) = f_0\)
The additive inverse of \(f_1\) is a function \(-f_1\) given by \(-f_1(x)=-mx+(-b)\). Note that \(-f_1\) is in \(\mathbb {L}\).
(e)
Distributive Property over Vector Addition: \(k(f_1+f_2)=kf_1+kf_2\)
This property holds because
\begin{align*} k(f_1(x) + f_2(x)) &= k((m_1 x + b_1) + (m_2 x + b_2))\\ &= k(m_1 x + b_1) + k(m_2 x + b_2)\\ &= k f_1(x) + k f_2(x) \end{align*}
(f)
Distributive Property over Scalar Addition: \((k+p)f_1=kf_1+pf_1\)
This property holds because
\begin{align*}(k+p)f_1(x)&= (k+p)(m_1 x + b_1)\\ &=k(m_1 x + b_1) + p(m_1 x + b_1)\\ &= k f_1(x) + p f_1(x)\end{align*}
(g)
Associative Property for Scalar Multiplication: \((k(pf_1))=(kp)f_1\)
This property holds because
\begin{align*}k(p(f_1(x)))&=k(p(m_1 x + b_1))\\ &=k(p m_1 x +p b_1)\\ &=kp m_1 x +kp b_1\\ &= (kp) m_1 x + (kp) b_1\\ &= (kp)(m_1 x + b_1)\\ &=(kp)f_1(x)\end{align*}
(h)
Multiplication by \(1\)
\[1 f_1=f_1\]
Definition of a Vector Space
Examples 1 and 2 show us that there are many times in mathematics when
we encounter a set with two operations (that we call addition and scalar
multiplication) such that the set is closed under the two operations, and
satisfies the same eight properties as \(\RR ^n\). We will refer to such sets as vector
spaces.
Let \(V\) be a nonempty set. Suppose that elements of \(V\) can be added together and
multiplied by scalars. The set \(V\), together with operations of addition and scalar
multiplication, is called a vector space provided that
\(V\) is closed under addition
\(V\) is closed under scalar multiplication
and the following properties hold for \(\vec {u}\), \(\vec {v}\) and \(\vec {w}\) in \(V\) and scalars \(k\) and \(p\):
(a)
Commutative Property of Addition: \(\vec {u}+\vec {v}=\vec {v}+\vec {u}\)
Existence of Additive Identity: \(\vec {u}+\vec {0}=\vec {u}\)
(d)
Existence of Additive Inverse: \(\vec {u}+(-\vec {u})=\vec {0}\)
(e)
Distributive Property over Vector Addition: \(k(\vec {u}+\vec {v})=k\vec {u}+k\vec {v}\)
(f)
Distributive Property over Scalar Addition: \((k+p)\vec {u}=k\vec {u}+p\vec {u}\)
(g)
Associative Property for Scalar Multiplication: \(k(p\vec {u})=(kp)\vec {u}\)
(h)
Multiplication by \(1\): \(1\vec {u}=\vec {u}\)
We will refer to elements of \(V\) as vectors.
When scalars \(k\) and \(p\) in the above definition are restricted to real numbers, as they are
in this chapter, vector space \(V\) may be referred to as a vector space over the real
numbers.
\(\mathbb {M}_{m,n}\) and \(\mathbb {L}\) are vector spaces. (See Examples 1 and 2)
Sets of polynomials provide an
important source of examples, so we review some basic facts. A polynomial with real
coefficients in \(x\) is an expression
where \(a_{0}, a_{1}, a_{2}, \ldots , a_{n}\) are real numbers called the coefficients of the
polynomial. If all the coefficients are zero, the polynomial is called the zero
polynomial and is denoted simply as \(0\). If \(p(x) \neq 0\), the highest power of \(x\) with a nonzero
coefficient is called the degree of \(p(x)\) denoted as \(\mbox {deg}(p(x))\). The coefficient itself is called the
leading coefficient of \(p(x)\). Hence \(\mbox {deg}(3 + 5x) = 1\), \(\mbox {deg}(1 + x + x^{2}) = 2\), and \(\mbox {deg}(4) = 0\). (The degree of the zero polynomial is not
defined.)
Let \(\mathbb {P}\) denote the set of all polynomials and suppose that
are two polynomials in \(\mathbb {P}\) (possibly of different degrees). Then \(p(x)\) and \(q(x)\) are called equal
(written \(p(x) = q(x)\)) if and only if all the corresponding coefficients are equal—that is, \(a_{0} = b_{0}\), \(a_{1} = b_{1}\), \(a_{2} = b_{2}\), and
so on. In particular, \(a_{0} + a_{1}x + a_{2}x^{2} + \ldots = 0\) means that \(a_{0} = 0\), \(a_{1} = 0\), \(a_{2} = 0\), \(\ldots \).
The set \(\mathbb {P}\) has an addition and scalar multiplication defined on it as follows: if \(p(x)\) and \(q(x)\) are
as before and \(k\) is a real number,
It is easy to see that the sum of two polynomials is again a
polynomial, and that a scalar multiple of a polynomial is a polynomial. Thus, \(\mathbb {P}\) is
closed under addition and scalar multiplication. The other eight vector space
properties are easily verified, and we conclude that \(\mathbb {P}\) is a vector space.
Let \(Y\) be the
set of all degree two polynomials in \(x\). In other words,
\[Y=\left \{ax^2+bx+c : a \ne 0 \right \}\]
We claim that \(Y\) is not a vector space.
Observe that \(Y\) is not closed under addition. To
see this, let \(y_1 = 2x^2+3x+4\) and let \(y_2=-2x^2\). Then \(y_1\) and \(y_2\) are both elements of \(Y\). However, \(y_1+y_2 = 3x+4\) is not an
element of \(Y\), as it is only a degree one polynomial. We require the coefficient \(a\)
of \(x^2\) to be nonzero for a polynomial to be in \(Y\), and this is not the case for
\(y_1+y_2\).
As an exercise, check the remaining vector space properties one-by-one to see which
properties hold and which do not.
Set \(Y\) in Example 8 is not a vector space, but if we make a slight modification, we can
make it into a vector space.
Let \(\mathbb {P}^2\) be the set of polynomials of degree two or less. In other words,
Note that \(\mathbb {P}^2\) contains the zero polynomial (let \(a=b=c=0\)).
Unlike set \(Y\) in Example 8, \(\mathbb {P}^2\) is closed under polynomial addition and scalar
multiplication. It is easy to verify that all vector space properties hold, so \(\mathbb {P}^2\) is a vector
space.
Let \(n\) be a natural number. Define \(\mathbb {P}^n\) to be the set of polynomials of degree \(n\)
or less than \(n\), then by reasoning similar to Example 10, \(\mathbb {P}^n\) is a vector space.
Subspaces
A nonempty subset \(U\) of a vector space \(V\) is called a subspace of \(V\), provided that \(U\) is itself
a vector space when given the same addition and scalar multiplication as \(V\).
In Example 10 we demonstrated that \(\mathbb {P}^2\) is a vector space. From Example 6 we know
that \(\mathbb {P}\) is a vector space. But \(\mathbb {P}^2\) is a subset of \(\mathbb {P}\), and uses the same operations of
polynomial addition and scalar multiplication. Therefore \(\mathbb {P}^2\) is a subspace of \(\mathbb {P}\).
Checking all ten properties to verify that a subset of a vector space is a subspace can
be cumbersome. Fortunately we have the following theorem.
Subspace Test Let \(U\) be a nonempty subset of a vector space \(V\). If \(U\) is closed under the
operations of addition and scalar multiplication of \(V\), then \(U\) is a subspace of \(V\).
To prove that closure is a sufficient condition for \(U\) to be a subspace, we will need to
show that closure under addition and scalar multiplication of \(V\) guarantees that the
remaining eight properties are satisfied automatically.
Observe that Properties (a), (b), (e), (f), (g) and (h) hold for all elements of \(V\). Thus,
these properties will hold for all elements of \(U\). We say that these properties are
inherited from \(V\).
To prove Property (c) we need to show that \(\vec {0}\), which we know to be an element of \(V\), is
contained in \(U\). Let \(\vec {u}\) be an element of \(U\) (recall that \(U\) is nonempty). We will show that \(0\vec {u}=\vec {0}\) in
\(V\). Then, by closure under scalar multiplication, we will be able to conclude that \(0\vec {u}=\vec {0}\) must
be in \(U\).
\[0\vec {u}=(0+0)\vec {u}=0\vec {u}+0\vec {u}\]
Adding the additive inverse of \(0\vec {u}\) to both sides gives us
Because \(U\) is closed under scalar multiplication \(0\vec {u}=\vec {0}\) is in \(U\).
We know that every element of \(U\), being an element of \(V\), has an additive inverse in \(V\). We
need to show that the additive inverse of every element of \(U\) is contained in \(U\). Let \(\vec {u}\) be
any element of \(U\). We will show that \((-1)\vec {u}\) is the additive inverse of \(\vec {u}\). Then by closure, \((-1)\vec {u}\) will
have to be contained in \(U\). To show that \((-1)\vec {u}\) is the additive inverse of \(\vec {u}\), we must show that
\(\vec {u}+(-1)\vec {u}=\vec {0}\). We compute:
Thus \((-1)\vec {u}\) is the additive inverse of \(\vec {u}\). By closure, \((-1)\vec {u}\) is in \(U\).
Let \(A\) be a fixed matrix in \(\mathbb {M}_{n,n}\). Show that the set \(C_A\) of all \(n\times n\) matrices that commute with \(A\)
under matrix multiplication is a subspace of \(\mathbb {M}_{n,n}\).
The set \(C_A\) consists of all \(n\times n\) matrices \(X\) such that \(AX=XA\). First, observe that \(C_A\) is not empty because
\(I_n\) is an element. Now we need to show that \(C_A\) is closed under matrix addition and scalar
multiplication.
Suppose that \(X_1\) and \(X_{2}\) lie in \(C_A\). Then \(AX_1 = X_1A\) and \(AX_{2} = X_{2}A\). Then
Therefore \((X_1+X_2)\) commutes with \(A\). Thus \((X_1+X_2)\) is in \(C_A\). We conclude that \(C_A\) is closed under matrix
addition.
Now suppose \(X\) is in \(C_A\). Let \(k\) be a scalar, then
\[ A(kX)= k(AX) = k(XA) = (kX)A \]
Therefore \((kX)\) commutes with \(A\). We conclude that \((kX)\) is in \(C_A\), and \(C_A\) is closed under scalar
multiplication. Hence \(C_A\) is a subspace of \(\mathbb {M}_{n,n}\).
Suppose \(p(x)\) is a polynomial and \(a\) is a number. Then the number \(p(a)\) obtained
by replacing \(x\) by \(a\) in the expression for \(p(x)\) is called the evaluation of \(p(x)\) at \(a\). For
example, if \(p(x) = 5 - 6x + 2x^{2}\), then the evaluation of \(p(x)\) at \(a = 2\) is \(p(2) = 5 - 12 + 8 = 1\). If \(p(a) = 0\), the number \(a\) is called a root of
\(p(x)\).
Consider the set \(U\) of all polynomials in \(\mathbb {P}\) that have \(3\) as a root:
Observe that \(U\) is not empty because \(r(x)=x-3\) is an element of \(U\). Suppose \(p(x)\) and \(q(x)\) lie in \(U\). Then \(p(3) = 0\)
and \(q(3) = 0\). We have \((p + q)(x) = p(x) + q(x)\) for all \(x\), so \((p + q)(3) = p(3) + q(3) = 0 + 0 = 0\), and \(U\) is closed under addition. The verification that \(U\) is
closed under scalar multiplication is similar.
Linear Combinations and Span
Let \(V\) be a vector space and let \(\vec {v}_1, \vec {v}_2,\ldots ,\vec {v}_n\) be vectors in \(V\). A vector \(\vec {v}\) is said to be a linear
combination of vectors \(\vec {v}_1, \vec {v}_2,\ldots , \vec {v}_n\) if
Let \(V\) be a vector space and let \(\vec {v}_1, \vec {v}_2,\ldots ,\vec {v}_p\) be vectors in \(V\). The set \(S\) of all linear combinations of \(\vec {v}_1, \vec {v}_2,\ldots ,\vec {v}_p\)
is called the span of \(\vec {v}_1, \vec {v}_2,\ldots ,\vec {v}_p\). We write
and we say that vectors \(\vec {v}_1, \vec {v}_2,\ldots ,\vec {v}_p\)span\(S\). Any vector in \(S\) is said to be in the span of \(\vec {v}_1, \vec {v}_2,\ldots ,\vec {v}_p\). The set \(\{\vec {v}_1, \vec {v}_2,\ldots ,\vec {v}_p\}\)
is called a spanning set for \(S\).
Consider \(p_{1} = 1 + x + 4x^{2}\) and \(p_{2} = 1 + 5x + x^{2}\) in \(\mathbb {P}^{2}\). Determine whether \(p_{1}\) and \(p_{2}\) lie in \(\mbox {span}\{1 + 2x - x^{2}, 3 + 5x + 2x^{2}\}\).
For \(p_{1}\), we want to determine if \(a\) and \(b\) exist such that
Again equating coefficients of powers
of \(x\) gives equations \(1 = a + 3b\), \(5 = 2a + 5b\), and \(1 = -a + 2b\). But in this case there is no solution, so \(p_{2}\) is not in \(\mbox {span}\{1 + 2x - x^{2}, 3 + 5x + 2x^{2}\}\).
Let \(V\) be a vector space. Let \(S\) be any subset of \(V\). Then \(U=\mbox {span}(S)\) is a subspace of \(V\).
See Practice Problem .
Practice Problems
Given the set of all points in \(\mathbb {R}^2\), define the operations of addition and scalar
multiplication as follows:
Is the Distributive Property over Vector Addition satisfied?
Yes No
Is the Distributive Property over Scalar Addition satisfied?
Yes No
Let \(\mathcal {F}\) be the set of all real-valued functions whose domain is all real numbers. Define
addition and scalar multiplication as follows:
\[(f+g)(x)=f(x)+g(x)\quad (cf)(x)=cf(x)\]
Verify that \(\mathcal {F}\) is a vector space.
Recall that for a fixed matrix \(A\) in \(\mathbb {M}_{n,n}\), the set \(C_A\) of all \(n\times n\) matrices that commute with \(A\)
under matrix multiplication is a subspace of \(\mathbb {M}_{n,n}\). (Example 16)
Describe all elements of \(C_I\), where \(I\) is a \(3\times 3\) identity matrix.
Is the subset of all invertible \(n\times n\) matrices a subspace of \(\mathbb {M}_{n,n}\)?
Yes No
Prove your claim.
Is the subset of all symmetric \(n\times n\) matrices a subspace of \(\mathbb {M}_{n,n}\)?
Yes No
Prove your claim.
Let \(Z\) be a subset of \(\mathbb {M}_{n,n}\) that consists of \(n\times n\) matrices that commute with every matrix in \(\mathbb {M}_{n,n}\)
under matrix multiplication. In other words,
\[Z=\{B : BY=YB \mbox { for all } Y \in \mathbb {M}_{n,n}\}\]
Is \(Z\) a subspace of \(\mathbb {M}_{n,n}\)?
List several elements of \(\mbox {span}\left (\begin{bmatrix}1&0\\0&1\end{bmatrix}, \begin{bmatrix}0&1\\1&0\end{bmatrix}\right )\). Suggest a spanning set for \(\mathbb {M}_{2,2}\).
Find \(\mbox {span}(1, x, x^2, x^3)\).
Let \(V\) be a vector space. Let \(S\) be any subset of \(V\). Prove that \(U=\mbox {span}(S)\) is a subspace of \(V\).
(Theorem 24)