# Span – Serlo

Zur Navigation springen Zur Suche springen

In linear algebra, the span of a subset ${\displaystyle M}$ of a vector space ${\displaystyle V}$ over a field ${\displaystyle K}$ is the set of all linear combinations with vectors from ${\displaystyle M}$ and scalars from ${\displaystyle K}$. The span is often called the linear hull of ${\displaystyle M}$ or the span of ${\displaystyle M}$.

The span forms a subspace of the vector space ${\displaystyle V}$, namely the smallest subspace that contains ${\displaystyle M}$.

## Derivation of the span

### Generating vectors of the ${\displaystyle xy}$-plane

We consider the vector space ${\displaystyle \mathbb {R} ^{3}}$ and restrict to the ${\displaystyle xy}$-plane. I.e., the set of all vectors of the form ${\displaystyle (a,b,0)^{T}}$ with ${\displaystyle a,b\in \mathbb {R} }$:

Each vector of this plane can be written as a linear combination of the vectors ${\displaystyle (1,0,0)^{T}}$ and ${\displaystyle (0,1,0)^{T}}$:

${\displaystyle {\begin{pmatrix}a\\b\\0\end{pmatrix}}=a\cdot {\begin{pmatrix}1\\0\\0\end{pmatrix}}+b\cdot {\begin{pmatrix}0\\1\\0\end{pmatrix}}}$

With the set of these linear combinations, every point of the ${\displaystyle xy}$-plane can be reached. In particular, the two vectors ${\displaystyle (1,0,0)^{T}}$ and ${\displaystyle (0,1,0)^{T}}$ lie in the ${\displaystyle xy}$-plane. Furthermore, all linear combinations of the two vectors ${\displaystyle (1,0,0)^{T}}$ and ${\displaystyle (0,1,0)^{T}}$ lie in the ${\displaystyle xy}$-plane. This is because the ${\displaystyle z}$ component of the two vectors under consideration is ${\displaystyle 0}$ and thus the third component of the linear combination of the vectors must also be ${\displaystyle 0}$.

In summary, we can state: Every vector of the ${\displaystyle xy}$-plane is a linear combination of ${\displaystyle (1,0,0)^{T}}$ and ${\displaystyle (0,1,0)^{T}}$. Every linear combination of these two vectors is also an element of this plane. So the vectors ${\displaystyle (1,0,0)^{T}}$ and ${\displaystyle (0,1,0)^{T}}$ generate the ${\displaystyle xy}$-plane. Or as a mathematician would say, they span the ${\displaystyle xy}$-plane (like two rods spanning a side of a tent).

The ${\displaystyle xy}$-plane is a subspace of the vector space ${\displaystyle \mathbb {R} ^{3}}$. We call this subspace ${\displaystyle U}$. Our two vectors span the subspace (=plane) ${\displaystyle U}$. So we write

${\displaystyle U=\operatorname {span} \left\{{\begin{pmatrix}1\\0\\0\end{pmatrix}},{\begin{pmatrix}0\\1\\0\end{pmatrix}}\right\}.}$

We say that "${\displaystyle U}$ is substpace generated by the two vectors ${\displaystyle (1,0,0)^{T}}$ and ${\displaystyle (0,1,0)^{T}}$" or that "${\displaystyle U}$ is the linear hull of the two vectors ${\displaystyle (1,0,0)^{T}}$ and ${\displaystyle (0,1,0)^{T}}$ or even better: ${\displaystyle U}$ is the span of the two vectors ${\displaystyle (1,0,0)^{T}}$ and ${\displaystyle (0,1,0)^{T}}$.

Are these generating vectors unique? The answer is no, because the plane ${\displaystyle U}$ can also be spanned by two vectors like ${\displaystyle (1,0,0)^{T}}$ and ${\displaystyle (1,1,0)^{T}}$:

${\displaystyle {\begin{pmatrix}a\\b\\0\end{pmatrix}}=(a-b)\cdot {\begin{pmatrix}1\\0\\0\end{pmatrix}}+b\cdot {\begin{pmatrix}1\\1\\0\end{pmatrix}}.}$

There is hence also

${\displaystyle U=\operatorname {span} \left\{{\begin{pmatrix}1\\0\\0\end{pmatrix}},{\begin{pmatrix}1\\1\\0\end{pmatrix}}\right\}.}$

Thus, the two vectors spanning a plane are not necessarily unique.

Intuitively, we can think of the span of vectors as the set of all possible linear combinations that can be built from these vectors. In our example this means

${\displaystyle \operatorname {span} \left\{{\begin{pmatrix}1\\0\\0\end{pmatrix}},{\begin{pmatrix}0\\1\\0\end{pmatrix}}\right\}=\left\{a\cdot {\begin{pmatrix}1\\0\\0\end{pmatrix}}+b\cdot {\begin{pmatrix}0\\1\\0\end{pmatrix}}{\Bigg |}\,a,b\in \mathbb {R} \right\}.}$

Another intuition is the following: The span of a set ${\displaystyle M}$ describes the vector space where all combinations of directions represented by elements from ${\displaystyle M}$ are merged.

### The span of even monomials

We now examine a slightly more complicated example: Consider the vector space ${\displaystyle V}$ of polynomials over ${\displaystyle \mathbb {R} }$. Let ${\displaystyle M=\{x^{n}|\,n\in \mathbb {N} _{0}{\text{ is even}}\}\subset V}$. The elements from ${\displaystyle M}$ are the monomials ${\displaystyle 1}$, ${\displaystyle x^{2}}$, ${\displaystyle x^{4}}$, ${\displaystyle x^{6}}$ ans so on. In other words, all monomials that have an even exponent. For odd exponents, however ${\displaystyle x,x^{3},x^{5},...\notin M}$. We consider ${\displaystyle \operatorname {span} (M)}$, the set of all linear combinations with vectors of ${\displaystyle M}$. For example ${\displaystyle 2x^{2}+5x^{4}+9x^{8}+7x^{12}}$ is an element in ${\displaystyle \operatorname {span} (M)}$. In particualr, ${\displaystyle \operatorname {span} (M)}$ is a subspace of ${\displaystyle V}$ since it contains polynomials.

Further, the set ${\displaystyle \operatorname {span} (M)}$ is not empty, since it contains for instance ${\displaystyle x^{2}\in M}$.

Let us now consider two polynomials ${\displaystyle p,q\in \operatorname {span} (M)}$. By construction of ${\displaystyle \operatorname {span} (M)}$, ${\displaystyle p}$ and ${\displaystyle q}$ consist exclusively of monomials with an even exponent. Thus, of addition of ${\displaystyle p}$ and ${\displaystyle q}$ also results in a polynomial with exclusively even exponents. The set ${\displaystyle \operatorname {span} (M)}$ is therefore closed with respect to addition.

The same argument gives us completeness with respect to scalar multiplication. Thus the set ${\displaystyle \operatorname {span} (M)}$ is a subspace of the vector space of all polynomials. As we will see later, it is even the smallest subspace that contains ${\displaystyle M}$.

## Definition of the span

Above, we found out that the span of a set ${\displaystyle M}$ is the set of all linear combinations with vectors from ${\displaystyle M}$. Intuitively, the span is the subspace resulting from the union of all directions given by vectors from ${\displaystyle M}$. Now, we make this intuition mathematically precise.

Definition (Span of a set)

Let ${\displaystyle V}$ be a vector space over the field ${\displaystyle K}$. Let ${\displaystyle M\subseteq V}$ be a non-empty set. We define the span of ${\displaystyle M}$ as the set of all vectors from ${\displaystyle V}$ which can be represented as a finite linear combination of vectors from ${\displaystyle M}$ and denote it as ${\displaystyle \operatorname {span} (M)}$:

${\displaystyle \operatorname {span} (M)=\left\{\sum _{i=1}^{n}\lambda _{i}\cdot m_{i}{\Bigg |}\ n\in \mathbb {N} ,\,\lambda _{1},\ldots ,\lambda _{n}\in K,\,m_{1},\ldots ,m_{n}\in M\right\}}$

For the empty set we define:

${\displaystyle \operatorname {span} (\emptyset )=\{0\}}$

Alternatively, one can call the span of a set the generated subspace or linear hull.

Hint

The sum always has only finitely many summands, even if M is infinite.

Hint

Occasionally, the notation ${\displaystyle \langle M\rangle _{K}}$ is also used for the span. The advantage of this notation is that it is clear which field defines the vector space. It makes a difference which field we use as a basis. For the example for ${\displaystyle M:=\{1\}}$ we have that ${\displaystyle \pi \cdot 1\in \langle M\rangle _{\mathbb {R} }}$, but ${\displaystyle \pi \cdot 1\notin \langle M\rangle _{\mathbb {Q} }}$. It can be shown that ${\displaystyle \langle M\rangle _{\mathbb {Q} }=\mathbb {Q} }$ and ${\displaystyle \langle M\rangle _{\mathbb {R} }=\mathbb {R} }$.

## Example

Example (Line through the origin is a certain span)

Let ${\displaystyle x=(1,2)^{T}\in \mathbb {R} ^{2}}$. We consider the set ${\displaystyle \lbrace x\rbrace }$ as a subset of the vector space ${\displaystyle \mathbb {R} ^{2}}$. The span ${\displaystyle \operatorname {span} (\lbrace x\rbrace )}$ is the straight line through the origin pointing in the direction of the vector ${\displaystyle (1,2)^{T}}$.

