Skip to main content
Mathematics LibreTexts

2.3: The span of a set of vectors

  • Page ID
    82482
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    Our work in this chapter enables us to rewrite a linear system in the form \(A\mathbf x = \mathbf b\text{.}\) Besides being a more compact way of expressing a linear system, this form allows us to think about linear systems geometrically since matrix multiplication is defined in terms of linear combinations of vectors.

    We now return, in this and the next section, to the two fundamental questions asked in Question 1.4.2.

    • Existence: Is there a solution to the equation \(A\mathbf x=\mathbf b\text{?}\)
    • Uniqueness: If there is a solution to the equation \(A\mathbf x=\mathbf b\text{,}\) is it unique?

    In this section, we focus on the existence question and introduce the concept of span to provide a framework for thinking about it geometrically.

    Preview Activity 2.3.1. The existence of solutions.

    1. If the equation \(A\mathbf x = \mathbf b\) is inconsistent, what can we say about the pivots of the augmented matrix \(\left[\begin{array}{r|r} A & \mathbf b \end{array}\right]\text{?}\)
    2. Consider the matrix \(A\)
      \begin{equation*} A = \left[ \begin{array}{rrr} 1 & 0 & -2 \\ -2 & 2 & 2 \\ 1 & 1 & -3 \end{array}\right]\text{.} \end{equation*}

      If \(\mathbf b=\threevec{2}{2}{5}\text{,}\) is the equation \(A\mathbf x = \mathbf b\) consistent? If so, find a solution.

    3. If \(\mathbf b=\threevec{2}{2}{6}\text{,}\) is the equation \(A\mathbf x = \mathbf b\) consistent? If so, find a solution.
    4. Identify the pivot positions of \(A\text{.}\)
    5. For our two choices of the vector \(\mathbf b\text{,}\) one equation \(A\mathbf x = \mathbf b\) has a solution and the other does not. What feature of the pivot positions of the matrix \(A\) tells us to expect this?

    The span of a set of vectors

    In the preview activity, we considered a \(3\times3\) matrix \(A\) and found that the equation \(A\mathbf x = \mathbf b\) has a solution for some vectors \(\mathbf b\) in \(\mathbb R^3\) and has no solution for others. We will introduce a concept called span that describes the vectors \(\mathbf b\) for which there is a solution.

    Since we would like to think about this concept geometrically, we will consider an \(m\times n\) matrix \(A\) as being composed of \(n\) vectors in \(\mathbb R^m\text{;}\) that is,

    \begin{equation*} A = \left[\begin{array}{rrrr} \mathbf v_1& \mathbf v_2& \ldots& \mathbf v_n \end{array}\right]\text{.} \end{equation*}

    Remember that Proposition 2.2.4 says that the equation \(A\mathbf x = \mathbf b\) is consistent if and only if we can express \(\mathbf b\) as a linear combination of \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n\text{.}\)

    Definition 2.3.1

    The span of a set of vectors \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n\) is the set of all linear combinations of the vectors.

    In other words, the span of \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n\) consists of all the vectors \(\mathbf b\) for which the equation

    \begin{equation*} \left[\begin{array}{rrrr} \mathbf v_1& \mathbf v_2& \ldots& \mathbf v_n \end{array}\right] \mathbf x = \mathbf b \end{equation*}

    is consistent.

    The span of a set of vectors has an appealing geometric interpretation. Remember that we may think of a linear combination as a recipe for walking in \(\mathbb R^m\text{.}\) We first move a prescribed amount in the direction of \(\mathbf v_1\text{,}\) then a prescribed amount in the direction of \(\mathbf v_2\text{,}\) and so on. As the following activity will show, the span consists of all the places we can walk to.

    Activity 2.3.2.

    Let's look at two examples to develop some intuition for the concept of span.

    1. First, we will consider the set of vectors
      \begin{equation*} \mathbf v = \twovec{1}{2}, \mathbf w = \twovec{-2}{-4}\text{.} \end{equation*}
      The diagram below can be used to construct linear combinations whose weights \(a\) and \(b\) may be varied using the sliders at the top. The vectors \({\mathbf v}\) and \({\mathbf w}\) are drawn in gray while the linear combination $$ a{\mathbf v} + b{\mathbf w} $$ is in red.
      Your browser does not support HTML5 Canvas.
      Your browser does not support HTML5 Canvas.
      1. What vector is the linear combination of \(\mathbf v\) and \(\mathbf w\) with weights:
        • \(a = 2\) and \(b=0\text{?}\)
        • \(a = 1\) and \(b=1\text{?}\)
        • \(a = 0\) and \(b=-1\text{?}\)
      2. Can the vector \(\twovec{2}{4}\) be expressed as a linear combination of \(\mathbf v\) and \(\mathbf w\text{?}\) Is the vector \(\twovec{2}{4}\) in the span of \(\mathbf v\) and \(\mathbf w\text{?}\)
      3. Can the vector \(\twovec{3}{0}\) be expressed as a linear combination of \(\mathbf v\) and \(\mathbf w\text{?}\) Is the vector \(\twovec{3}{0}\) in the span of \(\mathbf v\) and \(\mathbf w\text{?}\)
      4. Describe the set of vectors in the span of \(\mathbf v\) and \(\mathbf w\text{.}\)
      5. For what vectors \(\mathbf b\) does the equation
        \begin{equation*} \left[\begin{array}{rr} 1 & -2 \\ 2 & -4 \end{array}\right] \mathbf x = \mathbf b \end{equation*}

        have a solution?

    2. We will now look at an example where
      \begin{equation*} \mathbf v = \twovec{2}{1}, \mathbf w = \twovec{1}{2}\text{.} \end{equation*}
      In a similar way, the diagram below can be used to construct linear combinations $$ a{\mathbf v} + b{\mathbf w}\text{.} $$
      Your browser does not support HTML5 Canvas.
      Your browser does not support HTML5 Canvas.
      1. What vector is the linear combination of \(\mathbf v\) and \(\mathbf w\) with weights:
        • \(a = 2\) and \(b=0\text{?}\)
        • \(a = 1\) and \(b=1\text{?}\)
        • \(a = 0\) and \(b=-1\text{?}\)
      2. Can the vector \(\twovec{-2}{2}\) be expressed as a linear combination of \(\mathbf v\) and \(\mathbf w\text{?}\) Is the vector \(\twovec{-2}{2}\) in the span of \(\mathbf v\) and \(\mathbf w\text{?}\)
      3. Can the vector \(\twovec{3}{0}\) be expressed as a linear combination of \(\mathbf v\) and \(\mathbf w\text{?}\) Is the vector \(\twovec{3}{0}\) in the span of \(\mathbf v\) and \(\mathbf w\text{?}\)
      4. Describe the set of vectors in the span of \(\mathbf v\) and \(\mathbf w\text{.}\)
      5. For what vectors \(\mathbf b\) does the equation
        \begin{equation*} \left[\begin{array}{rr} 2 & 1 \\ 1 & 2 \end{array}\right] \mathbf x = \mathbf b \end{equation*}

        have a solution?

    Let's consider the first example in the previous activity. Here, the vectors \(\mathbf v\) and \(\mathbf w\) are scalar multiples of one another, which means that they lie on the same line. When we form linear combinations, we are allowed to walk only in the direction of \(\mathbf v\) and \(\mathbf w\text{,}\) which means we are constrained to stay on this same line. Therefore, the span of \(\mathbf v\) and \(\mathbf w\) consists only of this line.

    Figure 2.3.2.

    With this choice of vectors \(\mathbf v\) and \(\mathbf w\text{,}\) all linear combinations lie on the line shown. This line, therefore, is the span of the vectors \(\mathbf v\) and \(\mathbf w\text{.}\)

    We may see this algebraically since the vector \(\mathbf w = -2\mathbf v\text{.}\) Consequently, when we form a linear combination of \(\mathbf v\) and \(\mathbf w\text{,}\) we see that

    \begin{equation*} \begin{aligned} a\mathbf v + b\mathbf w & {}={} a\mathbf v + b(-2\mathbf v) \\ & {}={} (a-2b)\mathbf v \\ \end{aligned}\text{.} \end{equation*}

    Therefore, any linear combination of \(\mathbf v\) and \(\mathbf w\) reduces to a scalar multiple of \(\mathbf v\text{,}\) and we have seen that the scalar multiples of a nonzero vector form a line.

    In the second example, however, the vectors are not scalar multiples of one another, and we see that we can construct any vector in \(\mathbb R^2\) as a linear combination of \(\mathbf v\) and \(\mathbf w\text{.}\)

    Figure 2.3.3.

    With this choice of vectors \(\mathbf v\) and \(\mathbf w\text{,}\) we are able to form any vector in \(\mathbb R^2\) as a linear combination. Therefore, the span of the vectors \(\mathbf v\) and \(\mathbf w\) is the entire plane, \(\mathbb R^2\text{.}\)

    Once again, we can see this algebraically. Asking if the vector \(\mathbf b\) is in the span of \(\mathbf v\) and \(\mathbf w\) is the same as asking if the linear system

    \begin{equation*} \begin{aligned} \left[\begin{array}{rr} \mathbf v & \mathbf w \end{array}\right] \mathbf x & {}={} \mathbf b \\ \\ \left[\begin{array}{rr} 2 & 1 \\ 1 & 2 \\ \end{array}\right] \mathbf x & {}={} \mathbf b \\ \end{aligned} \end{equation*}

    is consistent.

    The augmented matrix for this system is

    \begin{equation*} \left[\begin{array}{rr|r} 2 & 1 & * \\ 1 & 2 & * \\ \end{array}\right] \sim \left[\begin{array}{rr|r} 1 & 0 & * \\ 0 & 1 & * \\ \end{array}\right]\text{.} \end{equation*}

    Since it is impossible to obtain a pivot in the rightmost column, we know that this system is consistent no matter what the vector \(\mathbf b\) is. Therefore, every vector \(\mathbf b\) in \(\mathbb R^2\) is in the span of \(\mathbf v\) and \(\mathbf w\text{.}\)

    In this case, notice that the reduced row echelon form of the matrix

    \begin{equation*} \left[\begin{array}{rr} \mathbf v & \mathbf w \end{array}\right] = \left[\begin{array}{rr} 2 & 1 \\ 1 & 2 \\ \end{array}\right] \sim \left[\begin{array}{rr} 1 & 0 \\ 0 & 1 \\ \end{array}\right] \end{equation*}

    has a pivot in every row. When this happens, it is not possible for any augmented matrix to have a pivot in the rightmost column. Therefore, the linear system is consistent for every vector \(\mathbf b\text{,}\) which implies that the span of \(\mathbf v\) and \(\mathbf w\) is \(\mathbb R^2\text{.}\)

    Notation 2.3.4.

    We will denote the span of the set of vectors \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n\) by \(\laspan{\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n}\text{.}\)

    Pivot positions and span

    In the previous activity, we saw two examples, both of which considered two vectors \(\mathbf v\) and \(\mathbf w\) in \(\mathbb R^2\text{.}\) In one example, the \(\laspan{\mathbf v,\mathbf w}\) consisted of a line; in the other, the \(\laspan{\mathbf v,\mathbf w}=\mathbb R^2\text{.}\) We would like to be able to distinguish these two situations in a more algebraic fashion. After all, we will need to be able to deal with vectors in many more dimensions where we will not be able to draw pictures.

    The key is found by looking at the pivot positions of the matrix \(\left[\begin{array}{rrrr} \mathbf v_1& \mathbf v_2& \ldots\mathbf v_n \end{array}\right] \text{.}\) In the first example, the matrix whose columns are \(\mathbf v\) and \(\mathbf w\) is

    \begin{equation*} \left[\begin{array}{rr} 1& -2 \\ 2& -4 \\ \end{array}\right] \sim \left[\begin{array}{rr} 1& -2 \\ 0& 0 \\ \end{array}\right]\text{,} \end{equation*}

    which has exactly one pivot position. We found the \(\laspan{\mathbf v,\mathbf w}\) to be a line, in this case.

    In the second example, this matrix is

    \begin{equation*} \left[\begin{array}{rr} 2& 1 \\ 1& 2 \\ \end{array}\right] \sim \left[\begin{array}{rr} 1& 0 \\ 0& 1 \\ \end{array}\right]\text{,} \end{equation*}

    which has two pivot positions. Here, we found \(\laspan{\mathbf v,\mathbf w}=\mathbb R^2\text{.}\)

    These examples point to the fact that the size of the span is related to the number of pivot positions. We will develop this idea more fully in Section 2.4 and Section 3.5. For now, however, we will examine the possibilities in \(\mathbb R^3\text{.}\)

    Activity 2.3.3.

    In this activity, we will look at the span of sets of vectors in \(\mathbb R^3\text{.}\)

    1. Suppose \(v=\threevec{1}{2}{1}\text{.}\) Give a written description of \(\laspan{v}\) and a rough sketch of it below.
    2. Consider now the two vectors
      \begin{equation*} \mathbf e_1 = \threevec{1}{0}{0}, \mathbf e_2 = \threevec{0}{1}{0}\text{.} \end{equation*}

      Sketch the vectors below. Then give a written description of \(\laspan{\mathbf e_1,\mathbf e_2}\) and a rough sketch of it below.

      Let's now look at this algebraically by writing write \(\mathbf b = \threevec{b_1}{b_2}{b_3}\text{.}\) Determine the conditions on \(b_1\text{,}\) \(b_2\text{,}\) and \(b_3\) so that \(\mathbf b\) is in \(\laspan{\mathbf e_1,\mathbf e_2}\) by considering the linear system

      \begin{equation*} \left[\begin{array}{rr} \mathbf e_1 & \mathbf e_2 \\ \end{array}\right] \mathbf x = \mathbf b \end{equation*}

      or

      \begin{equation*} \left[\begin{array}{rr} 1 & 0 \\ 0 & 1 \\ 0 & 0 \\ \end{array}\right] \mathbf x = \threevec{b_1}{b_2}{b_3}\text{.} \end{equation*}

      Explain how this relates to your sketch of \(\laspan{\mathbf e_1,\mathbf e_2}\text{.}\)

    3. Consider the vectors
      \begin{equation*} \mathbf v_1 = \threevec{1}{1}{-1}, \mathbf v_2 = \threevec{0}{2}{1}\text{.} \end{equation*}
      1. Is the vector \(\mathbf b=\threevec{1}{-2}{4}\) in \(\laspan{\mathbf v_1,\mathbf v_2}\text{?}\)
      2. Is the vector \(\mathbf b=\threevec{-2}{0}{3}\) in \(\laspan{\mathbf v_1,\mathbf v_2}\text{?}\)
      3. Give a written description of \(\laspan{\mathbf v_1,\mathbf v_2}\text{.}\)
    4. Consider the vectors
      \begin{equation*} \mathbf v_1 = \threevec{1}{1}{-1}, \mathbf v_2 = \threevec{0}{2}{1}, \mathbf v_3 = \threevec{1}{-2}{4}\text{.} \end{equation*}

      Form the matrix \(\left[\begin{array}{rrrr} \mathbf v_1 & \mathbf v_2 & \mathbf v_3 \end{array}\right]\) and find its reduced row echelon form.

      What does this tell you about \(\laspan{\mathbf v_1,\mathbf v_2,\mathbf v_3}\text{?}\)
    5. If a set of vectors \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n\) spans \(\mathbb R^3\text{,}\) what can you say about the pivots of the matrix \(\left[\begin{array}{rrrr} \mathbf v_1& \mathbf v_2& \ldots& \mathbf v_n \end{array}\right]\text{?}\)
    6. What is the smallest number of vectors such that \(\laspan{\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n} = \mathbb R^3\text{?}\)

    This activity shows us the types of sets that can appear as the span of a set of vectors in \(\mathbb R^3\text{.}\)

    • First, with a single vector, all linear combinations are simply scalar multiples of that vector, which creates a line.
      Notice that the matrix formed by this vector has one pivot, just as in our earlier example in \(\mathbb R^2\text{.}\)
      \begin{equation*} \threevec{1}{2}{1} \sim \threevec{1}{0}{0}\text{.} \end{equation*}
    • When we consider linear combinations of the vectors
      \begin{equation*} \mathbf e_1 = \threevec{1}{0}{0}, \mathbf e_2 = \threevec{0}{1}{0}\text{,} \end{equation*}

      we must obtain vectors of the form

      \begin{equation*} a\mathbf e_1 + b\mathbf e_2 = a\threevec{1}{0}{0}+b\threevec{0}{1}{0} = \threevec{a}{b}{0}\text{.} \end{equation*}

      Since the third component is zero, these vectors form the plane \(z=0\text{.}\)

      Notice here that the matrix composed of the vectors has two pivot positions.
      \begin{equation*} \left[\begin{array}{rr} 1 & 0 \\ 0 & 1 \\ 0 & 0 \\ \end{array}\right]\text{.} \end{equation*}
    • Similarly, the span of the vectors
      \begin{equation*} \mathbf v_1 = \threevec{1}{1}{-1}, \mathbf v_2 = \threevec{0}{2}{1}\text{,} \end{equation*}

      will form a plane.

      We saw one vector \(\mathbf b\) that was not in \(\laspan{\mathbf v_1,\mathbf v_2}\) and one that is.
      Once again, the matrix
      \begin{equation*} \left[\begin{array}{rr} \mathbf v_1 & \mathbf v_2 \end{array}\right] = \left[\begin{array}{rr} 1 & 0 \\ 1 & 2 \\ -1 & 1 \\ \end{array}\right] \sim \left[\begin{array}{rr} 1 & 0 \\ 0 & 1 \\ 0 & 0 \\ \end{array}\right] \end{equation*}

      has two pivot positions.

    • Finally, we looked at a set of vectors whose matrix
      \begin{equation*} \left[\begin{array}{rrr} \mathbf v_1 & \mathbf v_2 & \mathbf v_3 \end{array}\right] = \left[\begin{array}{rrr} 1 & 0 & 1 \\ 1 & 2 & -2 \\ -1 & 1 & 4 \\ \end{array}\right] \sim \left[\begin{array}{rrr} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \\ \end{array}\right] \end{equation*}

      has three pivot positions, one in every row. This is significant because it means that if we consider an augmented matrix

      \begin{equation*} \left[\begin{array}{rrr|r} 1 & 0 & 1 & *\\ 1 & 2 & -2 & * \\ -1 & 1 & 4 & * \\ \end{array}\right] \sim \left[\begin{array}{rrr|r} 1 & 0 & 0 & *\\ 0 & 1 & 0 & * \\ 0 & 0 & 1 & * \\ \end{array}\right]\text{,} \end{equation*}

      there cannot be a pivot position in the rightmost column. This linear system is consistent for every vector \(\mathbf b\text{,}\) which tells us that \(\laspan{\mathbf v_1,\mathbf v_2,\mathbf v_3} = \mathbb R^3\text{.}\)

    To summarize, we looked at the pivot positions in the matrix whose columns were the vectors \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n\text{.}\) We found that with

    • one pivot position, the span was a line.
    • two pivot positions, the span was a plane.
    • three pivot positions, the span was \(\mathbb R^3\text{.}\)

    Once again, we will develop these ideas more fully in the next and subsequent sections. However, we saw that, when considering vectors in \(\mathbb R^3\text{,}\) a pivot position in every row implied that the span of the vectors is \(\mathbb R^3\text{.}\) The same reasoning applies more generally.

    Proposition 2.3.5.

    Suppose we have vectors \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n\) in \(\mathbb R^m\text{.}\) Then \(\laspan{\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n}=\mathbb R^m\) if and only if the matrix \(\left[\begin{array}{rrrr} \mathbf v_1& \mathbf v_2& \ldots& \mathbf v_n \end{array}\right]\) has a pivot position in every row.

    This tells us something important about the number of vectors needed to span \(\mathbb R^m\text{.}\) Suppose we have \(n\) vectors \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n\) that span \(\mathbb R^m\text{.}\) The proposition tells us that the matrix \(A = \left[\begin{array}{rrrr} \mathbf v_1& \mathbf v_2\ldots\mathbf v_n \end{array}\right]\) has a pivot position in every row, such as in this reduced row echelon matrix.

    \begin{equation*} \left[\begin{array}{rrrrrr} 1 & 0 & * & 0 & * & 0 \\ 0 & 1 & * & 0 & * & 0 \\ 0 & 0 & 0 & 1 & * & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 \\ \end{array}\right]\text{.} \end{equation*}

    Since a matrix can have at most one pivot position in a column, there must be at least as many columns as there are rows, which implies that \(n\geq m\text{.}\)

    For instance, if we have a set of vectors that span \(\mathbb R^{632}\text{,}\) there must be at least 632 vectors in the set.

    Proposition 2.3.6.

    If a set of vectors span \(\mathbb R^m\text{,}\) there must be at least \(m\) vectors in the set.

    This makes sense intuitively. We have thought about a linear combination of a set of vectors \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n\) as the result of walking a certain distance in the direction of \(\mathbf v_1\text{,}\) followed by walking a certain distance in the direction of \(\mathbf v_2\text{,}\) and so on. If \(\laspan{\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n} = \mathbb R^m\text{,}\) this means that we can walk to any point in \(\mathbb R^m\) using the directions \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n\text{.}\) It makes sense that we would need at least \(m\) directions to give us the flexibilty needed to reach any point in \(\mathbb R^m\text{.}\)

    Summary

    We defined the span of a set of vectors and developed some intuition for this concept through a series of examples.

    • The span of a set of vectors \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n\) is the set of linear combinations of the vectors. We denote the span by \(\laspan{\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n}\text{.}\)
    • A vector \(\mathbf b\) is in \(\laspan{\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n}\) if an only if the linear system
      \begin{equation*} \left[\begin{array}{rrrr} \mathbf v_1& \mathbf v_2& \ldots\mathbf v_n \end{array}\right] \mathbf x = \mathbf b \end{equation*}

      is consistent.

    • If the \(m\times n\) matrix
      \begin{equation*} \left[\begin{array}{rrrr} \mathbf v_1& \mathbf v_2& \ldots\mathbf v_n \end{array}\right] \end{equation*}

      has a pivot in every row, then the span of these vectors is \(\mathbb R^m\text{;}\) that is, \(\laspan{\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n} = \mathbb R^m\text{.}\)

    • Any set of vectors that spans \(\mathbb R^m\) must have at least \(m\) vectors.

    Exercises 2.3.4Exercises

    1

    In this exercise, we will consider the span of some sets of two- and three-dimensional vectors.

    1. Consider the vectors
      \begin{equation*} \mathbf v_1 = \twovec{1}{-2}, \mathbf v_2 = \twovec{4}{3}\text{.} \end{equation*}
      1. Is \(\mathbf b = \twovec{2}{1}\) in \(\laspan{\mathbf v_1,\mathbf v_2}\text{?}\)
      2. Give a written description of \(\laspan{\mathbf v_1,\mathbf v_2}\text{.}\)
    2. Consider the vectors
      \begin{equation*} \mathbf v_1=\threevec{2}{1}{3}, \mathbf v_2=\threevec{-2}{0}{2}, \mathbf v_3=\threevec{6}{1}{-1}\text{.} \end{equation*}
      1. Is the vector \(\mathbf b=\threevec{-10}{-1}{5}\) in \(\laspan{\mathbf v_1,\mathbf v_2,\mathbf v_3}\text{?}\)
      2. Is the vector \(\mathbf v_3\) in \(\laspan{\mathbf v_1,\mathbf v_2,\mathbf v_3}\text{?}\)
      3. Is the vector \(\mathbf b=\threevec{3}{3}{-1}\) in \(\laspan{\mathbf v_1,\mathbf v_2,\mathbf v_3}\text{?}\)
      4. Give a written description of \(\laspan{\mathbf v_1,\mathbf v_2,\mathbf v_3}\text{.}\)
    2

    Provide a justification for your response to the following questions.

    1. Suppose you have a set of vectors \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n\text{.}\) Can you guarantee that \(\zerovec\) is in \(\laspan{\mathbf v_1\,\mathbf v_2,\ldots,\mathbf v_n}\text{?}\)
    2. Suppose that \(A\) is an \(m \times n\) matrix. Can you guarantee that the equation \(A\mathbf x = \zerovec\) is consistent?
    3. What is \(\laspan{\zerovec,\zerovec,\ldots,\zerovec}\text{?}\)
    3

    For both parts of this exericse, give a written description of sets of the vectors \(\mathbf b\) and include a sketch.

    1. For which vectors \(\mathbf b\) in \(\mathbb R^2\) is the equation
      \begin{equation*} \left[\begin{array}{rr} 3 & -6 \\ -2 & 4 \\ \end{array}\right] \mathbf x = \mathbf b \end{equation*}

      consistent?

    2. For which vectors \(\mathbf b\) in \(\mathbb R^2\) is the equation
      \begin{equation*} \left[\begin{array}{rr} 3 & -6 \\ -2 & 2 \\ \end{array}\right] \mathbf x = \mathbf b \end{equation*}

      consistent?

    4

    Consider the following matrices:

    \begin{equation*} A = \left[\begin{array}{rrrr} 3 & 0 & -1 & 1 \\ 1 & -1 & 3 & 7 \\ 3 & -2 & 1 & 5 \\ -1 & 2 & 2 & 3 \\ \end{array}\right], B = \left[\begin{array}{rrrr} 3 & 0 & -1 & 4 \\ 1 & -1 & 3 & -1 \\ 3 & -2 & 1 & 3 \\ -1 & 2 & 2 & 1 \\ \end{array}\right]\text{.} \end{equation*}

    Do the columns of \(A\) span \(\mathbb R^4\text{?}\) Do the columns of \(B\) span \(\mathbb R^4\text{?}\)

    5

    Determine whether the following statements are true or false and provide a justification for your response. Throughout, we will assume that the matrix \(A\) has columns \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n\text{;}\) that is,

    \begin{equation*} A = \left[\begin{array}{rrrr} \mathbf v_1& \mathbf v_2& \ldots& \mathbf v_n \end{array}\right]\text{.} \end{equation*}
    1. If the equation \(A\mathbf x = \mathbf b\) is consistent, then \(\mathbf b\) is in \(\laspan{\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n}\text{.}\)
    2. The equation \(A\mathbf x = \mathbf v_1\) is always consistent.
    3. If \(\mathbf v_1\text{,}\) \(\mathbf v_2\text{,}\) \(\mathbf v_3\text{,}\) and \(\mathbf v_4\) are vectors in \(\mathbb R^3\text{,}\) then their span is \(\mathbb R^3\text{.}\)
    4. If \(\mathbf b\) can be expressed as a linear combination of \(\mathbf v_1, \mathbf v_2,\ldots,\mathbf v_n\text{,}\) then \(\mathbf b\) is in \(\laspan{\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n}\text{.}\)
    5. If \(A\) is a \(8032\times 427\) matrix, then the span of the columns of \(A\) is a set of vectors in \(\mathbb R^{427}\text{.}\)
    6

    This exercise asks you to construct some matrices whose columns span a given set.

    1. Construct a \(3\times3\) matrix whose columns span \(\mathbb R^3\text{.}\)
    2. Construct a \(3\times3\) matrix whose columns span a plane in \(\mathbb R^3\text{.}\)
    3. Construct a \(3\times3\) matrix whose columns span a line in \(\mathbb R^3\text{.}\)
    7

    Provide a justification for your response to the following questions.

    1. Suppose that we have vectors in \(\mathbb R^8\text{,}\) \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_{10}\text{,}\) whose span is \(\mathbb R^8\text{.}\) Can every vector \(\mathbf b\) in \(\mathbb R^8\) be written as a linear combination of \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_{10}\text{?}\)
    2. Suppose that we have vectors in \(\mathbb R^8\text{,}\) \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_{10}\text{,}\) whose span is \(\mathbb R^8\text{.}\) Can every vector \(\mathbf b\) in \(\mathbb R^8\) be written uniquely as a linear combination of \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_{10}\text{?}\)
    3. Do the vectors
      \begin{equation*} \mathbf e_1=\threevec{1}{0}{0}, \mathbf e_2=\threevec{0}{1}{0}, \mathbf e_3=\threevec{0}{0}{1} \end{equation*}

      span \(\mathbb R^3\text{?}\)

    4. Suppose that \(\mathbf v_1,\mathbf v_2,\ldots,\mathbf v_n\) span \(\mathbb R^{438}\text{.}\) What can you guarantee about the value of \(n\text{?}\)
    5. Can 17 vectors in \(\mathbb R^{20}\) span \(\mathbb R^{20}\text{?}\)
    8

    The following observation will be helpful in this exericse. If we want to find a solution to the equation \(AB\mathbf x = \mathbf b\text{,}\) we could first find a solution to the equation \(A\yvec = \mathbf b\) and then find a solution to the equation \(B\mathbf x = \yvec\text{.}\)

    Suppose that \(A\) is a \(3\times 4\) matrix whose columns span \(\mathbb R^3\) and \(B\) is a \(4\times 5\) matrix. In this case, we can form the product \(AB\text{.}\)

    1. What are the dimensions of the product \(AB\text{?}\)
    2. Can you guarantee that the columns of \(AB\) span \(\mathbb R^3\text{?}\)
    3. If you know additionally that the span of the columns of \(B\) is \(\mathbb R^4\text{,}\) can you guarantee that the columns of \(AB\) span \(\mathbb R^3\text{?}\)
    9

    Suppose that \(A\) is a \(12\times12\) matrix and that, for some vector \(\mathbf b\text{,}\) the equation \(A\mathbf x=\mathbf b\) has a unique solution.

    1. What can you say about the pivot positions of \(A\text{?}\)
    2. What can you say about the span of the columns of \(A\text{?}\)
    3. If \(\mathbf c\) is some other vector in \(\mathbb R^{12}\text{,}\) what can you conclude about the equation \(A\mathbf x = \mathbf c\text{?}\)
    4. What can you about the solution space to the equation \(A\mathbf x =\zerovec\text{?}\)
    10

    Suppose that

    \begin{equation*} \mathbf v_1 = \fourvec{3}{1}{3}{-1}, \mathbf v_2 = \fourvec{0}{-1}{-2}{2}, \mathbf v_3 = \fourvec{-3}{-3}{-7}{5}\text{.} \end{equation*}
    1. Is \(\mathbf v_3\) a linear combination of \(\mathbf v_1\) and \(\mathbf v_2\text{?}\) If so, find weights such that \(\mathbf v_3 = a\mathbf v_1+b\mathbf v_2\text{.}\)
    2. Show that a linear combination
      \begin{equation*} a\mathbf v_1 + b\mathbf v_2 + c\mathbf v_3 \end{equation*}

      can be rewritten as a linear combination of \(\mathbf v_1\) and \(\mathbf v_2\text{.}\)

    3. Explain why \(\laspan{\mathbf v_1,\mathbf v_2,\mathbf v_3} = \laspan{\mathbf v_1,\mathbf v_2}\text{.}\)
    11

    As defined in this section, the span of a set of vectors is generated by taking all possible linear combinations of those vectors. This exericse will demonstrate the fact that the span can also be realized as the solution space to a linear system.

    We will consider the vectors

    \begin{equation*} \mathbf v_1=\threevec{1}{0}{-2}, \mathbf v_2=\threevec{2}{1}{0}, \mathbf v_3=\threevec{1}{1}{2} \end{equation*}
    1. Is every vector in \(\mathbb R^3\) in \(\laspan{\mathbf v_1,\mathbf v_2,\mathbf v_3}\text{?}\) If not, describe the span.
    2. To describe \(\laspan{\mathbf v_1,\mathbf v_2,\mathbf v_3}\) as the solution space of a linear system, we will write
      \begin{equation*} \mathbf b=\threevec{a}{b}{c}\text{.} \end{equation*}

      If \(\mathbf b\) is in \(\laspan{\mathbf v_1,\mathbf v_2,\mathbf v_3}\text{,}\) then the linear system corresponding to the augmented matrix

      \begin{equation*} \left[\begin{array}{rrr|r} 1 & 2 & 1 & a \\ 0 & 1 & 1 & b \\ -2& 0 & 2 & c \\ \end{array}\right] \end{equation*}

      must be consistent. This means that a pivot cannot occur in the rightmost column. Perform row operations to put this augmented matrix into a triangular form. Now identify an equation in \(a\text{,}\) \(b\text{,}\) and \(c\) that tells us when there is no pivot in the rightmost column. The solution space to this equation describes \(\laspan{\mathbf v_1,\mathbf v_2,\mathbf v_3}\text{.}\)

    3. In this example, the matrix formed by the vectors \(\left[\begin{array}{rrr} \mathbf v_1& \mathbf v_2& \mathbf v_2 \\ \end{array}\right]\) has two pivot positions. Suppose we were to consider another example in which this matrix had had only one pivot position. How would this have changed the linear system describing \(\laspan{\mathbf v_1,\mathbf v_2,\mathbf v_3}\text{?}\)

    This page titled 2.3: The span of a set of vectors is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by David Austin via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.