Subspace – Serlo

In this article we consider the subspace of a vector space. The subspace is a subset of the vector space, which itself is a vector space.

A subset $U$ of the vector space $V$ can be identified as a subspace (i.e., it is again a vector space) if and only if the following three properties are satisfied:

• $0_{V}\in U$.
• For all $v,u\in U$ we have that $v+u\in U$.
• For all $u\in U$ and for all $\lambda \in K$ we have that $\lambda \cdot u\in U$.

This equivalence is called the subspace criterion. If one of them toes not hold, then we do not have a subspace.

Motivation

As we have already seen in connection with general algebraic structures like groups or fields, sub-structures (like sub-groups or sub-fields) play a major role in mathematics. To repeat: Substructures are (small) subsets of a (large) original structure, which allow for the same computations as the original sets. For example, considering the algebraic structure "group", a subgroup is a subset of a group, which is itself a group. For instance, the set of integer numbers with addition $(\mathbb {Z} ,+)$ can be seen as a subgroup of the set of rational numbers $(\mathbb {Q} ,+)$, which is again a subgroup of the real numbers $(\mathbb {R} ,+)$. In the same way, for the algebraic structure "field", a subfield is a subset of a field, which itself is a field.

In linear algebra we consider a new algebraic structure: the "vector space". As before, we can study the corresponding substructure: a sub-vector space, or simply subspace is a subset of a vector space, which is again a vector space.

Definition of a subspace

Definition (subspace)

Let $(V,+,\cdot )$ be a $K$-vector space. Consider a subset $U\subseteq V$ with the constrained operations $+_{U}:U\times U\to U,(u_{1},u_{2})\mapsto u_{1}+u_{2}$ and $\cdot _{U}:K\times U\to U,(\lambda ,u)\mapsto \lambda \cdot u$. Then, this subset is called a subspace of $V$ if $(U,+_{U},\cdot _{U})$ is itself a $K$-vector space.

Hint

In this definition, often a little detail is taken for granted: One needs that the constrained operations $+_{U}\colon U\times U\to U$ and $\cdot _{U}\colon K\times U\to U$ have again values only in $U$. That is, for a subspace $U\subseteq V$ it is required that for $u_{1},u_{2}\in U$ and $\lambda \in K$ also $u_{1}+u_{2}\in U\subseteq V$ and $\lambda \cdot u_{1}\in U\subseteq V$ hold. This does not hold for any vector space $V$, see the Example below.

Hint

You might recall the notion of a subgroup. We can also think of every vector space $(V,+,\cdot )$ as an abelian group $(V,+)$. Now if $(U,+_{U},\cdot _{U})$ is a subspace of $(V,+,\cdot )$, then $(U,+_{U})$ forms a subgroup of $(V,+)$.

Subspace criterion

Derivation of the criterion

How do we find out if a subset $U$ of a vector space $V$ is a subspace? For $U$ to be a vector space, all vector space axioms for $U$ must be fulfilled. Let's first use an example to see how this works.

Checking the vector space axioms for an example

We consider the subset $U=\{(x,2x)^{T}\,\mid \,x\in \mathbb {R} \}$ of the $\mathbb {R}$-vector space $V=\mathbb {R} ^{2}$. Visually this subset is a line. We want to find out, whether $U$ is a subspace of $V=\mathbb {R} ^{2}$. So by definition, we need to show that the set $U$ together with the operations $+_{U}$ and $\cdot _{U}$ satisfy all vector space axioms. We proceed as in the article Proofs for vector spaces. That means, we prove that the vector addition and the scalar multiplication are well defined and that eight axioms hold.

First we have to show that the two operations are well-defined. The crucial point here is whether we really "land in the subspace again" under addition and scalar multiplication. More precisely, the addition $+$ in $V$ is a map $V\times V\to V$ with $(u,v)\mapsto u+v$. Our new addition arises by first restricting the domain of definition $V\times V$ to the subset $U\times U$. We get a map $+'\colon U\times U\to V$. So the range of values remains the same for now. However, to make the set $U$ a vector space, we need a map $+'\colon U\times U\to U$, so after addition, we "land again in the subspace". So, is the image of $+'$ contained in $U$? What we would like to show is:

For all $u,u'\in U$ we have that also $u+u'\in U$.

This property is also called completeness under addition.

Analogously one can derive a criterion for the well-definedness of the scalar multiplication:

For all $u\in U$ and $\lambda \in K$ we have that also $\lambda u\in U$.

This property is called completeness under scalar multiplication.

We now check both properties in our concrete example:

First, the addition. Let $u,u'be\in U$. That is, $x,y\in \mathbb {R}$ exist such that $u=(x,2x)^{T}$ and $u'=(y,2y)^{T}$. Then $u+u'=(x+y,2(x+y))^{T}$. If we set $z:=x+y$, we have that $u+u'=(z,2z)^{T}$. So $u+u'\in U$.

Now the scalar multiplication. Let $u=(x,2x)^{T}\in U$ as we just did, and let $\lambda \in K$. Then we have $\lambda \cdot u=(\lambda x,2\lambda x)^{T}$. If we set $z:=\lambda x$, we have that $\lambda \cdot u=(z,2z)^{T}$. So $\lambda \cdot u'\in U$.

Hence, the completeness under addition and scalar multiplication are indeed valid. So the vector space operations are well defined. We note that here we have worked very concretely with the definition of the set $U$. More specifically, we have used that every element of $U$ is of the form $(x,2x)^{T}$.

Now we check the eight vector space axioms.

First, the four axioms for addition:

Associative law of addition: Let $u,v,w\in U$. We must show that $u+_{U}(v+_{U}w)=(u+_{U}v)+_{U}w$. Since $+_{U}$ is the constrained version of $+$, we must show $u+(v+w)=(u+v)+w$. This follows from the associative law for the vector space $V$. Note that since $U\subseteq V$, we also have $u,v,w\in V$, so the relations in $V$ are indeed valid.

The commutative law for addition in $U$ can be traced back to the commutative law in $V$.