${\displaystyle \operatorname {span} (\lbrace x\rbrace )=\operatorname {span} \left(\left\lbrace {\begin{pmatrix}1\\2\end{pmatrix}}\right\rbrace \right)=\left\lbrace \rho \cdot {\begin{pmatrix}1\\2\end{pmatrix}}\,{\bigg |}\,\rho \in \mathbb {R} \right\rbrace }$

Example (plane through the origin as a span)

Let ${\displaystyle (5,0,0)^{T}}$ and ${\displaystyle (0,3,0)^{T}}$ be two vectors from ${\displaystyle \mathbb {R} ^{3}}$. The span of these two vectors is the ${\displaystyle xy}$-plane. The following transformation shows

{\displaystyle {\begin{aligned}\operatorname {span} \left(\left\lbrace {\begin{pmatrix}5\\0\\0\end{pmatrix}},{\begin{pmatrix}0\\3\\0\end{pmatrix}}\right\rbrace \right)&=\left\lbrace \lambda \cdot {\begin{pmatrix}5\\0\\0\end{pmatrix}}+\mu \cdot {\begin{pmatrix}0\\3\\0\end{pmatrix}}{\Bigg |}\ \lambda ,\mu \in \mathbb {R} \right\rbrace \\[0.3em]&=\,\left\lbrace 5\cdot \lambda \cdot {\begin{pmatrix}1\\0\\0\end{pmatrix}}+3\cdot \mu \cdot {\begin{pmatrix}0\\1\\0\end{pmatrix}}{\Bigg |}\ \lambda ,\mu \in \mathbb {R} \right\rbrace \\[0.3em]&\ {\color {OliveGreen}\left\downarrow {\text{set }}{{\tilde {\lambda }}=5\cdot \lambda ,\ {\tilde {\mu }}=3\cdot \mu }\ {\text{ bzw. }}\ \lambda ={\frac {1}{5}}\cdot {\tilde {\lambda }},\ \mu ={\frac {1}{3}}\cdot {\tilde {\mu }}\right.}\\[0.3em]&=\,\left\lbrace {\tilde {\lambda }}\cdot {\begin{pmatrix}1\\0\\0\end{pmatrix}}+\cdot {\tilde {\mu }}\cdot {\begin{pmatrix}0\\1\\0\end{pmatrix}}{\Bigg |}\ {\tilde {\lambda }},{\tilde {\mu }}\in \mathbb {R} \right\rbrace \\[0.3em]&=\,\left\{{\begin{pmatrix}{\tilde {\lambda }}\\{\tilde {\mu }}\\0\end{pmatrix}}{\Bigg |}\ {\tilde {\lambda }},{\tilde {\mu }}\in \mathbb {R} \right\}\end{aligned}}}

## Overview: Properties of the span

Let ${\displaystyle V}$ be a ${\displaystyle K}$-vector space, ${\displaystyle M}$, ${\displaystyle N\subseteq V}$ subsets of ${\displaystyle V}$ and ${\displaystyle W\subseteq V}$ a subspace of ${\displaystyle V}$. Then, we have

• For a vector ${\displaystyle v\in V}$ we have ${\displaystyle \operatorname {span} (\{v\})=\{\lambda \cdot v|\lambda \in K\}}$
• If ${\displaystyle N\subseteq M}$, then ${\displaystyle \operatorname {span} (N)\subseteq \operatorname {span} (M)}$
• From ${\displaystyle \operatorname {span} (N)=\operatorname {span} (M)}$ one can usually not conclude ${\displaystyle N=M}$
• ${\displaystyle M\subseteq \operatorname {span} (M)}$
• ${\displaystyle \operatorname {span} (M)}$ is a subspace of ${\displaystyle V}$
• For a subspace ${\displaystyle W}$ we have ${\displaystyle \operatorname {span} (W)=W}$
• ${\displaystyle \operatorname {span} (M)}$ is the smallest subspace of ${\displaystyle V}$ including ${\displaystyle M}$
• ${\displaystyle N\subseteq \operatorname {span} (M)\iff \operatorname {span} (M)=\operatorname {span} (M\cup N)}$
• ${\displaystyle \operatorname {span} (\operatorname {span} (M))=\operatorname {span} (M)}$

## Properties of the span

### The span of a vector ${\displaystyle v}$ in ${\displaystyle V}$

For a vector ${\displaystyle v\in V}$ we have that ${\displaystyle \operatorname {span} (\{v\})=\{\lambda \cdot v\,|\ \lambda \in K\}}$. For the zero vector ${\displaystyle v=0}$ the span again consists only of the zero vector, so ${\displaystyle \operatorname {span} (\{0\})=\{0\}}$. If ${\displaystyle v\neq 0}$ holds, then ${\displaystyle \operatorname {span} (\{v\})}$ is exactly the set of elements that lie on the line through the origin im direction of the vector ${\displaystyle v}$.

### Span preserves subsets

Theorem (Span preserves subsets)

