Guide on Spanning Set of a Vector Space
Start your free 7-days trial now!
Spanning set of a vector space
Let $S=\{\boldsymbol{v}_1,\boldsymbol{v}_2,\cdots,\boldsymbol{v}_n\}$ be a subset of a vector space $V$. The set $S$ is called a spanning set of $V$ if every vector in $V$ can be written as a linear combinationlink of vectors in $S$. In such a case, we say that $S$ spans $V$.
Checking if a vector is contained in a spanning set
Consider the following three vectors:
Show that $\boldsymbol{v}_3$ is contained in the vector space spanned by $\boldsymbol{v}_1$ and $\boldsymbol{v}_2$.
Solution. The spanning set of $\boldsymbol{v}_1$ and $\boldsymbol{v}_2$ holds all vectors that can be expressed as a linear combination of $\boldsymbol{v}_1$ and $\boldsymbol{v}_2$, that is:
To show that $\boldsymbol{v}_3$ is included in this spanning set, we must find scalars $c_1$ and $c_2$ such that:
Rewriting the left-hand side as a matrix-vector product:
Let's use Gaussian elimination to solve for $c_1$ and $c_2$. We row-reduce the augmented matrix to obtain the reduced row echelon form:
We have the result that $c_1=1$ and $c_2=2$. Therefore, \eqref{eq:QSK03HjQ0KwAVv4bM5a} becomes:
Because we have managed to express $\boldsymbol{v}_3$ as a linear combination of $\boldsymbol{v}_1$ and $\boldsymbol{v}_2$, we conclude that $\boldsymbol{v}_3$ is included in the spanning set $\mathrm{span}(\boldsymbol{v}_1,\boldsymbol{v}_2)$.
Visually, $\boldsymbol{v}_3$ can be constructed by adding one $\boldsymbol{v}_1$ and two $\boldsymbol{v}_2$ like so:
Showing that vectors span a vector space
Consider the following vectors:
Show that these vectors span the vector space $\mathbb{R}^2$.
Solution. To show that these vectors span the vector space $\mathbb{R}^2$, we need to show that any vector in $\mathbb{R}^2$ can be expressed as a linear combination of $\boldsymbol{v}_1$ and $\boldsymbol{v}_2$. Let $\boldsymbol{b}$ be any vector in $\mathbb{R}^2$ defined like so:
We need to show that there exist scalar constants $c_1$ and $c_2$ such that:
By theorem, the right-hand side can be expressed as a matrix-vector product:
We know from theoremlink that we can check for the existence of a solution using the row echelon form of the coefficient matrix:
Again by theoremlink, this means that $c_1$ and $c_2$ exist. Since any vector $\boldsymbol{b}$ in $\mathbb{R}^2$ can be expressed using a linear combination of $\boldsymbol{v}_1$ and $\boldsymbol{v}_2$, we conclude that the two vectors indeed span the vector space $\mathbb{R}^2$.
Showing that vectors do not span a vector space
Consider the following two vectors:
Show that the vectors do not span $\mathbb{R}^2$.
Solution. Let $\boldsymbol{b}$ be any vector in $\mathbb{R}^2$. We check if there exists scalars $c_1$ and $c_2$ that can generate $\boldsymbol{b}$ like so:
The augmented matrix is:
For simplicity, we can ignore the right-most column and just acknowledge that its values will change as we perform elementary row operations:
Here, $\color{blue}*$ is some scalar value. If $\color{blue}*$ is non-zero, then a solution does not exist. Therefore, not every vector in $\mathbb{R}^2$ can be expressed as a linear combination of $\boldsymbol{v}_1$ and $\boldsymbol{v}_2$. In other words, the vectors do not span $\mathbb{R}^2$.
Spanning set of a single vector
Consider the following vector:
Find the vector space spanned by $\boldsymbol{v}$.
Solution. The spanning set of $\boldsymbol{v}$ is the set of all the linear combinations of $\boldsymbol{v}$. The linear combination of a single vector $\boldsymbol{v}$ is just the scalar multiple of $\boldsymbol{v}$, that is:
We know that multiplying vectors by scalars results in either stretching/shrinking the vector without affecting its direction. Therefore, the spanning set of $\boldsymbol{v}$ is the set of all vectors that lie on the red line traced out by $\boldsymbol{v}$ like so:
Examples of vectors that are contained in this spanning set are:
Keep in mind that $\boldsymbol{v}$ does not span $\mathbb{R}^2$ because there exist many vectors in $\mathbb{R}^2$ that are not contained in the spanning set - for example: