Subspace Criteria in Abstract Vector Spaces 🌟

students, in this lesson you will learn how to tell whether a set is a subspace of a vector space. This idea matters because subspaces are the smaller “vector spaces inside vector spaces” that show up everywhere in linear algebra, from solving systems of equations to studying transformations and geometry.

What you will learn

By the end of this lesson, you should be able to:

Explain what a subspace is and why it matters.
Use the subspace test to decide whether a set is a subspace.
Check examples and non-examples with clear reasoning.
Connect subspaces to the bigger picture of abstract vector spaces.

Think of a vector space like a large collection of valid vectors. A subspace is a special subset that still behaves like a vector space on its own. That means it must stay “closed” under the same operations. In real life, this is similar to a club within a school that still follows all the school rules. If the club starts breaking the rules, it is no longer a proper part of the school system 📚.

What is a subspace?

A subspace of a vector space $V$ is a subset $W \subseteq V$ that is itself a vector space using the same addition and scalar multiplication as $V$.

That sounds simple, but the key is that $W$ must keep the vector space structure. In other words, if you pick vectors in $W$ and perform the allowed operations, you must stay inside $W$.

For example, in $\mathbb{R}^3$, the set of all vectors on a plane through the origin is a subspace. Why? Because adding two vectors in that plane gives another vector in the plane, and multiplying a vector by any scalar keeps you in the plane.

But a plane that does not pass through the origin is not a subspace. It may look like a flat surface, but it fails an important rule: the zero vector must be included. Since subspaces must contain the zero vector, any shifted plane misses the mark.

The subspace criteria

Instead of checking every vector space axiom one by one, mathematicians use a shortcut called the subspace test.

A nonempty subset $W$ of a vector space $V$ is a subspace if and only if these three conditions hold:

$\mathbf{0} \in W$.
If $\mathbf{u}, \mathbf{v} \in W$, then $\mathbf{u}+\mathbf{v} \in W$.
If $\mathbf{u} \in W$ and $c$ is any scalar, then $c\mathbf{u} \in W$.

These are the subspace criteria. They are powerful because they test exactly what is needed.

You may also see a shorter version:

$W$ is nonempty,
closed under addition,
closed under scalar multiplication.

Why does nonempty matter? Because if a set is empty, it cannot contain the zero vector. And if a set contains the zero vector and is closed under scalar multiplication, it automatically contains $c\mathbf{0}=\mathbf{0}$ for any scalar $c$.

Why the zero vector matters

The zero vector is the additive identity. For any vector $\mathbf{v}$ in a vector space, $\mathbf{v}+\mathbf{0}=\mathbf{v}$.

If a set does not include $\mathbf{0}$, it cannot be a vector space. This is one of the fastest ways to eliminate a candidate.

Example: consider the set of all vectors in $\mathbb{R}^2$ satisfying $x+y=1$.

The zero vector in $\mathbb{R}^2$ is $(0,0)$, but $(0,0)$ does not satisfy $0+0=1$. So this set is not a subspace.

This example is common because it shows a flat geometric set that fails the subspace test simply because it is shifted away from the origin.

Checking closure under addition and scalar multiplication

Closure means “stays inside the set after the operation.” This is the heart of the subspace test.

Example 1: A line through the origin

Let $W=\{(x,2x):x\in\mathbb{R}\}$ in $\mathbb{R}^2$.

Check the criteria:

Zero vector: if $x=0$, then $(0,0)\in W$.
Addition: if $(x,2x)$ and $(y,2y)$ are in $W$, then

$$ (x,2x)+(y,2y)=(x+y,2x+2y)=(x+y,2(x+y)),$$

which is still in $W$.

Scalar multiplication: if $c$ is a scalar, then

$$c(x,2x)=(cx,2cx),$$

which is also in $W$.

So $W$ is a subspace.

Example 2: A set that fails addition

Let $S=\{(x,y)\in\mathbb{R}^2:x+y=1\}$.

Pick two vectors in $S$, such as $(1,0)$ and $(0,1)$. Both satisfy $x+y=1$.

But their sum is

$$ (1,0)+(0,1)=(1,1), $$

and $1+1=2$, not $1$.

So $S$ is not closed under addition. Therefore, $S$ is not a subspace.

Example 3: A set that fails scalar multiplication

Let $T=\{(x,y)\in\mathbb{R}^2: x\ge 0, y\ge 0\}$, the first quadrant.

If $(1,2)\in T$, then multiplying by $-1$ gives