Existence of a neutral element: We must show that an element $0_{_{U}}\in U$ exists such that $0_{_{U}}+_{U}u=u+_{U}0_{_{U}}=u$ for all $u\in U$. Since $V$ is a vector space, it contains a zero vector with $0+v=v+0=v$ for all $v\in V$. In particular, this holds for all $u\in U$. Since addition in $U$ is only the restriction of addition in $V$, it suffices to show, That $0\in U$. For then we can set $0_{_{U}}=0$. The element $0\in V=\mathbb {R} ^{2}$ is more precisely the vector $(0,0)^{T}$. This can be written as $(0,2\cdot 0)^{T}$ and thus lies in $U$. So there is indeed a neutral element of addition within $U$.

Existence of additive inverse in $U$: Let $u\in U$. We must show that there exists a $u'\in U$, such that $u+_{U}u'=0$. We know that $u+(-u)=0$ holds in $V$. So if we can show $-u\in U$, we are done: then we can choose $u'=-u$. We know that $-u=(-1)\cdot u\in U$ holds. Furthermore, we have already shown that $U$ is complete under scalar multiplication, so indeed $-u\in U$ follows.

The four axioms of scalar multiplication can also be traced back to the corresponding properties of $V$. This works similarly to the first two axioms of addition. We use that all relevant equations hold analogously in $V$ if one expresses the operations in $U$ by those in $V$ So we indeed have a subspace.

In order to show that the operations $+_{U}$ and $\cdot _{U}$ are well-defined, we needed to establish the properties of completeness formulated above. For this we have worked closely with the definition of $U$. Furthermore, for the third axiom of addition, we had to show that the neutral element of addition in $V$ is also an element of $U$. Again, we worked concretely with the definition of $U$. The axiom for the existence of the inverse with respect to addition could be traced back to the completeness of scalar multiplication. For all other axioms we could use that the analogous axioms in $V$ hold.

So, in total, we actually only needed to show three things:

• The completeness of $U$ with respect to addition.
• The completeness of $U$ with respect to scalar multiplication
• $0\in U$

For these we had to work with the definition of $U$ and $V$. The above arguments that these three properties suffice should be true for every vector space $V$ and all subsets $U$ of $V$. So, in the general case, it should be enough to prove these three properties (and it actually is).

But first, we demonstrate that the three rules are necessary. That is, we show that none of the three rules can be omitted. For this we give subsets of $V=\mathbb {R} ^{2}$, each of which violates exactly one of the three rules and is indeed not a subspace.

Counterexample: The empty set

We first consider the empty set $U=\emptyset$. This is of course a subset of $\mathbb {R} ^{2}$.

Let us check completeness with respect to of addition, $\forall u,u'\in U:u+u'\in U$, it is satisfied. This is because all statements about the empty set (missing) trivially always hold. In the same way, the completeness of scalar multiplication is satisfied.

However, the third rule is violated: $0\notin U$. That is simply because the empty set contains by definition no elements. The property $0\notin U$ cannot be derived in general from the completeness of addition and of scalar multiplication.

Now, $U$ is not a vector space, because $U$ contains no element, in particular no neutral element of addition. Accordingly, $U$ cannot be a subspace. Be aware that the property $0\in U$ cannot in general be derived from the completeness properties and must be, in principle, separately checked. (However, this step is often seen as obvious)

Counterexample: Vectors with integer entries

Our second example shows that scalar multiplication is actually needed: take the set of integer vectors $U:=\mathbb {Z} ^{2}$. If we identify the vectors with points in $\mathbb {R} ^{2}$, we get some kind of "lattice":

$\mathbb {Z} ^{2}$ as a subset $\mathbb {R} ^{2}$

This set is obviously a subset of $\mathbb {R} ^{2}$ and again the question arises whether it is a subspace. In contrast to the first example now the zero vector $0=(0,0)^{T}$ is contained in $U=\mathbb {Z} ^{2}$. All other axioms of vector addition are also valid. The sum of two vectors from $\mathbb {Z} ^{2}$ is again in $\mathbb {Z} ^{2}$.

Nevertheless, the $\mathbb {Z} ^{2}$ is not a subspace of $\mathbb {R} ^{2}$, because $\mathbb {Z} ^{2}$ is not complete with respect to scalar multiplication. For instance, $v=(1,0)^{T}\in \mathbb {Z} ^{2}$ and ${\textstyle \lambda ={\frac {1}{2}}\in \mathbb {R} }$, but ${\textstyle \lambda \cdot v=\left({\frac {1}{2}},0\right)^{T}}$ is not contained in $\mathbb {Z} ^{2}$. Thus $\mathbb {Z} ^{2}$ does not satisfy all vector space axioms and is therefore not a subspace.

The completeness with respect to scalar multiplication can also not be derived from the other two properties. If we want to prove that $U$ is a subspace, we must always show that for every $u\in U$ and for every scalar $\lambda \in K$, we also have $\lambda \cdot u\in U$.

Counterexample: A cross of coordinate axes

We have already seen in both examples of above that every subspace contains the zero vector and is closed under scalar multiplication. Finally, we want to look at a third and last example, which satisfies the above two conditions, but still does not satisfy all vector space axioms. For this we choose the axis cross, the set formed by union of the two lines through the origin $G:=\{(0,t)^{T}:t\in \mathbb {R} \}$ and $H:=\{(t,0)^{T}:t\in \mathbb {R} \}$. So we consider the subset $U:=G\cup H\subseteq \mathbb {R} ^{2}$. Illustrated in the plane as points, the set looks like an infinite "cross":

The axis cross

Is $U$ a subspace? Obviously, the zero vector $0$ is contained in $U$. Moreover, we have that for any $v\in U$ and $\lambda \in \mathbb {R}$ that also $\lambda v$ is an element of $U$. Thus $U$ is complete under scalar multiplication. Nevertheless, $U$ is not a subspace. To see this, we choose the vectors $v_{1}=(1,0)^{T}$ and $v_{2}=(0,1)^{T}$. Then, we have $v_{1},v_{2}\in U$, but for the sum we have that $v_{1}+v_{2}=(1,1)^{T}\notin U$.

So the completeness under the vector space addition can not be derived from the other properties. That means we always have to check the completeness under the vector space addition to prove that $U$ is a subspace.

Statement and proof of the criterion

We considered an example that a subset $U$ of $V$ is a subspace if it satisfies the following three properties:

