— Ch. 1 · Foundations And Axioms —
Vector space.
~6 min read · Ch. 1 of 6
In 1888, Italian mathematician Giuseppe Peano published a definition that established the modern framework for vector spaces. He called these structures linear systems and required them to satisfy eight specific rules governing addition and scalar multiplication. These axioms ensure that any set of vectors behaves predictably when combined or scaled by numbers from a field. The first four axioms describe how vectors add together to form an abelian group under addition. They mandate associativity, commutativity, the existence of a zero vector, and the presence of additive inverses for every element. The remaining four axioms govern how scalars interact with vectors through multiplication. They require compatibility with field multiplication, identity properties, and two forms of distributivity across both vector and field additions. When the scalar field consists of real numbers, the structure becomes a real vector space. If the scalars are complex numbers, it forms a complex vector space. Any arbitrary field can serve as the scalar domain, creating a vector space over that field. This abstraction allows mathematicians to treat arrows in physics and sequences of numbers within a single unified system.
Historical Development
The concept of vector spaces emerged from analytic geometry around 1636 when René Descartes and Pierre de Fermat identified solutions to equations with points on curves. Bernard Bolzano introduced operations on points, lines, and planes in 1804 that served as predecessors to modern vectors. Hermann Grassmann published work in 1844 that exceeded standard vector space frameworks by introducing concepts like linear independence and dimension. He also envisioned sets of abstract objects endowed with operations that led to what we now call algebras. Arthur Cayley introduced matrix notation in 1857 which allowed for the harmonization and simplification of linear maps. Salvatore Pincherle adopted Peano's axioms in 1897 and made initial inroads into infinite-dimensional vector space theory. Henri Lebesgue constructed function spaces later formalized by Stefan Banach and David Hilbert around 1920. This period marked the interaction between algebra and functional analysis through key concepts such as p-integrable functions and Hilbert spaces. The evolution moved from geometric intuition to abstract algebraic structures capable of handling infinite dimensions and complex analytical problems.