Let ${\displaystyle V}$ be a ${\displaystyle K}$-vector space and let ${\displaystyle M,N\subseteq V}$. If ${\displaystyle N\subseteq M}$, then also ${\displaystyle \operatorname {span} (N)\subseteq \operatorname {span} (M)}$.

Proof (Span preserves subsets)

Since ${\displaystyle \operatorname {span} (\emptyset )=\{0\}}$ and ${\displaystyle 0}$ is an element in the span of every set, we have ${\displaystyle \operatorname {span} (\emptyset )=\{0\}\subseteq M}$.

Thus we can assume without loss of generality that ${\displaystyle \emptyset \neq N\subseteq M}$. We consider any element ${\displaystyle v\in \operatorname {span} (N)}$. By the definition of the span, vectors ${\displaystyle v_{1},...,v_{n}\in N}$ and ${\displaystyle \lambda _{1},...,\lambda _{n}\in K}$ exist such that ${\displaystyle v=\sum _{i=1}^{n}\lambda _{i}v_{i}}$. Because of ${\displaystyle N\subseteq M}$ we have for all ${\displaystyle v_{i}}$ with ${\displaystyle 1\leq i\leq n}$ that ${\displaystyle v_{i}\in M}$. Hence also ${\displaystyle v\in \operatorname {span} (M)}$. Consequently, ${\displaystyle \operatorname {span} (N)\subseteq \operatorname {span} (M)}$.

Hint

The converse of the above theorem does not hold true in general! By this we mean: From ${\displaystyle \operatorname {span} (N)\subseteq \operatorname {span} (M)}$ we cannot conclude ${\displaystyle N\subseteq M}$.

A possible counterexample is:

${\displaystyle N=\left\{{\begin{pmatrix}1\\0\end{pmatrix}},{\begin{pmatrix}2\\0\end{pmatrix}}\right\}{\text{ and }}M=\left\{{\begin{pmatrix}1\\0\end{pmatrix}}\right\}}$

Here,

{\displaystyle {\begin{aligned}\operatorname {span} (N)&=\left\{\lambda _{1}\cdot {\begin{pmatrix}1\\0\end{pmatrix}}+\lambda _{2}\cdot {\begin{pmatrix}2\\0\end{pmatrix}}{\Bigg |}\ \lambda _{1},\lambda _{2}\in K\right\}=\left\{(\lambda _{1}+2\lambda _{2})\cdot {\begin{pmatrix}1\\0\end{pmatrix}}{\Bigg |}\ \lambda _{1},\lambda _{2}\in K\right\}\\[0.3em]\operatorname {span} (M)&=\left\{\mu \cdot {\begin{pmatrix}1\\0\end{pmatrix}}{\Bigg |}\ \mu \in K\right\}\end{aligned}}}

Thus ${\displaystyle \operatorname {span} (N)=\operatorname {span} (M)}$, since in both cases we get exactly the multiples of the vector ${\displaystyle (1,0)^{T}}$. Since the two subsets are equal, we have in particular ${\displaystyle \operatorname {span} (N)\subseteq \operatorname {span} (M)}$, but ${\displaystyle N\nsubseteq M}$. Therefore, the converse of the theorem cannot hold true in general.

### The set ${\displaystyle M}$ is contained in its span

Theorem (${\displaystyle M}$ is contained in its span)

Let ${\displaystyle V}$ ein ${\displaystyle K}$-vector space and ${\displaystyle M\subseteq V}$. Then, there is ${\displaystyle M\subseteq \operatorname {span} (M)}$.

Proof (${\displaystyle M}$ is contained in its span)

If ${\displaystyle M=\emptyset }$, then ${\displaystyle \operatorname {span} (M)=\{0\}}$ , and the assertion is true.

Otherwise, let ${\displaystyle m\in M}$ be arbitrary. Then ${\displaystyle m}$ can be represented by ${\displaystyle m=1\cdot m}$. In particular, ${\displaystyle m=1\cdot m}$ is a linear combination with a summand of ${\displaystyle M}$. Thus there is ${\displaystyle m\in \operatorname {span} (M)}$, since ${\displaystyle \operatorname {span} (M)}$ contains all linear combinations of elements from ${\displaystyle M}$.

This establishes the assertion ${\displaystyle M\subseteq \operatorname {span} (M)}$.

### The span of ${\displaystyle M}$ is a subspace of ${\displaystyle V}$

Theorem (The span of ${\displaystyle M}$ is a subspace of ${\displaystyle V}$)

${\displaystyle \operatorname {span} (M)}$ is a subspace of ${\displaystyle V}$

Proof (The span of ${\displaystyle M}$ is a subspace of ${\displaystyle V}$)

If ${\displaystyle M}$ is the empty set, then by definition ${\displaystyle \operatorname {span} (M)=\{0\}}$, and that is a subspace of ${\displaystyle V}$. From now on we may therefore assume that ${\displaystyle M}$ is not empty.