• completeness with respect to addition,
• completeness with respect to scalar multiplication, and.
• $0\in U$.

We have seen examples of subsets $U$ of $V$ where one of these properties was not satisfied in each case and which also do not form a subspace of $V$. So we assume that these three properties are necessary and sufficient for a subset to be a subspace. This is the theorem of the subspace criterion, which we will now prove.

Theorem (subspace criterion)

A subset $U$ of a $K$-vector space $V$ with vector addition $+:V\times V\to V$ and scalar multiplication $\cdot :K\times V\to V$ is a subspace exactly if the following three conditions hold:

1. $0_{V}\in U$.
2. For all $v,u\in U$ we have that $v+u\in U$.
3. For all $u\in U$ and for all $\lambda \in K$ we have that $\lambda \cdot u\in U$.

In other words: A subset of a vector space is a subspace if it contains the zero element and is complete with respect to vector addition and scalar multiplication.

Proof (subspace criterion)

The theorem contains an if and only if", which means that we have to show two implications. One direction is: Every subspace satisfies conditions 1, 2 and 3. The other direction can be formulated as follows: Any subset of the vector space that satisfies conditions 1, 2 and 3 must be a subspace.

Proof step: Every subspace satisfies the conditions 1, 2 and 3.

Let $U$ be any subspace of $V$. Then by definition , $U$ is also a vector space. Thus for $U$ all axioms from the definition of a vector space hold.

In particular, this also means that the operations $+:U\times U\to U$ and $\cdot :K\times U\to U$ restricted to $U$ are well-defined. But this is only another formulation of the conditions 2) and 3).

Moreover, since U together with $+$ forms an abelian group, $U$ contains the neutral element $0_{V}$. That is, it we also have that condition 1 holds.

Proof step: If conditions 1, 2 and 3 are satisfied, the subset must be a subspace.

Let $U\subseteq V$ be a subset of $V$ for which the three conditions hold. We need to show that $U$ is a vector space. To do this, we show that $U$ satisfies all properties from the definition of a vector space.

From condition 1, it follows that $U$ is a non-empty set. From conditions 2 and 3 we can deduce that the of $V$ on $U$ restricted links $+:U\times U\to U$ and $\cdot :K\times U\to U$ are well-defined. So we have a non-empty set $U$ with an operation $+$ (vector addition) and an operation $\cdot$ (scalar multiplication).

Now we have to prove that $U$ together with $+$ forms an abelian group and the axioms of scalar multiplication hold. We may use that $V$ is a vector space. From this, by $U\subseteq V$ we can conclude:

• associative law: For all $v,w,z\in U$ we have that: $v+(w+z)=(v+w)+z$
• commutative law: For all $v,w\in U$ we have that: $v+w=w+v$
• scalar distributive law: For all $\lambda ,\mu \in K$ and all $v\in U$ we have that: $(\lambda +\mu )\cdot v=(\lambda \cdot v)+(\mu \cdot v)$
• vectorial distributive law: For all $\lambda \in K$ and all $v,w\in U$ we have that: $\lambda \cdot (v+w)=(\lambda \cdot v)+(\lambda \cdot w)$
• associative law for scalars: For all $\lambda ,\mu \in K$ and all $v\in U$ we have that: $(\lambda \cdot \mu )\cdot v=\lambda \cdot (\mu \cdot v)$
• Neutral element of scalar multiplication: For all $v\in U$ and for $1\in K$ (the neutral element of multiplication in $K$) we have that: $1\cdot v=v$. The 1 is also called neutral element of scalar multiplication.

It remains to establish the axioms existence of a neutral element and existence of an inverse element. The former is given by condition 1. So it suffices to show that for every $u\in U$ there exists a ${\tilde {u}}\in U$ such that $u+{\tilde {u}}=0_{V}$. But now, for any $u\in U$ condition 3 implies

$-u=(-1)\cdot u\in U$

So ${\tilde {u}}:=(-1)\cdot u$ is the inverse element to $u$ and contained in $U$.

Hint

Instead of $0_{V}\in U$ in some mathematical texts also $U\neq \emptyset$ is required. Both requirements are equivalent (if one adds the other two conditions 2 and 3): If there is a $v\in U$, then because of the completeness of scalar multiplication also $0_{V}=0_{K}\cdot v$ must be contained in $U$.

Hint

Another equivalent formulation of the criterion is:

A non-empty subset $U\subseteq V$ is a subspace if for any two vectors $u,v\in U$ also every linear combination $\lambda u+\mu v$, with an arbitrary $\lambda ,\mu \in K$ lies in $U$.

It is easy to convince ourselves of the equivalence of both formulations:

Since $U$ is not empty, there exists some $u\in U$, and therefore also $0_{K}\cdot u+0_{K}\cdot u=0_{V}$ lies in $U$ (point 1). With $u$ also $\lambda \cdot u=\lambda \cdot u+0_{K}\cdot 0_{V}$ is contained in $U$ (point 3). Finally, with $u,v\in U$, we also have that $u+v=1_{K}\cdot u+1_{K}\cdot v$ is in $U$ (point 2).

Conversely, $U$ is not empty by 1. Further, if it contains some elements $u$ and $v$, then by means of 3, also $\lambda \cdot u$ and $\mu \cdot v$ must lie in $U$ and from 2 we finally get $\lambda \cdot u+\mu \cdot v\in U$.

How to prove that a set is a subspace

General proof structure

Before we examine the procedure in more detail with an example, it is useful to understand the general proof structure. How can we show that a set $U$ is a subspace of a $K$-vector space $V$? We can use the subspace criterion that we just established. In order for us to use the criterion we must first check the preconditions. The theorem requires that $U\subseteq V$. Then, to show that $U$ is a subspace, we need to check the three properties from the criterion. So, in total, we need to show the following four statements:

1. $U\subseteq V$
2. $0\in U$.
3. For all $v,u\in U$ we have that $v+u\in U$.
4. For all $u\in U$ and for all $\lambda \in K$ we have that $\lambda \cdot u\in U$.

Hint

We can also replace the second statement "$0\in U$" by "$U\neq \emptyset$". If we add the conditions 3. and 4. the two statements are equivalent.

