General Vector Spaces

students, today you will learn how linear algebra goes beyond arrows in $\mathbb{R}^2$ and $\mathbb{R}^3$ and into a much bigger world 🌍. A general vector space is any set of objects that behaves like vectors, as long as it follows a few rules called the vector space axioms. These objects might be lists of numbers, polynomials, matrices, or even functions. The big idea is that linear algebra is not only about geometry; it is also about structure.

What makes something a vector space?

In ordinary class examples, a vector looks like something such as $\begin{bmatrix}2\\-1\end{bmatrix}$ or $\begin{bmatrix}1\\3\\0\end{bmatrix}$. But in abstract linear algebra, a vector can be anything as long as we can add two of them and multiply one by a scalar number.

A vector space is a set $V$ together with two operations:

vector addition: if $u,v \in V$, then $u+v \in V$
scalar multiplication: if $c$ is a scalar and $v \in V$, then $cv \in V$

The scalars usually come from $\mathbb{R}$ or $\mathbb{C}$. The set must satisfy rules such as:

$u+v=v+u$
$(u+v)+w=u+(v+w)$
there is a zero vector $0$ such that $v+0=v$
each vector $v$ has an additive inverse $-v$ with $v+(-v)=0$
$c(u+v)=cu+cv$
$(c+d)v=cv+dv$
$c(dv)=(cd)v$
$1v=v$

These axioms are important because they guarantee that linear algebra works consistently. If the rules fail, then many familiar methods, like solving systems or building bases, may not behave correctly.

A great way to think about a vector space is this: it is a collection of objects with enough structure to support linear combinations like $a_1v_1+a_2v_2+\cdots+a_kv_k$.

Examples of general vector spaces

One reason general vector spaces are useful is that they show up in many places outside basic coordinate geometry. Here are some important examples.

1. The usual coordinate spaces

The sets $\mathbb{R}^n$ and $\mathbb{C}^n$ are vector spaces. In $\mathbb{R}^3$, for example, vectors are ordered triples like $\begin{bmatrix}x\y\z\end{bmatrix}$. Addition and scalar multiplication are done component by component.

2. Polynomial spaces

The set of all polynomials of degree at most $n$ is a vector space, often written as $P_n$. For example, in $P_2$, every element looks like

$$p(x)=a+bx+cx^2.$$

If $p(x)=1+2x$ and $q(x)=3-x+x^2$, then

$$p(x)+q(x)=4+x+x^2.$$

If $c=5$, then

$$5p(x)=5+10x.$$

The zero vector in this space is the zero polynomial, $0(x)=0$.

3. Matrix spaces

The set of all $m\times n$ matrices is a vector space. For instance, if

$$A=\begin{bmatrix}1&2\\3&4\end{bmatrix} \quad \text{and} \quad B=\begin{bmatrix}0&1\\-1&2\end{bmatrix},$$

then

$$A+B=\begin{bmatrix}1&3\\2&6\end{bmatrix}.$$

Scalar multiplication also works entry by entry. This matters because matrices are used to represent transformations, networks, and data tables.

4. Function spaces

The set of all functions from an interval to $\mathbb{R}$ can also form a vector space. If $f(x)=x^2$ and $g(x)=\sin x$, then

$$(f+g)(x)=x^2+\sin x,$$

which is again a function in the same space. Scalar multiplication is defined by $$(cf)(x)=cf(x).$$

This example is very powerful because it shows that vectors do not have to be arrows at all. 📈

Subspaces: smaller vector spaces inside bigger ones

A subspace is a subset of a vector space that is itself a vector space using the same operations. Subspaces are important because they help us understand structure inside larger spaces.

To check whether a subset $W$ of a vector space $V$ is a subspace, students, you usually test three things:

The zero vector of $V$ is in $W$.
If $u,v \in W$, then $u+v \in W$.
If $v \in W$ and $c$ is a scalar, then $cv \in W$.

If these conditions hold, then every vector-space rule follows automatically because $W$ inherits the operations from $V$.

Example of a subspace

In $\mathbb{R}^3$, consider the set

$$W=\left\{\begin{bmatrix}x\y\z\end{bmatrix}: x+y+z=0\right\}.$$

This is a subspace. Why? The zero vector satisfies $0+0+0=0$. If two vectors satisfy the equation, then their sum also satisfies it. And multiplying by a scalar keeps the equation true.

Example of something that is not a subspace

Consider the set

$$S=\left\{\begin{bmatrix}x\y\end{bmatrix}: x+y=1\right\}.$$

