Vector Spaces and Subspaces

⚡ Key Takeaways

Vector spaces are sets equipped with addition and scalar multiplication satisfying eight axioms; subspaces are subsets that are themselves vector spaces under the inherited operations. Key result: a nonempty subset is a subspace iff it is closed under addition and scalar multiplication. Applies anywhere linear structure appears — function spaces, solution sets of linear ODEs, signal processing, quantum mechanics. Axiomatized by Giuseppe Peano (1888), building on work by Hermann Grassmann (1844).

💡 The Core Insight

Linearity is a structure, not a formula. The eight vector space axioms capture precisely the operations under which "taking linear combinations" makes sense: $a\mathbf{u} + b\mathbf{v}$ must again live in the space. Everything in linear algebra — span, independence, basis, dimension, rank — is a consequence of closure under linear combinations. A subspace is just the smallest meaningful self-contained unit carrying this structure.

DefinitionVector Space

Let $F$ be a field (typically $\mathbb{R}$ or $\mathbb{C}$ ). A vector space over $F$ is a set $V$ with operations $+$ (addition) and $\cdot$ (scalar multiplication) such that for all $\mathbf{u},\mathbf{v},\mathbf{w} \in V$ and all $a,b \in F$ :

Additive axioms (making $(V,+)$ an abelian group):

1

\quad \mathbf{u} + \mathbf{v} = \mathbf{v} + \mathbf{u} \quad\text{(commutativity)}

Derivation hint: This is an axiom, asserted directly; not derived.

2

\quad (\mathbf{u} + \mathbf{v}) + \mathbf{w} = \mathbf{u} + (\mathbf{v} + \mathbf{w}) \quad\text{(associativity)}

Derivation hint: Axiom; guarantees unambiguous finite sums.

3

\quad \exists\, \mathbf{0} \in V : \mathbf{v} + \mathbf{0} = \mathbf{v} \quad\text{(zero vector)}

Derivation hint: Existence axiom; uniqueness is provable (see proof block).

4

\quad \forall \mathbf{v}\,\exists(-\mathbf{v}) : \mathbf{v} + (-\mathbf{v}) = \mathbf{0} \quad\text{(additive inverse)}

Derivation hint: Existence axiom; the inverse is unique once $\mathbf{0}$ is fixed.

Scalar-multiplication axioms:

5

\quad a\cdot(\mathbf{u} + \mathbf{v}) = a\cdot\mathbf{u} + a\cdot\mathbf{v} \quad\text{(distributivity over vector addition)}

Derivation hint: Axiom linking the two operations.

6

\quad (a + b)\cdot\mathbf{v} = a\cdot\mathbf{v} + b\cdot\mathbf{v} \quad\text{(distributivity over field addition)}

Derivation hint: Axiom; here $a+b$ is addition in $F$ , not in $V$ .

7

\quad (ab)\cdot\mathbf{v} = a\cdot(b\cdot\mathbf{v}) \quad\text{(compatibility with field multiplication)}

Derivation hint: Axiom; relates scalar multiplication to multiplication in $F$ .

8

\quad 1\cdot\mathbf{v} = \mathbf{v} \quad\text{(identity scalar)}

Derivation hint: Axiom; $1$ is the multiplicative identity of $F$ . Essential — without it $0\cdot v = v$ is possible. Elements of $V$ are vectors; elements of $F$ are scalars.

DefinitionSubspace

A subset $W \subseteq V$ of a vector space $V$ over $F$ is a subspace if $W$ is itself a vector space under the operations inherited from $V$ . Equivalently (the Subspace Test), $W$ is a subspace iff:

9

\quad W \neq \varnothing,\quad \mathbf{u},\mathbf{v}\in W \Rightarrow \mathbf{u}+\mathbf{v}\in W,\quad a\in F,\ \mathbf{v}\in W \Rightarrow a\mathbf{v}\in W

Derivation hint: Closure under $+$ and $\cdot$ suffices; the other axioms are inherited from $V$ automatically. See theorem below. The two closure conditions combine into a single one-line test:

10

\quad \mathbf{u},\mathbf{v}\in W,\ a,b\in F \;\Rightarrow\; a\mathbf{u}+b\mathbf{v} \in W

Derivation hint: Set $b=0$ to get scalar closure; set $a=b=1$ to get additive closure. Equivalence with [9] is immediate.

TheoremSubspace Test

A nonempty subset $W \subseteq V$ is a subspace of $V$ if and only if it is closed under vector addition and scalar multiplication (equation [10]). In particular every subspace contains $\mathbf{0}$ .