What do proofs of these statements look like? The proof structure of these statements looks like this:

1. Proof of "$U\subseteq V$": Let $u\in U$. Then, we have that $u\in V$, since ...
2. Proof of "$0\in U$": Let $0\in V$ be the zero vector. Then, we have that $0\in U$, since ...
3. Proof of "$\forall \ v,u\in U:\ v+u\in U$": Let $u,v\in U$ be arbitrary. We have that ... and hence $u+v\in U$.
4. Proof of "$\forall \ u\in U\ \forall \lambda \in K:\ \lambda \cdot u\in U$": Let $\lambda \in K$ and $u\in U$ be arbitrary. Since ... we know that $\lambda \cdot u\in U$.

Finding a proof idea

We consider an easy example problem, in order to get an idea for the proof:

Exercise

Let $u\in \mathbb {R} ^{2}$ and $U:=\{\lambda \cdot u|\ \lambda \in \mathbb {R} \}$. Show that: $U$ is a subspace of the $\mathbb {R}$-vector space $\mathbb {R} ^{2}$.

We want to apply the subspace criterion to $U$. To do this, we check the premises of the theorem according to the above scheme.

• $U\subseteq \mathbb {R} ^{2}$: let $v\in U$. By definition of $U$, there is some $\lambda \in \mathbb {R}$ with $v=\lambda \cdot u$. Since $\mathbb {R} ^{2}$ is a vector space, it follows that $v=\lambda \cdot u\in \mathbb {R} ^{2}$.
• $0\in U$: We have seen in "Vector space: properties" that for every vector $v\in \mathbb {R} ^{2}$ we have $0\cdot v=0$. So we have that also $0\cdot u=0$. Thus we get $0\cdot U$.
• completeness of addition: Let $v,w\in U$. By definition of $U$, there exist $\lambda ,\mu \in \mathbb {R}$ with $v=\lambda \cdot u$ and $w=\mu \cdot u$. Since $v,w\in \mathbb {R} ^{2}$, we can add them: $v+w=\lambda \cdot u+\mu \cdot u=(\lambda +\mu )\cdot u$. Because of $\lambda +\mu \in \mathbb {R}$ we finally obtain $v+w\in U$.
• completeness of scalar multiplication: Let $v\in U$ and let $\mu \in \mathbb {R}$. By definition of $U$ there is a $\lambda \in \mathbb {R}$ with $v=\lambda \cdot u$. Since $v\in \mathbb {R} ^{2}$ we can multiply it with $\mu$: $\mu \cdot v=\mu \cdot (\lambda \cdot u)=(\mu \cdot \lambda )\cdot u$. Because of $\mu \cdot \lambda \in \mathbb {R}$ it follows that $\mu \cdot v\in U$.

This shows that all conditions hold, so by the subspace criterion, $U$ is indeed a subspace of $\mathbb {R} ^{2}$.

Writing down the proof

Now we write down the proof, by generalizing the simple example to "any vector space":

Proof

We check the premises of the theorem according to the above scheme.

• $U\subseteq \mathbb {R} ^{2}$: let $v\in U$. Then there exists a $\lambda \in \mathbb {R}$ with $v=\lambda \cdot u$. Hence, $v\in \mathbb {R} ^{2}$.
• $0\in U$: because of $0\cdot u=0$, we have $0\in U$.
• completeness of addition: let $v,w\in U$. Then there exist $\lambda ,\mu \in \mathbb {R}$ with $v=\lambda \cdot u$ and $w=\mu \cdot u$. We calculate: $v+w=\lambda \cdot u+\mu \cdot u=(\lambda +\mu )\cdot u\in U$.
• completeness of scalar multiplication: let $v\in U$ and let $\mu \in \mathbb {R}$. Then there is a $\lambda \in \mathbb {R}$ with $v=\lambda \cdot u$. We calculate $\mu \cdot v=\mu \cdot (\lambda \cdot u)=(\mu \cdot \lambda )\cdot u\in U$.

This shows that all the preconditions hold. So it follows from the subspace criterion that $U$ is a subspace of $\mathbb {R} ^{2}$.

Examples and counterexamples for subspaces

Examples

In the following, we will look at first examples to consolidate our idea of subspaces and to avoid misinterpretations. We will also use the subspace criterion.

Trivial subspaces

In every $K$-vector space $V$, there are tow "trivial subspaces":

Example (Trivial subspaces)

Let $V$ be a vector space. First, the zero vector space $\{0_{_{V}}\}$ is always a subspace of $V$. This is a vector space and since $0_{_{V}}\in V$, we also have $\{0_{_{V}}\}\subseteq V$.

On the other hand, the complete vector space $V$ is also a subspace of $V$. Finally we have that $V\subseteq V$ and $V$ is a vector space.

Since $\{0_{_{V}}\}$ and $V$ are always subspaces for every vector space $V$, they are called trivial subspaces.

the following example with $V=\mathbb {R}$ shows that sometimes, only the trivial subspaces are subspaces:

Example (subspaces of $\mathbb {R}$)

$\mathbb {R}$ as an $\mathbb {R}$-vector space has only the trivial subspaces $\lbrace 0\rbrace$ and $\mathbb {R}$, as one can easily verify:

Let $U\subseteq \mathbb {R}$ be a subspace with $U\neq \{0\}$. We want to show $U=\mathbb {R}$. Since $U\neq \{0\}$, there exists a real number $0\neq u\in U$. Because $U$ is complete under scalar multiplication, we have that for all $a\in \mathbb {R}$ it holds that $a={\frac {a}{u}}\cdot u\in U$. Hence, $U=\mathbb {R}$.

Warning

Although $\mathbb {Q}$ is a subfield of $\mathbb {R}$, the set $\mathbb {Q}$ is not a subspace of $\mathbb {R}$-vector space $\mathbb {R}$. For instance, for ${\tfrac {1}{2}}\in \mathbb {Q}$ we have that the scalar multiple $\pi \cdot {\tfrac {1}{2}}\notin \mathbb {Q}$.

Line through the origin

In this example, we consider a straight line $U$ in $\mathbb {R} ^{2}$ that passes through the origin. Let the equation of the line be given by $y=2x$. So we can write down the straight line as a set of points:

