Vector Spaces — Mathematics Knowledge System

Overview

A vector space (or linear space) over a field F is a set V together with operations of addition and scalar multiplication satisfying eight axioms. The concept generalises the familiar Euclidean vectors to encompass function spaces, polynomial spaces, and matrices. Vector spaces are the central objects of linear algebra and the setting for analysis, geometry, and most of applied mathematics.

Intuition

A vector space is any collection of objects that can be added together and scaled by numbers, following the familiar rules of arithmetic. Arrows in the plane, polynomials, continuous functions, and matrices are all vector spaces because they all support these operations. The same theorems (about bases, linear independence, dimension) apply uniformly to all of them.

Formal Definition

Definition

A vector space over field F is a set V with operations + : V x V -> V and cdot: F x V -> V satisfying for all u, v, w in V and scalars a, b in F:

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

Associativity of addition

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

Commutativity

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

Additive identity

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

Additive inverse

a(u+v) = au + av,\quad (a+b)v = av + bv,\quad a(bv) = (ab)v,\quad 1v = v

Scalar multiplication axioms

Notation

Notation	Meaning
$V$	Vector space
$\mathbf{0}$	Zero vector (additive identity)
$F^n$	The standard n-dimensional vector space over field F
$P_n$	Polynomials of degree at most n over F -- a vector space

Theorems

Theorem 1: Uniqueness of Zero

\text{The zero vector } \mathbf{0} \text{ is unique. Also, } 0 \cdot v = \mathbf{0} \text{ and } (-1) \cdot v = -v \text{ for all } v \in V.

Theorem 2: Subspace Test

W \subseteq V \text{ is a subspace} \iff \mathbf{0} \in W,; W \text{ is closed under addition, and } W \text{ is closed under scalar multiplication}

Theorem 3: Dimension Theorem (Rank-Nullity)

\text{If } T: V \to W \text{ is linear and } V \text{ is finite-dimensional, then } \dim(\ker T) + \dim(\operatorname{im} T) = \dim V

Worked Examples

1
P_2 = {a + bx + cx^2 : a,b,c in R}. Addition: (a+bx+cx^2) + (d+ex+fx^2) = (a+d)+(b+e)x+(c+f)x^2 -- still degree <=2.
2
Scalar mult: r(a+bx+cx^2) = ra + rbx + rcx^2 -- still in P_2. Zero vector is 0 polynomial. All 8 axioms hold.
$\dim(P_2) = 3, \quad \text{basis: } \{1, x, x^2\}$

✓ Answer

P_2 is a 3-dimensional vector space with basis {1, x, x^2}.

Practice Problems

Easyfree response

Is the set W = {(x,y,z) in R^3 : x + y + z = 1} a subspace of R^3? Explain.

Mediumproof writing

Prove: 0*v = 0 for any vector v in V (where 0 on the left is the scalar 0 in F).

Common Mistakes

Common Mistake

Any subset of a vector space is a subspace

A subset must satisfy the three subspace conditions. The plane {x+y+z=1} in R^3 is a subset but not a subspace (it doesn't contain 0). Check the subspace test before concluding.

Common Mistake

Thinking a vector space is just R^n

Vector spaces include function spaces (continuous functions on [0,1]), polynomial spaces, matrix spaces, and infinite-dimensional spaces. The axioms give a uniform framework for linear algebra in all these settings.

Quiz

Historical Background

The abstract notion of a vector space was formalised by Giuseppe Peano in 1888, building on earlier work by Grassmann (1844) on exterior algebra and Hamilton on quaternions (1843). Grassmann's Ausdehnungslehre introduced n-dimensional linear structures, though it was largely ignored until rediscovered by later mathematicians. The axiomatic treatment became standard through the work of Banach and Hilbert on infinite-dimensional spaces in the early 20th century.

1844
Grassmann introduces n-dimensional linear structures in Ausdehnungslehre
Hermann Grassmann
1888
Peano gives the first formal axioms for vector spaces
Giuseppe Peano
1920s
Banach and Hilbert develop infinite-dimensional normed and inner product spaces
Stefan Banach, David Hilbert

Summary

A vector space over field F is a set with addition and scalar multiplication satisfying 8 axioms.
Examples: R^n, polynomials, matrices, continuous functions -- all vector spaces.
A subspace must contain 0, be closed under addition, and closed under scalar multiplication.
Linear maps between vector spaces preserve the vector space structure.
Rank-nullity theorem: for T: V -> W, dim(ker T) + dim(im T) = dim V.

References

BookAxler, S. -- Linear Algebra Done Right (3rd ed., 2015), Chapter 1
WebsiteWikipedia -- Vector space