First, it is clear that ${\displaystyle \operatorname {span} (M)\subseteq V}$. But this is obvious according to the definition of vector space and span.

We still have to show ${\displaystyle \operatorname {span} (M)}$ is subspace of ${\displaystyle V}$. In other words,we have to show that

• ${\displaystyle \operatorname {span} (M)\neq \emptyset }$
• for two elements ${\displaystyle u,v\in \operatorname {span} (M)}$ we have also ${\displaystyle u+v\in \operatorname {span} (M)}$ (completeness of addition)
• ${\displaystyle \rho \cdot u\in \operatorname {span} (M)}$ (completeness of scalar multiplication)

Proof step: ${\displaystyle \operatorname {span} (M)\neq \emptyset }$

Since ${\displaystyle \operatorname {span} M}$ is not empty, there exists at least one ${\displaystyle u\in M}$. Then ${\displaystyle u}$ can be written as ${\displaystyle u=1\cdot u}$, and therefore ${\displaystyle u}$ itself is in ${\displaystyle \operatorname {span} M}$. So this condition is fulfilled.

We show the completeness concerning the vector addition. Let ${\displaystyle u,v\in \operatorname {span} (M)}$. Then there are vectors ${\displaystyle m_{1},\ldots ,m_{n}\in M}$ and ${\displaystyle n_{1},\ldots ,n_{k}\in M}$, so that ${\displaystyle u=\sum _{i=1}^{n}\lambda _{i}\cdot m_{i}}$ and ${\displaystyle v=\sum _{i=1}^{k}\mu _{i}\cdot n_{i}}$. So

${\displaystyle u+v=\sum _{i=1}^{n}\lambda _{i}\cdot m_{i}+\sum _{i=1}^{k}\mu _{i}\cdot n_{i}\in \operatorname {span} (M)}$

Hence, ${\displaystyle \operatorname {span} (M)}$ is complete with respect to addition.

Proof step: Completeness of scalar multiplication

Establish completeness of scalar multiplication is done easily:

${\displaystyle \rho \cdot u=\rho \cdot \sum _{i=1}^{n}\lambda _{i}\cdot m_{i}=\sum _{i=1}^{n}(\rho \cdot \lambda _{i})\cdot m_{i}\in \operatorname {span} (M)}$

Thus we have proved that ${\displaystyle \operatorname {span} (M)}$ is a subspace of the vector space ${\displaystyle V}$.

### The span of a subspace ${\displaystyle W}$ is again ${\displaystyle W}$

Theorem (The span of ${\displaystyle M}$ is the smallest subspace von ${\displaystyle V}$)

The span of a subspace ${\displaystyle W}$ is again ${\displaystyle W}$

Proof (The span of ${\displaystyle M}$ is the smallest subspace von ${\displaystyle V}$)

Since ${\displaystyle W}$ is a subspace, for some vectors ${\displaystyle m_{1},\ldots ,m_{n}\in W}$ also all linear combinations of the ${\displaystyle m_{1},\ldots ,m_{n}}$ are contained in ${\displaystyle W}$. Therefore ${\displaystyle \operatorname {span} (W)\subseteq W}$. Together with ${\displaystyle W\subseteq \operatorname {span} (W)}$ our assertion follows.

### The span of ${\displaystyle M}$ is the smallest subspace of ${\displaystyle V}$, containing ${\displaystyle M}$

Theorem (The span of ${\displaystyle M}$ is the smallest subspace of ${\displaystyle V}$)

Let ${\displaystyle V}$ be a ${\displaystyle K}$-vector space and let ${\displaystyle M\subseteq V}$.

Then, ${\displaystyle \operatorname {span} (M)}$ is the smallest subspace of ${\displaystyle V}$ including ${\displaystyle M}$.

Proof (The span of ${\displaystyle M}$ is the smallest subspace of ${\displaystyle V}$)

We already know that ${\displaystyle \operatorname {span} (M)}$ is a subspace. Now we show that ${\displaystyle \operatorname {span} (M)}$ is the smallest subspace containing ${\displaystyle M}$.

If ${\displaystyle M=\emptyset }$, the assertion is obviously true, since then ${\displaystyle \operatorname {span} (M)=\{0\}}$.

Let ${\displaystyle W}$ be a subspace of ${\displaystyle V}$ containing ${\displaystyle M}$. Our goal is to show that ${\displaystyle \operatorname {span} (M)\subseteq isW}$. Since this would imply that the subspace ${\displaystyle \displaystyle \operatorname {span} (M)}$ is smaller or equal to every other subspace ${\displaystyle W}$ containing ${\displaystyle M}$.