$U=\left\{{\begin{pmatrix}x\\y\end{pmatrix}}\in \mathbb {R} ^{2}{\bigg |}y=2x\right\}=\left\{{\begin{pmatrix}x\\y\end{pmatrix}}\in \mathbb {R} ^{2}{\bigg |}2x-y=0\right\}.$

Exercise

Show that $U$ is a subspace of the $\mathbb {R}$-vector space $\mathbb {R} ^{2}$.

Proof

We want to use the subspace criterion above. Because of $0=2\cdot 0$ we have that $(0,0)^{T}\in U$. Let $(x,y)^{T},(x',y')^{T}\in U$, i.e. $y=2x$ and $y'=2x'$. From this we obtain $y+y'=2(x+x')$ and hence $(x,y)^{T}+(x',y')^{T}=(x+x',y+y')^{T}\in U$. Let $(x,y)^{T}\in U$ and $\lambda \in \mathbb {R}$. Since $y=2x$ we have that also $\lambda y=2\lambda x$ and hence $\lambda \cdot (x,y)^{T}=(\lambda x,\lambda y)^{T}\in U$. So we have shown that all the conditions of the subspace criterion are satisfied. Thus, $U$ is a subspace of $\mathbb {R} ^{2}$.

Alternative proof

We can also see in another way that $U$ is a subspace. To do this, we consider the characterization of $U$:

$U=\left\{{\begin{pmatrix}x\\y\end{pmatrix}}\in \mathbb {R} ^{2}{\bigg |}y=2x\right\}=\left\{{\begin{pmatrix}x\\2x\end{pmatrix}}{\bigg |}x\in \mathbb {R} \right\}=\left\{x\cdot {\begin{pmatrix}1\\2\end{pmatrix}}{\bigg |}x\in \mathbb {R} \right\}.$

Now we recall the section "How to prove that a set is a subspace", where we saw that such subsets form subspaces. These subsets were of the form $U:=\{x\cdot u|x\in \mathbb {R} \}$ with some $u\in \mathbb {R} ^{2}$. In this example $u=(1,2)^{T}$.

A subspace of $\mathbb {R} ^{3}$

In the following exercise we consider a plane in $\mathbb {R} ^{3}$ which passes through $0$. We show that this plane always forms a subspace of $\mathbb {R} ^{3}$.

Exercise (plane within $\mathbb {R} ^{3}$)

Let $U=\left\{(u_{1},u_{2},u_{3})^{T}\in \mathbb {R} ^{3}\mid u_{1}-u_{2}-u_{3}=0\right\}\subseteq \mathbb {R} ^{3}$. Show that $U$ is a subspace of $\mathbb {R} ^{3}$.

Proof (plane within $\mathbb {R} ^{3}$)

For the proof we have to show that the subspace criterion is satisfied. We divide this proof into three steps:

Proof step: $0\in U$

We have that $0=(0,0,0)^{T}\in U$, since $0-0-0=0$.

Proof step: $U$ is complete with respect to addition

Consider two vectors $a=(a_{1},a_{2},a_{3})^{T}$ and $b=(b_{1},b_{2},b_{3})^{T}$ from $U$. By definition of $U$, we have that $a_{1}-a_{2}-a_{3}=0$ and $b_{1}-b_{2}-b_{3}=0$. Now, under addition,

$a+b={\begin{pmatrix}a_{1}+b_{1}\\a_{2}+b_{2}\\a_{3}+b_{3}\end{pmatrix}}$

So

${\begin{aligned}&(a_{1}+b_{1})-(a_{2}+b_{2})-(a_{3}+b_{3})\\[0.3em]=&\underbrace {a_{1}-a_{2}-a_{3}} _{=0}+\underbrace {b_{1}-b_{2}-b_{3}} _{=0}=0\end{aligned}}$

Hence $a+b\in U$, which establishes completeness of addition.

Proof step: $U$ is complete with respect to scalar multiplication

Let $\lambda \in \mathbb {R}$ and let $a=(a_{1},a_{2},a_{3})^{T}\in U$. So we have that $a_{1}-a_{2}-a_{3}=0$. Consequently,

$\lambda \cdot a=\lambda \cdot {\begin{pmatrix}a_{1}\\a_{2}\\a_{3}\end{pmatrix}}={\begin{pmatrix}\lambda \cdot a_{1}\\\lambda \cdot a_{2}\\\lambda \cdot a_{3}\end{pmatrix}}$

So we have:

${\begin{aligned}\lambda \cdot a_{1}-\lambda \cdot a_{2}-\lambda \cdot a_{3}&=\lambda \cdot (\underbrace {a_{1}-a_{2}-a_{3}} _{=0})\\[0.3em]&=\lambda \cdot 0=0\end{aligned}}$

Thus $\lambda \cdot a\in U$ and hence, $U$ is also complete under scalar multiplication.

We have proved the conditions of the subspace criterion and thus shown that $U$ is a subspace.

A subspace of the polynomials

Let us now turn to a slightly more abstract example, namely the polynomial vector space. We show that the subset of polynomials of degree less or equal $n$ is a subspace:

Theorem (polynomials of degree $\leq n$)

Let $n\in \mathbb {N} _{0}$. Then $K[X]_{\leq n}:=\lbrace f\in K[X]{\big |}\operatorname {deg} (f)\leq n\rbrace \subseteq K[X]$ is a subspace of the vector space of polynomials $K[X]$.

Proof (polynomials of degree $\leq n$)

We must show that the three conditions of the subspace criterion hold:

Proof step: $0\in K[X]_{\leq n}$

We have $\operatorname {deg} (0)=-\infty \leq n$, so $0\in K[X]_{\leq n}$

Proof step: $K[X]_{\leq n}$ is complete with respect to addition

Let $f,g\in K[X]_{\leq n}$. Then $\operatorname {deg} (f)\leq n,\operatorname {deg} (g)\leq n$. Thus, we can find $f_{i},g_{i}\in K$ with $0\leq i\leq n$, such that $f=\sum _{i=0}^{n}f_{i}x^{i}$ and $g=\sum _{i=0}^{n}g_{i}x^{i}$ holds. So we arrive at $f+g=\sum _{i=0}^{n}(f_{i}+g_{i})x^{i}$, which means that the degree $\operatorname {deg} (f+g)\leq n$. So indeed, $f+g\in K[X]_{\leq n}$

