Does every vector space have a basis?

Yes. Finite-dimensional spaces have a basis by elementary arguments, and arbitrary vector spaces have one assuming the axiom of choice. A basis lets every vector be written uniquely as a combination of basis vectors.

How does a vector space differ from a module?

A vector space is a module whose scalars come from a field. Over a field every module has a basis and behaves uniformly; over a general ring this fails, which is what distinguishes module theory from linear algebra.

Vector Space

A vector space is a set whose elements can be added together and scaled by elements of a field, the central object of linear algebra and the model of linear structure throughout mathematics.

Definition

A vector space over a field is an abelian group of vectors together with a scalar multiplication by field elements satisfying distributivity, associativity, and unit axioms that make the two operations compatible.

Scope

This topic covers the axioms of a vector space, subspaces, linear independence, spanning sets, bases and dimension, coordinates, direct sums and quotient spaces, and dual spaces. It establishes the framework in which linear transformations and matrices are studied.

Core questions

What axioms make a set into a vector space?
What is a basis, and why does every vector space have one?
Why is dimension a well-defined invariant of a vector space?
How do subspaces, direct sums, and quotient spaces decompose a vector space?

Key theories

Existence of a basis: Every vector space has a basis, a linearly independent spanning set, so that each vector is a unique finite linear combination of basis vectors; in the finite-dimensional case this follows from elementary exchange arguments.
Invariance of dimension: Any two bases of a vector space have the same cardinality, so the dimension is a well-defined invariant that classifies vector spaces over a fixed field up to isomorphism.
Subspaces, quotients, and dual spaces: Subspaces, direct sums, quotient spaces, and the dual space of linear functionals are the basic constructions that build and analyze vector spaces and underlie the theory of linear maps.

Clinical relevance

Vector spaces model an enormous range of phenomena: solution sets of linear equations and differential equations, function spaces in analysis, state spaces in quantum mechanics, and feature spaces in data science and machine learning are all vector spaces, making linear algebra universally applicable.

History

Grassmann introduced an abstract calculus of extended quantities in 1844 that anticipated vector spaces, and Peano gave an axiomatic definition in 1888. The notion became standard in the twentieth century, with infinite-dimensional spaces developed by Hilbert and Banach in functional analysis.

Key figures

Hermann Grassmann
Giuseppe Peano
David Hilbert
Stefan Banach

Seminal works

hoffman1971
roman2008
lang2002

Frequently asked questions

Does every vector space have a basis?: Yes. Finite-dimensional spaces have a basis by elementary arguments, and arbitrary vector spaces have one assuming the axiom of choice. A basis lets every vector be written uniquely as a combination of basis vectors.
How does a vector space differ from a module?: A vector space is a module whose scalars come from a field. Over a field every module has a basis and behaves uniformly; over a general ring this fails, which is what distinguishes module theory from linear algebra.