ProofThe closure conditions imply all eight axioms hold in

W

We show that closure under $+$ and $\cdot$ (equation [9]) is sufficient for $W$ to be a vector space.

Step 1 — $\mathbf{0} \in W$ . Since $W \neq \varnothing$ , pick any $\mathbf{w} \in W$ . By scalar closure, $0\cdot\mathbf{w} \in W$ . We prove $0\cdot\mathbf{w} = \mathbf{0}$ : by [6], $0\cdot\mathbf{w} = (0+0)\cdot\mathbf{w} = 0\cdot\mathbf{w} + 0\cdot\mathbf{w}$ ; adding $-(0\cdot\mathbf{w})$ to both sides gives $\mathbf{0} = 0\cdot\mathbf{w}$ . Hence $\mathbf{0} \in W$ .

Step 2 — additive inverses lie in $W$ . For $\mathbf{w}\in W$ , scalar closure gives $(-1)\cdot\mathbf{w}\in W$ . We show $(-1)\cdot\mathbf{w} = -\mathbf{w}$ : by [6] and [8], $\mathbf{w} + (-1)\mathbf{w} = 1\mathbf{w} + (-1)\mathbf{w} = (1 + (-1))\mathbf{w} = 0\cdot\mathbf{w} = \mathbf{0}$ . So $-\mathbf{w}\in W$ .

Step 3 — closure makes $+$ and $\cdot$ well-defined operations on $W$ . Equation [9] guarantees the results stay inside $W$ .

Step 4 — the remaining axioms [1],[2],[5],[6],[7],[8] are universally quantified equalities that hold for all elements of $V$ . Since $W \subseteq V$ , they automatically hold for elements of $W$ . No verification is needed. Therefore $(W,+,\cdot)$ satisfies all eight axioms and is a vector space — a subspace of $V$ . $\blacksquare$

∎

ProofUniqueness of

\mathbf{0}

and elementary consequences

Uniqueness of zero: Suppose $\mathbf{0}$ and $\mathbf{0}'$ both satisfy [3]. Then $\mathbf{0} = \mathbf{0} + \mathbf{0}' = \mathbf{0}' + \mathbf{0} = \mathbf{0}'$ , using [3] twice and [1].

Uniqueness of inverses: If $\mathbf{v}+\mathbf{a} = \mathbf{0}$ and $\mathbf{v}+\mathbf{b}=\mathbf{0}$ , then $\mathbf{a} = \mathbf{a}+\mathbf{0} = \mathbf{a}+(\mathbf{v}+\mathbf{b}) = (\mathbf{a}+\mathbf{v})+\mathbf{b} = \mathbf{0}+\mathbf{b} = \mathbf{b}$ .

$a\cdot\mathbf{0} = \mathbf{0}$ : $a\cdot\mathbf{0} = a\cdot(\mathbf{0}+\mathbf{0}) = a\cdot\mathbf{0} + a\cdot\mathbf{0}$ by [5]; cancel one copy.

$a\mathbf{v} = \mathbf{0} \Rightarrow a=0$ or $\mathbf{v}=\mathbf{0}$ : If $a\neq 0$ , multiply by $a^{-1}$ and use [7],[8]: $\mathbf{v} = 1\mathbf{v} = (a^{-1}a)\mathbf{v} = a^{-1}(a\mathbf{v}) = a^{-1}\mathbf{0} = \mathbf{0}$ . $\blacksquare$

∎

mathematician · Giuseppe Peano | 1858–1932

Italian mathematician who, in his 1888 book Calcolo geometrico secondo l'Ausdehnungslehre di H. Grassmann, gave the first fully axiomatic definition of a finite-dimensional vector space over the reals — essentially the eight axioms used today, including a precise treatment of linear independence, dimension, and linear maps. Peano recognized that the algebraic essence of Grassmann's geometry could be captured in a short list of axioms, decades before this viewpoint became standard. He also worked on the foundations of arithmetic (the Peano axioms) and constructed the famous space-filling Peano curve.

🧠 Intuition