This is not a subspace of $\mathbb{R}^2$ because the zero vector is not in it: $0+0\neq 1$. Also, if you add two vectors in $S$, the result usually does not stay in $S$. This shows why the zero vector test is so useful.

Why the axioms matter in real problems

The vector space axioms may look abstract, but they make computations reliable. For example, when solving a linear system, the solution set of a homogeneous system $A\mathbf{x}=\mathbf{0}$ is always a subspace of $\mathbb{R}^n$. That means it contains the zero vector and is closed under addition and scalar multiplication.

Suppose

$$A\mathbf{x}=\mathbf{0}$$

has two solutions $\mathbf{x}_1$ and $\mathbf{x}_2$. Then for any scalars $c_1$ and $c_2$,

$$A(c_1\mathbf{x}_1+c_2\mathbf{x}_2)=c_1A\mathbf{x}_1+c_2A\mathbf{x}_2=c_1\mathbf{0}+c_2\mathbf{0}=\mathbf{0}.$$

So every linear combination of solutions is still a solution. This is a major reason subspaces are so important in engineering, physics, computer graphics, and data science 💡.

Another example comes from differential equations. The set of all solutions to a homogeneous linear differential equation often forms a vector space. If $y_1$ and $y_2$ solve the same homogeneous equation, then any combination $c_1y_1+c_2y_2$ also solves it.

How general vector spaces connect to the bigger topic

Abstract vector spaces and subspaces is the larger unit, and general vector spaces are the foundation of that unit. This lesson teaches the language and rules that let you recognize vector-like behavior in many settings.

Later in linear algebra, you will study ideas such as:

span: all linear combinations of a set of vectors
linear independence: when no vector in a set is redundant
basis: a minimal set that generates the whole space
dimension: the number of vectors in a basis

These ideas work in any vector space, not just in coordinate spaces. For example, in $P_2$, a standard basis is

$$\{1,x,x^2\}.$$

Every polynomial in $P_2$ can be written as

$$a+bx+cx^2=a\cdot 1+b\cdot x+c\cdot x^2.$$

That is just like writing a vector in $\mathbb{R}^3$ using basis vectors.

Understanding general vector spaces helps you see that many different objects can share the same algebraic structure. Once you know the rules, you can transfer techniques from one setting to another.

A step-by-step way to test a vector space or subspace

When students is given a new set, use a careful checklist ✅.

First, identify the objects. Are they numbers, polynomials, matrices, or functions? Then ask what addition and scalar multiplication mean in that setting.

Next, check the main requirements:

Is the zero vector included?
Is the set closed under addition?
Is the set closed under scalar multiplication?

For a full vector space, also make sure the usual axioms hold. In most textbook examples, the operations are defined in a standard way, so the axioms are already known to work. The real task is often checking whether a subset is a subspace.

Quick example

Let

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

Rewrite the condition as

$$z-2x+3y=0.$$

The zero vector works because $0=2(0)-3(0)$. If $(x_1,y_1,z_1)$ and $(x_2,y_2,z_2)$ are in $W$, then

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

Adding gives

$$z_1+z_2=2(x_1+x_2)-3(y_1+y_2),$$

so the sum stays in $W$. Scalar multiples also stay in $W$. Therefore $W$ is a subspace.

Conclusion

General vector spaces are the abstract heart of linear algebra. They show that the idea of a vector is not limited to geometry. A vector can be a coordinate list, a polynomial, a matrix, or a function, as long as the set follows the vector space rules. Subspaces are smaller pieces of vector spaces that also obey those rules.

By learning this topic, students, you gain a flexible way to recognize patterns across many kinds of mathematical objects. That flexibility is what makes linear algebra so powerful in later topics like span, bases, dimension, transformations, and solution spaces.

Study Notes

A vector space is a set with addition and scalar multiplication that satisfy specific axioms.
The scalars are usually from $\mathbb{R}$ or $\mathbb{C}$.
Vectors in a general vector space can be numbers, lists, polynomials, matrices, or functions.
The zero vector must exist, and every vector must have an additive inverse.
A subspace is a subset that is also a vector space using the same operations.
To test a subspace, check for the zero vector, closure under addition, and closure under scalar multiplication.
Polynomial spaces like $P_n$ and matrix spaces like $M_{m\times n}$ are important examples.
The solution set of a homogeneous system $A\mathbf{x}=\mathbf{0}$ is always a subspace.
General vector spaces connect directly to span, linear independence, basis, and dimension.
The abstract viewpoint helps linear algebra apply to many real-world and scientific settings.