Now if ${\displaystyle u\in \operatorname {span} (M)}$, then there are some ${\displaystyle m_{1},...,m_{n}\in M}$ and ${\displaystyle \lambda _{1},\ldots ,\lambda _{n}\in K}$ such that ${\displaystyle \displaystyle u=\sum _{i=1}^{n}\lambda _{i}m_{i}}$ (by definition of the span).

Since ${\displaystyle W}$ is a subspace and ${\displaystyle m_{1},\ldots ,m_{n}\in W}$, all linear combinations of ${\displaystyle m_{1},\ldots ,m_{n}}$ are also contained in ${\displaystyle W}$. This implies our assertion ${\displaystyle \operatorname {span} (M)\subseteq W}$.

### Idempotency of the span

Theorem (Idempotency of the span)

Let ${\displaystyle V}$ be a ${\displaystyle K}$-vector space and ${\displaystyle M\subseteq V}$. Then we have ${\displaystyle \operatorname {span} (\operatorname {span} (M))=\operatorname {span} (M)}$. This property of the span is called idempotency.

Proof (Idempotency of the span)

For ${\displaystyle M=\emptyset }$ we have ${\displaystyle \operatorname {span} (\emptyset )=\{0\}}$ and ${\displaystyle \operatorname {span} (\operatorname {span} (\emptyset ))=\operatorname {span} (\{0\})=\{0\}}$.

Therefore, we can now assume that ${\displaystyle M}$ is not empty.

We already know that ${\displaystyle \operatorname {span} (M)\subseteq \operatorname {span} (\operatorname {span} (M))}$. So it only remains to show that ${\displaystyle \operatorname {span} (\operatorname {span} (M))\subseteq \operatorname {span} (M)}$.

Let ${\displaystyle v\in \operatorname {span} (\operatorname {span} (M))}$. Then ${\displaystyle v}$ can be written as

${\displaystyle v=\lambda _{1}\cdot u_{1}+...+\lambda _{n}\cdot u_{n}}$

with ${\displaystyle \lambda _{1},...,\lambda _{n}\in K}$ and ${\displaystyle u_{1},...,u_{n}\in \operatorname {span} (M)}$. Since ${\displaystyle u_{i}\in \operatorname {span} (M)}$ for all ${\displaystyle 1\leq i\leq n}$, every ${\displaystyle u_{i}}$ can be written as a linear combination of elements in ${\displaystyle M}$:

${\displaystyle u_{i}=\mu _{1}\cdot w_{i,1}+...+\mu _{m_{i}}\cdot w_{i,m_{i}}}$

where ${\displaystyle \mu _{1},...,\mu _{m_{i}}\in K}$ and ${\displaystyle w_{i,1},...,w_{i,m_{i}}\in M}$. We now write the ${\displaystyle u_{i}}$ within ${\displaystyle v}$as a linear combination of the ${\displaystyle w_{i,j}}$:

{\displaystyle {\begin{aligned}v&=\sum _{i=1}^{n}\lambda _{i}u_{i}\\[0.3em]&{\color {OliveGreen}\left\downarrow \ u_{i}=\mu _{1}\cdot w_{i,1}+...+\mu _{m_{i}}\cdot w_{i,m_{i}}\right.}\\[0.3em]&=\sum _{i=1}^{n}\lambda _{i}\left(\sum _{j=1}^{m_{i}}\mu _{j}w_{i,j}\right)\\[0.3em]&=\sum _{i=1}^{n}\sum _{j=1}^{m_{i}}(\lambda _{i}\mu _{j})w_{i,j}\end{aligned}}}

For all ${\displaystyle 1\leq i\leq n}$, the sum ${\displaystyle \sum _{j=1}^{m_{i}}\lambda _{i}\mu _{j}}$ is an element of the field ${\displaystyle K}$. So we obtain ${\displaystyle v\in \operatorname {span} (M)}$, which was to be shown.

Alternative proof (Idempotency of the span)

We know that ${\displaystyle \operatorname {span} (M)}$ is a subspace of ${\displaystyle V}$, and that the span ${\displaystyle \operatorname {span} (W)}$ of a subspace ${\displaystyle W}$ is ${\displaystyle W}$ again.

Therefore, ${\displaystyle \operatorname {span} (\operatorname {span} (M))}$ is again ${\displaystyle \operatorname {span} (M)}$.

### Adding elements of the span doesn't change the span