Think of a vector space as a playground with two legal moves: you may slide vectors together (addition) and stretch or shrink them (scalar multiplication). The axioms are the rulebook ensuring these moves never throw you off the playground and always behave predictably. A subspace is a smaller region of the same playground that you can never leave using legal moves — start anywhere inside it, add and scale to your heart's content, you stay inside. Geometrically, in $\mathbb{R}^3$ the subspaces are exactly: the origin $\{\mathbf{0}\}$ , every line through the origin, every plane through the origin, and all of $\mathbb{R}^3$ . The phrase "through the origin" is forced — the origin must belong to any subspace (Step 1 of the proof), so a line or plane missing the origin is not a subspace. This is the single most useful sanity check: if it doesn't contain $\mathbf{0}$ , it isn't a subspace.

Figure

Subspaces of

\mathbb{R}^3

: only flat objects through the origin qualify

ExampleIs a plane a subspace of

\mathbb{R}^3

?

Given: $W = \{(x,y,z) \in \mathbb{R}^3 : 2x - y + 3z = 0\}$ . Determine whether $W$ is a subspace.

Step 1 — nonempty / contains $\mathbf{0}$ : $(0,0,0)$ gives $2(0)-0+3(0)=0$ . ✓ So $\mathbf{0}\in W$ .

Step 2 — additive closure: Take $\mathbf{u}=(x_1,y_1,z_1)$ , $\mathbf{v}=(x_2,y_2,z_2)$ in $W$ , so $2x_1 - y_1 + 3z_1 = 0$ and $2x_2 - y_2 + 3z_2 = 0$ . Then for $\mathbf{u}+\mathbf{v}=(x_1+x_2,\,y_1+y_2,\,z_1+z_2)$ :

2(x_1+x_2) - (y_1+y_2) + 3(z_1+z_2) = (2x_1-y_1+3z_1)+(2x_2-y_2+3z_2) = 0 + 0 = 0.$$ ✓ **Step 3 — scalar closure:** For $a\in\mathbb{R}$, $a\mathbf{u}=(ax_1,ay_1,az_1)$: $$2(ax_1) - (ay_1) + 3(az_1) = a(2x_1 - y_1 + 3z_1) = a\cdot 0 = 0.$$ ✓ **Boxed answer:** $\boxed{W \text{ is a subspace of } \mathbb{R}^3 \text{ — a plane through the origin, } \dim W = 2.}$ (The key feature: the defining equation is **homogeneous** — equals zero. A nonzero right-hand side, e.g. $2x-y+3z=5$, fails Step 1.)

ExampleA subspace of a function space, with a dimension count

Given: Let $V = P_3(\mathbb{R})$ , the space of real polynomials of degree $\le 3$ . Let