Proof step: $K[X]_{\leq n}$ is complete with respect to scalar multiplication

Let $f\in K[X]_{\leq n}$ and $\lambda \in K$. Then $\operatorname {deg} (f)\leq n$. Thus, we can find $f_{i}\in K$ with $0\leq i\leq n$, such that $f=\sum _{i=0}^{n}f_{i}x^{i}$ holds. So we arrive at $\lambda \cdot f=\sum _{i=0}^{n}(\lambda f_{i})x^{i}$, which implies for our degree that $\operatorname {deg} (\lambda \cdot f)\leq n$. So indeed, $\lambda \cdot f\in K[X]_{\leq n}$.

Now all three subspace criteria are fulfilled, and hence, $K[X]_{\leq n}\subseteq K[X]$ is indeed a subspace.

Counterexamples

We have already seen above three examples for subsets of $\mathbb {R} ^{2}$ which do not form a subspace. For a better understanding we now also consider counterexamples for other vector spaces.

Line that does NOT pass through the origin

Example

We have considered this straight line in the examples:

$U=\left\{{\begin{pmatrix}x\\y\end{pmatrix}}\in \mathbb {R} ^{2}{\bigg |}2x-y=0\right\},$

which describes a subspace of $\mathbb {R} ^{2}$. Now we displace it up by distance one and get the following set:

$G:=\left\{{\begin{pmatrix}x\\y\end{pmatrix}}\in \mathbb {R} ^{2}{\bigg |}2x-y+1=0\right\}.$

The sets U and G

Bounded subset of $\mathbb {R} ^{3}$

Example

We consider the $\mathbb {R}$-vector space $\mathbb {R} ^{3}$. Let

$W:=\{(x,y,z)^{T}\in \mathbb {R} ^{3}\mid x^{2}+y^{2}+z^{2}\leq 5\}\subseteq \mathbb {R} ^{3}.$

$W$ is not a subspace of $\mathbb {R} ^{3}$. This is because $W$ is not closed under scalar multiplication. We know $(1,0,0)^{T}\in W$. But $3\cdot (1,0,0)^{T}=(3,0,0)^{T}\notin W$, because $3^{2}+0^{2}+0^{2}=9>5$.

Alternatively, we can show that $W$ is not complete with respect to addition. For example, $(2,0,0)^{T}\in W$ and $(0,2,0)^{T}\in W$, but $(2,0,0)^{T}+(0,2,0)^{T}=(2,2,0)^{T}\notin W$ because $2^{2}+2^{2}=8>5$.

Graph of a non-linear function

Example

Now, consider the $\mathbb {R}$-vector space $\mathbb {R} ^{3}$. Let

$G=\{(x,y,xy)^{T}\in \mathbb {R} ^{3}\mid x,y\in \mathbb {R} \}.$

The set $G$ is not a subspace of $\mathbb {R} ^{3}$, because it is not complete with respect to addition. To see this, we consider the two elements $(1,1,1)^{T},(2,0,0)^{T}\in G$. Then, we have $(1,1,1)^{T}+(2,0,0)^{T}=(3,1,1)^{T}\notin G$, since $3\cdot 1=3\neq 1$. Intuitively, the set $G$ fails to be a subspace, because it is a "curved surface" and not a plain one through the origin.

polynomials with degree $n$ is not a subspace

Example

As a more abstract example, consider now the polynomial vector space $K[X]$ for any field $K$. Let

$M=\{p\in K[X]\mid \deg(p)=5\}.$

We show that $M$ does not form a subspace of $K[X]$ since it is not complete with respect to addition. To see this, consider the two elements $X^{5}+1,-X^{5}\in M$. Then, we have $X^{5}+1-X^{5}=1\notin M$, since $\deg(1)=0\neq 5$.

Other criteria for subspaces

We will now learn about three criteria that make proofs easier in many cases. For this we will anticipate and use the notion of a linear map.

Kernel of a linear map

In the examples for subspaces, we considered the following sets:

${\begin{aligned}U_{1}&=\left\{{\begin{pmatrix}x\\y\end{pmatrix}}\in \mathbb {R} ^{2}{\bigg |}\,2x-y=0\right\}\subseteq \mathbb {R} ^{2},\\[0.5em]U_{2}&=\left\{{\begin{pmatrix}a\\b\\c\end{pmatrix}}\in \mathbb {R} ^{3}{\bigg |}\,a-b-c=0\right\}\subseteq \mathbb {R} ^{3}\end{aligned}}$

We proved above that $U_{1}$ and $U_{2}$ are subspaces of $\mathbb {R} ^{2}$ and $\mathbb {R} ^{3}$, respectively. The two sets are defined according to the same principle. The subspaces contain all vectors that satisfy certain conditions. The conditions are

${\begin{aligned}2x-y=0{\text{ and }}a-b-c=0\end{aligned}}.$

These look very similar. Both conditions tell us that some expression in $x$ and $y$ or in $a,b$ and $c$ should be zero. This expression is linear in $x,y$ and $a,b,c$, respectively. That is, both formulas can also be written down as linear maps:

${\begin{aligned}f&\colon \mathbb {R} ^{2}\to \mathbb {R} ;\quad (x,y)^{T}\mapsto 2x-y\\[0.5em]g&\colon \mathbb {R} ^{3}\to \mathbb {R} ;\quad (a,b,c)^{T}\mapsto a-b-c\end{aligned}}$

With these, we can rewrite our subspaces as

${\begin{aligned}U_{1}&=\left\{{\begin{pmatrix}x\\y\end{pmatrix}}\in \mathbb {R} ^{2}{\bigg |}\,f{\begin{pmatrix}x\\y\end{pmatrix}}=0\right\}\subseteq \mathbb {R} ^{2},\\[0.5em]U_{2}&=\left\{{\begin{pmatrix}a\\b\\c\end{pmatrix}}\in \mathbb {R} ^{3}{\bigg |}\,g{\begin{pmatrix}a\\b\\c\end{pmatrix}}=0\right\}\subseteq \mathbb {R} ^{3}\end{aligned}}$