$$ -1(1,2)=(-1,-2), $$

which is not in $T$.

So $T$ is not closed under scalar multiplication, and it is not a subspace.

This is a common mistake: a set can look reasonable geometrically, but if negative scalars throw vectors out of the set, it cannot be a subspace.

A useful shortcut for proofs

There is a compact version of the subspace test that is often used in proofs:

A subset $W$ of a vector space $V$ is a subspace if and only if for all $\mathbf{u},\mathbf{v}\in W$ and all scalars $a,b$,

$$ a\mathbf{u}+b\mathbf{v}\in W. $$

This single condition combines closure under addition and scalar multiplication.

Why is it enough? Because:

choosing $a=1$ and $b=1$ gives closure under addition,
choosing $b=0$ gives closure under scalar multiplication.

This version is especially useful when $W$ is defined by equations.

Example 4: Solution set of a homogeneous equation

Consider the set

$$ W=\{(x,y,z)\in\mathbb{R}^3: x-2y+z=0\}. $$

To test closure, suppose $\mathbf{u}=(x_1,y_1,z_1)$ and $\mathbf{v}=(x_2,y_2,z_2)$ are in $W$. Then

$$ x_1-2y_1+z_1=0 \quad \text{and} \quad x_2-2y_2+z_2=0. $$

For scalars $a,b$, look at $a\mathbf{u}+b\mathbf{v}$:

$$ a\mathbf{u}+b\mathbf{v}=(ax_1+bx_2, ay_1+by_2, az_1+bz_2). $$

Now compute the defining expression:

$$ (ax_1+bx_2)-2(ay_1+by_2)+(az_1+bz_2) $$

$$=a(x_1-2y_1+z_1)+b(x_2-2y_2+z_2)=a\cdot 0+b\cdot 0=0. $$

So $a\mathbf{u}+b\mathbf{v}\in W$.

Therefore, $W$ is a subspace.

This is an important pattern: the solution set of a homogeneous linear equation or a system of homogeneous linear equations is always a subspace.

Common non-examples and how to spot them

Here are some quick patterns that often fail the subspace test:

Sets defined by equations with a nonzero constant, such as $x+y=3$.
Lines or planes that do not pass through the origin.
Sets restricted by inequalities such as $x\ge 0$.
Sets that are closed under addition but not scalar multiplication.

Example: the set of vectors in $\mathbb{R}^2$ satisfying $x^2+y^2=1$ is the unit circle. It does not contain the zero vector, and adding two points on the circle usually does not stay on the circle. So it is not a subspace.

On the other hand, the set $\{(x,0):x\in\mathbb{R}\}$ is the $x$-axis, which is a subspace of $\mathbb{R}^2$.

Why subspaces matter in linear algebra

Subspaces are not just a definition to memorize. They organize many important ideas in linear algebra.

For example:

The solution set of a homogeneous system of equations is a subspace.
The kernel of a linear transformation is a subspace.
The range or image of a linear transformation is a subspace.
The span of a set of vectors is always a subspace.

This matters because subspaces help us understand where vectors can go and what kinds of solutions are possible. If a problem is about linear combinations, dependence, or transformations, subspaces often appear in the background.

Think of subspaces as the “safe zones” of a vector space 🧭. You can move around inside them using linear algebra operations, and you stay within the same mathematical world.

Conclusion

students, the main idea of subspace criteria is simple: a subset is a subspace if it contains the zero vector and is closed under vector addition and scalar multiplication. These conditions ensure that the subset behaves like a vector space on its own.

The subspace test is one of the most useful tools in linear algebra because it lets you quickly decide whether a set is truly a vector space inside another vector space. Once you can recognize subspaces, you can better understand solution sets, spans, kernels, images, and many other core ideas.

Study Notes

A subspace is a subset of a vector space that is itself a vector space.
Use the subspace test:
$\mathbf{0}\in W$
if $\mathbf{u},\mathbf{v}\in W$, then $\mathbf{u}+\mathbf{v}\in W$
if $\mathbf{u}\in W$ and $c$ is a scalar, then $c\mathbf{u}\in W$
If a set does not contain the zero vector, it is not a subspace.
A line or plane through the origin can be a subspace; a shifted line or plane usually is not.
Solution sets of homogeneous linear equations are subspaces.
The compact test $a\mathbf{u}+b\mathbf{v}\in W$ for all scalars $a,b$ is often the fastest proof method.
Subspaces are important in kernels, images, spans, and solution spaces in linear algebra.