W = \{\,p \in P_3 : p(1) = 0 \text{ and } p'(0) = 0\,\}.

Show $W$ is a subspace and find its dimension.

Step 1 — closure: Write $p(x)=a_0+a_1x+a_2x^2+a_3x^3$ . The conditions are linear in the coefficients:

p(1) = a_0+a_1+a_2+a_3 = 0, \qquad p'(0) = a_1 = 0.

If $p,q$ satisfy both equations then $\alpha p + \beta q$ does too, since each condition is a homogeneous linear equation in the coefficients. Hence $W$ is a subspace (and contains the zero polynomial).

Step 2 — solve the constraints: From $a_1 = 0$ and $a_0 + a_2 + a_3 = 0$ , we get $a_0 = -(a_2+a_3)$ . Free parameters: $a_2, a_3$ . General element:

p(x) = -(a_2+a_3) + a_2 x^2 + a_3 x^3 = a_2(x^2 - 1) + a_3(x^3 - 1).

Step 3 — read off a basis: $\{x^2-1,\; x^3-1\}$ spans $W$ and is linearly independent.

Boxed answer: $\boxed{\dim W = 2,\quad W = \operatorname{span}\{x^2-1,\ x^3-1\}.}$ (Check: $\dim P_3 = 4$ ; two independent constraints drop the dimension by $2$ , giving $4-2=2$ . ✓)

⚠️ Common mistake

A subspace must contain the zero vector — always check this first. It is the fastest disqualifier. Sets defined by non-homogeneous equations ( $Ax = b$ with $b\neq 0$ ), the first quadrant of $\mathbb{R}^2$ (fails scalar closure under negative scalars), the unit circle, and any line not through the origin are not subspaces.

Closure must hold for all scalars in the field $F$ , not just positive ones, not just integers. The set $\{(x,y) : x,y \ge 0\}$ is closed under addition but fails $(-1)\cdot$ .

Axiom [8], $1\cdot\mathbf{v}=\mathbf{v}$ , cannot be dropped. Without it, pathological "spaces" exist where $a\cdot\mathbf{v}=\mathbf{0}$ for all $a,\mathbf{v}$ ; these satisfy axioms [1]–[7] but are not what we want.

The empty set is not a subspace (it fails $W\neq\varnothing$ / lacks $\mathbf{0}$ ), but $\{\mathbf{0}\}$ — the trivial subspace — is.

CounterexampleA set closed under addition but not a subspace

Let $W = \{(x,y)\in\mathbb{R}^2 : x \ge 0,\ y\ge 0\}$ , the closed first quadrant. It is closed under addition: summing two vectors with nonnegative components gives nonnegative components. It contains $\mathbf{0}$ . Yet it is not a subspace, because scalar multiplication by $-1$ fails: $(1,1)\in W$ but $(-1)\cdot(1,1) = (-1,-1)\notin W$ . This shows additive closure plus containing $\mathbf{0}$ is not enough — scalar closure for all scalars is essential.

CounterexampleUnion of two subspaces usually fails

Let $U = \{(x,0): x\in\mathbb{R}\}$ (the $x$ -axis) and $W=\{(0,y):y\in\mathbb{R}\}$ (the $y$ -axis), both subspaces of $\mathbb{R}^2$ . Their union $U\cup W$ is not a subspace: $(1,0)\in U\cup W$ and $(0,1)\in U\cup W$ , but their sum $(1,1)$ lies on neither axis. (In general $U\cup W$ is a subspace iff $U\subseteq W$ or $W\subseteq U$ .) The correct subspace-producing operation is the sum $U+W = \{\mathbf{u}+\mathbf{w}\}$ , which here equals all of $\mathbb{R}^2$ .

connection

Vector spaces are the stage on which the rest of linear algebra is performed. A subspace is generated by taking the Span and Linear Combinations of any set of vectors, and the size of a minimal spanning set is governed by Linear Independence and Basis, leading directly to Dimension of a Vector Space. Maps that respect the structure are Linear Transformations, whose kernel and image are themselves subspaces — connecting to the Rank-Nullity Theorem. When the field is $\mathbb{R}$ or $\mathbb{C}$ and an inner product is added, subspaces acquire orthogonal complements (Inner Product Spaces). The intersection of two subspaces is always a subspace, while their union rarely is; the corrective operation is the Sum and Direct Sum of Subspaces.

🔬 Where this appears

⏳ History

- 1843–1844 — Hermann Grassmann publishes Die lineale Ausdehnungslehre, introducing

n

-dimensional spaces and linear combinations far ahead of his time; the work is largely ignored due to its difficulty.

- 1844 — William Rowan Hamilton discovers quaternions, an early example of structure that is a real vector space (and more).

- 1857 — Arthur Cayley develops matrix algebra, providing concrete realizations of linear maps on

\mathbb{R}^n

.

- 1888 — Giuseppe Peano gives the first modern axiomatic definition of a (finite-dimensional) vector space over

\mathbb{R}

, including dimension and linear maps.

- 1898 — Cesare Burali-Forti and others extend and popularize Peano's vectorial calculus.

- 1918 — Hermann Weyl, in Raum, Zeit, Materie, uses axiomatic vector spaces in the foundations of relativity.

- 1920s — Stefan Banach and Hans Hahn develop infinite-dimensional normed vector spaces, founding functional analysis.

- 1932 — Banach's Théorie des opérations linéaires codifies the abstract theory of (complete normed) vector spaces.

- 1930s–1940s — Vector spaces over arbitrary fields become standard in abstract algebra textbooks (van der Waerden, Bourbaki), cementing the modern viewpoint.

open-problem

Infinite dimensions break intuition. Every vector space has a basis — but proving this in infinite dimensions requires the Axiom of Choice (it is in fact equivalent to it, a result of Andreas Blass, 1984). Such a "Hamel basis" for $\mathbb{R}$ over $\mathbb{Q}$ , or for spaces like $\ell^\infty$ , cannot be exhibited explicitly; it is purely non-constructive.

Subspaces in infinite dimensions need not be closed. In a normed infinite-dimensional space, a subspace can be dense (its closure is the whole space) yet proper — e.g. the polynomials inside $C[0,1]$ . This forces functional analysis to distinguish algebraic subspaces from closed subspaces, a distinction invisible in finite dimensions.

Over finite fields, counting subspaces leads to Gaussian binomial coefficients and deep combinatorics (matroid theory, the $q$ -analogue program), and questions about the lattice of subspaces connect to projective geometry and unresolved problems in combinatorial design theory.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also