0:00 / 0:00

Span

The span of a set of vectors SS is the set of all linear combinations of the vectors in SS.

Given the set S={u1,u2,,un}S=\{\vec u_1,\vec u_2,\dots,\vec u_n\}, and allowing c1,c2,,cnc_1,c_2,\dots,c_n to be any real numbers, the span of SS is:
span(S)=span({u1,u2,,un})={c1u1+c2u2++cnun}\text{span}(S)=\text{span}(\{\vec u_1,\vec u_2,\dots,\vec u_n\})=\{c_1\vec u_1+c_2\vec u_2+\cdots+c_n\vec u_n\}

Wize Concept
SS is a finite set of vectors.
span(S)\text{span}(S) is an infinite set of vectors: it contains every possible linear combination of the vectors in SS.

Geometrically
  • The span of one non-zero vector u\vec{u} is the line through the origin in the direction of u\vec{u}:
span({u})={ tu  tR}\operatorname{span}(\{\vec u\}) = \{\ t\vec u \ |\ t\in\reals \}

  • The span of two linearly independent vectors is a plane:
span({u,v})={ su+tv  s,tR}\operatorname{span}(\{ \vec u, \vec v \}) = \{\ s\vec u + t \vec v \ |\ s,t\in\reals \}

PAGE BREAK

Determining if a Vector is in the Span

Given a finite set S={u1,u2,,un}S=\{\vec u_1, \vec u_2,\dots, \vec u_n\} and a vector b\vec b, determining if b\vec b is in span(S)\text{span}(S) is equivalent to solving the linear system with augmented matrix:
[u1u2unb]\left[\begin{array}{cccc|c} \\ \vec u_1 & \vec u_2 & \cdots & \vec u_n & \vec b\\ \\ \end{array}\right]
If this system has:
  • No solution    bspan(S)\boxed{\text{No solution} \implies \vec b \notin \text{span}(S)} since no linear combination of the vectors produces b\vec b.
  • At least one solution    bspan(S)\boxed{\text{At least one solution} \implies \vec b \in \text{span}(S)}
Wize Tip
This is very similar to determining whether a set of vectors is linearly independent!
Instead of augmenting with the zero vector, we check whether bspan(S)\vec b \in \text{span}(S) by augmenting with b\vec b.

PAGE BREAK

Spanning Sets or Generating Sets

If VV is a vector space and span(S)=V\text{span(S)}=V, then SS is called a generating set (or spanning set) of VV.
Wize Tip
A set of nn linearly independent vectors always spans (is a generating set of) Rn\reals^n.

Example
The following are spanning sets of the vector space R2\mathbb{R}^2, since linear combinations of the vectors can produce any vector in R2\reals^2.
S1={(1,0),(0,1)}linearly independent spanning setS2={(1,0),(1,1),(2,1)}linearly dependent spanning set\begin{aligned} S_1&=\{(1,0),(0,1)\} && \rightarrow \text{linearly independent spanning set}\\[0.5em] S_2&=\{(1,0),(1,1),(2,1)\} && \rightarrow \text{linearly \textbf{dependent} spanning set} \end{aligned}
0:00 / 0:00

Example: Span

Determine if x=[245]\vec x = \begin{bmatrix} 2\\ -4\\ 5\\ \end{bmatrix} is in span({u,v,w})\text{span}(\{\vec u, \vec v, \vec w\}) where u=[111],v=[110],w=[101]\vec u = \begin{bmatrix} 1\\ 1\\ 1\\ \end{bmatrix} ,\quad \vec v = \begin{bmatrix} 1\\ 1\\ 0\\ \end{bmatrix} ,\quad \vec w = \begin{bmatrix} 1\\ 0\\ 1\\ \end{bmatrix}.
We are looking to find values of c1,c2,c_1,c_2, and c3c_3 that are solutions to: c1u+c2v+c3w=x()c_1\vec u + c_2 \vec v + c_3\vec w = \vec x \quad \colorTwo{(*)}
This is equivalent to solving the linear system with augmented matrix: [111211041015]\left[\begin{array}{rrr|r}1&1&1&2\\1&1&0&-4\\1&0&1&5\end{array}\right]
The reduced row echelon form of this matrix is: [100101030016]\left[\begin{array}{rrr|r}1&0&0&-1\\0&1&0&-3\\0&0&1&6\end{array}\right]
Hence the solution is c1=1c_1=-1, c2=3c_2=-3, c3=6c_3=6.
This means we can write x\vec x as a linear combination of the vectors: x=1u3v+6w\vec x = -1\vec u - 3\vec v + 6\vec w.
Therefore x\vec x is indeed in span({u,v,w})\text{span}(\{\vec u, \vec v, \vec w\}).
Alternatively
We can use the determinant of the matrix whose columns are the vectors of interest:
Let A=[uvw]=[111110101]A =\left[\begin{array}{rrr}\vec u & \vec v & \vec w\end{array}\right] =\left[\begin{array}{rrr}1&1&1\\1&1&0\\1&0&1\end{array}\right]
Then det(A)=10\text{det}(A)=-1\textcolor{red}{\ne}0, so AA is invertible, which means the linear system ()\colorTwo{(*)} has exactly one solution.
This method does not tell us the solution, but since we know one exists, we conclude that xspan({u,v,w})\vec x \in \text{span}(\{\vec u, \vec v, \vec w\}).

Practice: Span

Let u=1,0,1, v=1,1,1, w=1,1,1\vec u = \lang 1,0,1\rang,\ \vec v = \lang 1,1,1\rang,\ \vec w = \lang 1,-1,1 \rang be vectors in R3\reals^3, and suppose b=3,y,zspan({u,v,w})\vec b = \lang 3,y,z \rang \in \text{span}(\{\vec u, \vec v, \vec w\}).
Find the value of zz.
checklist
Mark Yourself Question
  1. Grab a piece of paper and try this problem yourself.
  2. When you're done, check the "I have answered this question" box below.
  3. View the solution and report whether you got it right or wrong.

Practice: Spans are Subspaces

Suppose that v1,,vkRn\vec v_1, \dots, \vec v_k\in\reals^n. Prove that U=span({v1,...,vk})U=\operatorname{span}(\{\vec v_1, ...,\vec v_k\}) is a subspace of Rn\mathbb{R}^n.
Extra Practice