Theorem (Adding elements of the span doesn't change the span)

Let ${\displaystyle V}$ be a ${\displaystyle K}$-vector space and ${\displaystyle M}$, ${\displaystyle N\subseteq V}$. Then, we have

${\displaystyle N\subseteq \operatorname {span} (M)\Longleftrightarrow \operatorname {span} (M)=\operatorname {span} (M\cup N)}$

Proof (Adding elements of the span doesn't change the span)

We will establish the two implications ${\displaystyle \implies }$ and ${\displaystyle \Longleftarrow }$:

Proof step: ${\displaystyle N\subseteq \operatorname {span} (M)\implies \operatorname {span} (M)=\operatorname {span} (M\cup N)}$

The statement ${\displaystyle \operatorname {span} (M)\subseteq \operatorname {span} (M\cup N)}$ does always hold, since ${\displaystyle M\subseteq M\cup N}$. So all that remains is to show that ${\displaystyle \operatorname {span} (M\cup N)\subseteq \operatorname {span} (M)}$ holds. In order to do this, we consider an element ${\displaystyle u\in \operatorname {span} (M\cup N)}$. We can write it as

${\displaystyle u=\sum _{i=0}^{n}\lambda _{i}v_{i}+\sum _{i=0}^{m}\mu _{i}w_{i},}$

with ${\displaystyle v_{1},...,v_{n}\in M}$, ${\displaystyle w_{1},...,w_{m}\in N}$, ${\displaystyle \lambda _{1},...,\lambda _{n}\in K}$ and ${\displaystyle \mu _{1},...,\mu _{m}\in K}$. Since ${\displaystyle N\subseteq \operatorname {span} (M)}$, one can write ${\displaystyle w_{i}}$ for all ${\displaystyle 1\leq i\leq m}$ as a linear combination of elements from ${\displaystyle M}$:

${\displaystyle w_{i}=\rho _{1}\cdot {\hat {v}}_{1}+...+\rho _{m_{i}}\cdot {\hat {v}}_{m_{i}}}$

where ${\displaystyle \rho _{1},...,\rho _{m_{i}}\in K}$ and ${\displaystyle {\hat {v}}_{1},...,{\hat {v}}_{m_{i}}\in M}$. Now, we plug this expression for ${\displaystyle w_{i}}$ into the formula above:

{\displaystyle {\begin{aligned}u&=\sum _{i=0}^{n}\lambda _{i}v_{i}+\sum _{i=0}^{m}\mu _{i}\left(\sum _{j=1}^{m_{i}}\rho _{j}{\hat {v}}_{j}\right)\\[0.3em]&=\sum _{i=0}^{n}\lambda _{i}v_{i}+\sum _{i=1}^{m}\sum _{j=1}^{m_{i}}(\mu _{i}\rho _{j}){\hat {v}}_{j}\end{aligned}}}

We have thus represented ${\displaystyle u}$ as a linear combination of vectors from ${\displaystyle M}$ and hence ${\displaystyle \operatorname {span} (M)=\operatorname {span} (M\cup N)}$.

Proof step: ${\displaystyle N\subseteq \operatorname {span} (M)\Longleftarrow \operatorname {span} (M)=\operatorname {span} (M\cup N)}$

We show this statement using a proof by contradiction. We assume that there is some ${\displaystyle w\in N}$ but ${\displaystyle w\notin \operatorname {span} (M)}$. We now define an element ${\displaystyle u:=\sum _{i=0}^{n}\lambda _{i}v_{i}+w}$, with ${\displaystyle v_{1},...,v_{n}\in M}$ and ${\displaystyle \lambda _{1},...,\lambda _{n}\in K}$.

Now ${\displaystyle u}$ is a linear combination of vectors from ${\displaystyle M\cup N}$. Thus ${\displaystyle u\in \operatorname {span} (M\cup N)}$, since ${\displaystyle w\in N}$. However, we also have ${\displaystyle u\notin \operatorname {span} (M)}$, since ${\displaystyle w\notin \operatorname {span} (M)}$. But this contradicts the assumption ${\displaystyle \operatorname {span} (M)=\operatorname {span} (M\cup N)}$.

Hence our assumption is false and ${\displaystyle N\subseteq \operatorname {span} (M)}$ must hold.

Alternative proof (First proof step)

One can also argue as follows: we have ${\displaystyle M,N\subseteq \operatorname {span} (M)}$. So also ${\displaystyle M\cup N\subseteq \operatorname {span} (M)}$.

We have already proved that then ${\displaystyle \operatorname {span} (M\cup N)\subseteq \operatorname {span} (\operatorname {span} (M))}$. This set is the same as ${\displaystyle \operatorname {span} (M)}$ because of the idempotency of the span, so ${\displaystyle \operatorname {span} (M\cup N)=\operatorname {span} (M)}$.

## Check whether vectors are inside the span

After we have learned some properties of the span, we will show in this section how we can check whether a vector of ${\displaystyle V}$ lies within the span of ${\displaystyle M\subseteq V}$ or not. We will see that in order to answer this question we have to solve a linear system of equations.

Example (Plane and line through the origin)

Let's start with a simple example from the ${\displaystyle \mathbb {R} ^{2}}$. We consider the line through the origin ${\displaystyle \operatorname {span} (M)}$ with the one-element subset ${\displaystyle M=\{(4,3)^{T}\}}$ of the plane ${\displaystyle \mathbb {R} ^{2}}$. The question now is whether the vector ${\displaystyle (12,9)^{T}}$ lies in the span of ${\displaystyle M}$. One can immediately see that

${\displaystyle {\begin{pmatrix}12\\9\end{pmatrix}}=3\cdot {\begin{pmatrix}4\\3\end{pmatrix}}}$

holds. In other words

${\displaystyle {\begin{pmatrix}12\\9\end{pmatrix}}\in \operatorname {span} (M)}$

Mathematically, we have to solve a system of equations. In our simple example, the exercise is to find a ${\displaystyle \lambda \in K}$ such that

${\displaystyle {\begin{pmatrix}12\\9\end{pmatrix}}=\lambda \cdot {\begin{pmatrix}4\\3\end{pmatrix}}}$

From this equation we obtain the linear system of equations

{\displaystyle {\begin{aligned}12&=\lambda \cdot 4\\9&=\lambda \cdot 3\end{aligned}}}

with the obvious solution ${\displaystyle \lambda =3}$.

Example (Polynomials)

Let us now examine an example whose solution is not obvious at first sight. For this we consider the subset of the monomials ${\displaystyle N=\{x^{3},x^{1},x^{0}\}}$ and the polynomial ${\displaystyle p(x)=(x-2)^{3}+3(x-2)^{2}}$. We want to show that the polynomial is not in the span of ${\displaystyle N}$. To do this, it suffices to prove that ${\displaystyle p(x)}$ cannot be represented as a linear combination of the monomials of ${\displaystyle N}$. We can see this by transforming the polynomial:

${\displaystyle (x-2)^{3}+3(x-2)^{2}=(x^{3}+12x-6x^{2}-8)+(3x^{2}-12x+12)=x^{3}-3x^{2}+4}$

We see that a summand contains the monomial ${\displaystyle x^{2}}$, but this monomial is not contained in ${\displaystyle N}$. Thus the polynomial is not in the span of the set ${\displaystyle N}$.

Example (Vectors from ${\displaystyle \mathbb {R} ^{4}}$)

We consider the subset ${\displaystyle M=\{(1,-2,3,2)^{T},(3,0,2,1)^{T},(0,-2,1,-3)^{T},(1,1,-2,2)^{T}\}}$ of ${\displaystyle \mathbb {R} ^{4}}$ and want to prove that the vector ${\displaystyle (2,-9,2,-3)^{T}\in \operatorname {span} (M)}$. For this we have to show that there are coefficients ${\displaystyle \lambda _{1},\lambda _{2},\lambda _{3},\lambda _{4}\in \mathbb {R} }$ such that

${\displaystyle {\begin{pmatrix}2\\-9\\2\\-3\end{pmatrix}}=\lambda _{1}\cdot {\begin{pmatrix}1\\-2\\3\\2\end{pmatrix}}+\lambda _{2}\cdot {\begin{pmatrix}3\\0\\2\\1\end{pmatrix}}+\lambda _{3}\cdot {\begin{pmatrix}0\\-2\\1\\-3\end{pmatrix}}+\lambda _{4}\cdot {\begin{pmatrix}1\\1\\-2\\2\end{pmatrix}}}$

From this representation we get the linear system of equations

{\displaystyle {\begin{aligned}I:&&2&=&1\cdot \lambda _{1}+3\cdot \lambda _{2}+0\cdot \lambda _{3}+1\cdot \lambda _{4}\\[0.3em]II:&&-9&=&-2\cdot \lambda _{1}+0\cdot \lambda _{2}-2\cdot \lambda _{3}+1\cdot \lambda _{4}\\[0.3em]III:&&2&=&3\cdot \lambda _{1}+2\cdot \lambda _{2}+1\cdot \lambda _{3}-2\cdot \lambda _{4}\\[0.3em]IV:&&-3&=&2\cdot \lambda _{1}+1\cdot \lambda _{2}-3\cdot \lambda _{3}+2\cdot \lambda _{4}\end{aligned}}}

with solution ${\displaystyle \lambda _{1}=2}$, ${\displaystyle \lambda _{2}=-1}$, ${\displaystyle \lambda _{3}=4}$, ${\displaystyle \lambda _{4}=3}$. Hence, we have that

${\displaystyle {\begin{pmatrix}2\\-9\\2\\-3\end{pmatrix}}=2\cdot {\begin{pmatrix}1\\-2\\3\\2\end{pmatrix}}-1\cdot {\begin{pmatrix}3\\0\\2\\1\end{pmatrix}}+4\cdot {\begin{pmatrix}0\\-2\\1\\-3\end{pmatrix}}+3\cdot {\begin{pmatrix}1\\1\\-2\\2\end{pmatrix}}}$

and therefore ${\displaystyle (2,-9,2,-3)^{T}\in \operatorname {span} (M)}$.