Thus $U_{1}$, as well as $U_{2}$, is the kernel of a linear map. One can show, in general, that the kernel of a linear map is always a subspace.

Image of a linear map

Just as with the kernel, we can show in general that the image of a linear map is always a subspace. This sometimes allows us to find simpler proofs that a given set is a subspace.

Example (Linear map on the polynomials of degree smaller or equal to 1)

We consider an example of a linear map of $V:=\mathbb {R} [X]_{\leq 1}$, defined on the vector space of real polynomials of degree smaller or equal to 1 and mapping into $\mathbb {R} ^{3}$.

We define a map that assigns to a polynomial in vector space $V$ the vector of its function values at positions $0$, $2$ and $4$. So we define the linear map $f:V\to \mathbb {R} ^{3}$ by

$f(p)={\begin{pmatrix}p(0)\\p(2)\\p(4)\end{pmatrix}}$

We recall how the addition and scalar multiplication of polynomials is defined: For two polynomials $p_{1},p_{2}\in V$ the sum $p_{1}+p_{2}$ is defined via $(p_{1}+p_{2})(x)=p_{1}(x)+p_{2}(x)$ for all $x$. For a scalar $\lambda \in \mathbb {R}$ and a polynomial $p\in V$ the scalar multiplication $\lambda \cdot p$ is given by $(\lambda \cdot p)(x)=\lambda \cdot p(x)$.

First, we prove that $f$ is indeed a linear map. For this we have to prove the additivity and the homogeneity. So we choose $p_{1},p_{2}\in V$ and $\lambda \in \mathbb {R}$.

additivity:

${\begin{aligned}f(p_{1}+p_{2})&={\begin{pmatrix}(p_{1}+p_{2})(0)\\(p_{1}+p_{2})(2)\\(p_{1}+p_{2})(4)\end{pmatrix}}={\begin{pmatrix}p_{1}(0)+p_{2}(0)\\p_{1}(2)+p_{2}(2)\\p_{1}(3)+p_{2}(4)\end{pmatrix}}\\[0.3em]&={\begin{pmatrix}p_{1}(0)\\p_{1}(2)\\p_{1}(4)\end{pmatrix}}+{\begin{pmatrix}p_{2}(0)\\p_{2}(2)\\p_{2}(4)\end{pmatrix}}=f(p_{1})+f(p_{2}).\end{aligned}}$

homogeneity:

${\begin{aligned}f(\lambda p)&={\begin{pmatrix}(\lambda p)(0)\\(\lambda p)(2)\\(\lambda p)(4)\end{pmatrix}}={\begin{pmatrix}\lambda \cdot p(0)\\\lambda \cdot p(2)\\\lambda \cdot p(4)\end{pmatrix}}=\lambda \cdot {\begin{pmatrix}p(0)\\p(2)\\p(4)\end{pmatrix}}=\lambda \cdot f(p).\end{aligned}}$

Thus we know that $U=\{(p(0),p(2),p(4))^{T}\mid p\in V\}$ is a subspace of $\mathbb {R} ^{3}$.

If we look at the calculation again, we realize that the $x$-values $0,2$ and $4$ did not matter at all. We could have chosen other ones, as well. The proof goes the same way for the statement:

Let $r,s,t\in \mathbb {R}$ (and these numbers may or may not be different). The map $f:V\to \mathbb {R} ^{3}$, $f(p)=(p(r),p(s),p(t))^{T}$ is linear and the image of $f$ is a subspace of $\mathbb {R} ^{3}$.

We know that $U=f(V)\subseteq \mathbb {R} ^{3}$ is a subspace. We also find an explicit representation for $U$: a polynomial $p\in V$ has the form $p(x)=ax+b$ for $a$ and $b\in \mathbb {R}$. Moreover, $p(0)=b$ and $p(2)=2a+b$ and $p(4)=4a+b$.

The subspace $U$ thus has the form

$U=\left\{{\begin{pmatrix}b\\2a+b\\4a+b\end{pmatrix}}{\Bigg |}a,b\in \mathbb {R} \right\}=\left\{a\cdot {\begin{pmatrix}0\\2\\4\end{pmatrix}}+b\cdot {\begin{pmatrix}1\\1\\1\end{pmatrix}}{\Bigg |}a,b\in \mathbb {R} \right\}.$

So it is a plane in $\mathbb {R} ^{3}$.

Span of vectors

We will later prove a general theorem that every product of a subset $M\subseteq V$ is a subspace of $V$.

This allows us to shorten one of the proofs above:

We proved above that for $u\in \mathbb {R} ^{2}$ and $U:=\{\lambda \cdot u|\ \lambda \in \mathbb {R} \}$ the set $U$ is a subspace of the $\mathbb {R}$-vector space $\mathbb {R} ^{2}$.

The set $U$ is exactly the span of the set $M=\{u\}$ in the vector space $V=\mathbb {R} ^{2}$. The span of $M$ is exactly all linear combinations of elements from $M$. In our case, these are even the multiples of $u$. Therefore $U$ is a subspace of $\mathbb {R} ^{2}$.

Exercises

Exercise (A subspace of $\mathbb {R} ^{2}$?)

Is $U=\left\{x={\begin{pmatrix}x_{1}\\x_{2}\end{pmatrix}}\mid x_{1}^{2}=x_{2}^{2}\right\}$ a subspace of $\mathbb {R} ^{2}$?

How to get to the proof? (A subspace of $\mathbb {R} ^{2}$?)

The equation $x_{1}^{2}=x_{2}^{2}$ is equivalent to $x_{1}=x_{2}\vee x_{1}=-x_{2}$. These equations are the diagonals in $\mathbb {R} ^{2}$. This set is just a "45-degree-rotated" version of the axis cross in this example and hence NOT a subspace. Again, the set is complete with respect to scalar multiplication, but not complete with respect to addition. We may take a vector from each of the first and second bisectors to find a counterexample.

Solution (A subspace of $\mathbb {R} ^{2}$?)

The set $U$ is not a subspace, because $u_{1}=(1,1)^{T}$ and $u_{2}=(-1,1)^{T}$ are in $U$. But $u_{1}+u_{2}=(0,2)^{T}$ is not in $U$.

Exercise (A subspace of$\mathbb {R} ^{2}$? (Teil II))

Is $U=\left\{x={\begin{pmatrix}x_{1}\\x_{2}\end{pmatrix}}\mid x_{1}^{3}=x_{2}^{3}\right\}$ a subspace of $\mathbb {R} ^{2}$?

How to get to the proof? (A subspace of$\mathbb {R} ^{2}$? (Teil II))

After the last exercise we are somewhat warned that powers can be critical in the conditions, as they "curve surfaces". But $x_{1}^{3}=x_{2}^{3}$ is equivalent for real numbers to $x_{1}=x_{2}$ (our surface is flat), and all elements of $U$ are thus the multiples of the vector ${\begin{pmatrix}1\\1\end{pmatrix}}$.

Solution (A subspace of$\mathbb {R} ^{2}$? (Teil II))

$U$ is a subspace of $\mathbb {R} ^{2}$. Since $x_{1}^{3}=x_{2}^{3}\iff x_{1}=x_{2}$ we have

$U=\left\{x={\begin{pmatrix}x_{1}\\x_{2}\end{pmatrix}}\mid x_{1}=x_{2}\right\}=\left\{t\cdot {\begin{pmatrix}1\\1\end{pmatrix}},t\in \mathbb {R} \right\}.$

According to a Example from above, $U$ is a subspace of $\mathbb {R} ^{2}$.

Exercise (A subspace of $\mathbb {R} ^{3}$?)

Is $U=\left\{x={\begin{pmatrix}x_{1}\\x_{2}\\x_{3}\end{pmatrix}}\in \mathbb {R} ^{3}{\bigg |}x=\alpha \cdot {\begin{pmatrix}1\\2\\3\end{pmatrix}}+\beta \cdot {\begin{pmatrix}2\\3\\1\end{pmatrix}},\alpha ,\beta \in \mathbb {R} ,x_{2}=0\right\}$ a subspace of $V=\mathbb {R} ^{3}$?

How to get to the proof? (A subspace of $\mathbb {R} ^{3}$?)

We check the subspace criterion, as described above in this example.

Solution (A subspace of $\mathbb {R} ^{3}$?)

Since we consider a subset of $V=\mathbb {R} ^{3}$, we have $U\subseteq V$.

The zero vector $0$ satisfies both conditions: For $\alpha =\beta =0$ we have $x=0\cdot {\begin{pmatrix}1\\2\\3\end{pmatrix}}+0\cdot {\begin{pmatrix}2\\3\\1\end{pmatrix}}=0$, and the second component of the zero vector is zero. So $U$ is not empty.

Now we have to show that for $u,v\in U$ also $u+v\in U$ holds. To do this, we again check both conditions separately.

If $u=\alpha _{1}\cdot (1,2,3)^{T}+\beta _{1}\cdot (2,3,1)^{T}$ and $v=\alpha _{2}\cdot (1,2,3)^{T}+\beta _{2}\cdot (2,3,1)^{T}$, then $u+v=(\alpha _{1}+\alpha _{2})\cdot (1,2,3)^{T}+(\beta _{1}+\beta _{2})\cdot (2,3,1)^{T}$. So $u+v$ again has the required form.

If the second components of $u$ and $v$ are zero, then this is also true for the second component of $u+v$.

Now the last thing we have to prove is that with $u\in U$ and $\lambda \in \mathbb {R}$ we also have $\lambda \cdot u\in U$.

We see that $\lambda \cdot u=(\lambda \cdot \alpha _{1})\cdot (1,2,3)^{T}+(\lambda \cdot \beta _{1})\cdot (2,3,1)^{T}$, so it has again the required form. With $u$ the second component of $\lambda \cdot u$ is also zero.

Thus $U$ is indeed a subspace of $V$.

Solution (A subspace of $\mathbb {R} ^{3}$? (Alternative solution))

Later we have more methods available and can perform the subspace proof with more abstract methods.

We see that $U=U_{1}\cap U_{2}$, where $U_{1}$ is the span of $(1,2,3)^{T}$ and $(2,3,1)^{T}$. The span is always a subspace.

$U_{2}$ is the kernel of the linear map $f:\mathbb {R} ^{3}\to R$, $f((x_{1},x_{2},x_{3})^{T})=x_{2}$. The kernel of a linear map is also always a subspace.

In the next section we prove that the intersection of two subspaces is again a subspace, so we can identify that $U$ is a subspace of $\mathbb {R} ^{3}$.

Exercise (A subspace of $K^{3}$?)

Let $K$ be any field and $V=K^{3}$. Let $c\in K$. We define $U=\{\,(x_{1},x_{2},x_{3})\in K^{3}\,\vert \,x_{1}+x_{2}+x_{3}=c\,\}$. What conditions must $c$ satisfy for $U$ to be a subspace of $V$?

Solution (A subspace of $K^{3}$?)

We first assume that $U$ is a subspace of $V$. Then $(0,0,0)\in U$ must hold. But according to the definition of $U$ we have that $0+0+0=c$. So we know that $U$ can be a vector space only if $c=0$.

We now want to check whether $U$ is indeed a subspace in the case $c=0$. For this, we use the subspace criterion and assume $c=0$:

For $(x_{1},x_{2},x_{3})=(0,0,0)$ we have that $x_{1}+x_{2}+x_{3}=0+0+0=0=c$. Hence, $0_{V}\in U$.

If $x=(x_{1},x_{2},x_{3})$ and $y=(y_{1},y_{2},y_{3})$ in $U$, then we have that $x_{1}+x_{2}+x_{3}=c=0$ and $y_{1}+y_{2}+y_{3}=c=0$. Thus,$(x_{1}+y_{1})+(x_{2}+y_{2})+(x_{3}+y_{3})=0$, so $x+y\in U$.

If $x=(x_{1},x_{2},x_{3})\in U$, then we have that $x_{1}+x_{2}+x_{3}=c=0$. For every $\lambda \in K$ we have that also $\lambda x_{1}+\lambda x_{2}+\lambda x_{3}=\lambda (x_{1}+x_{2}+x_{3})=0$, so $\lambda x\in U$.

Thus the conditions of the subspace criterion hold and $U$ is a subspace of $V$ for $c=0$.