A collection of objects called vectors forming an abelian group under addition together with scalar multiplication by elements of a field such that the usual axioms (distributivity, associativity, identity) hold; equivalently, a module over a field.

Principle

Scalar multiplication by a field enables division by nonzero scalars, which ensures that bases exist (Zorn’s lemma for infinite cases) and that dimension is a complete invariant for finite-dimensional vector spaces.

Demonstration

The space R^n with coordinatewise addition and scalar multiplication by real numbers is a standard example; any finite-dimensional vector space of dimension n over a field F is isomorphic to F^n.

Misapplication

Treating modules over non-field rings as vector spaces (e.g., assuming all submodules have complements or that dimension behaves the same), or conflating linear independence over different base fields without checking scalar restrictions.

Consequence

Vector spaces admit a complete linear algebra toolkit: bases, coordinates, linear maps represented by matrices, dual spaces, canonical decompositions (direct sums), and dimension-based classification in finite dimensions.

Reversal

A module over a general ring lacks many vector-space guarantees: bases need not exist, submodules may fail to be direct summands, and dimension-like invariants may not classify isomorphism types.

Boundary

Requires the scalar ring to be a field; excludes modules over nonfields, topological vector spaces (which add topology), and structures where scalars do not allow division by nonzero elements.

Semantic Tension

Tension appears when one moves between coordinate-free, axiomatic descriptions and concrete matrix/coordinate models; there is also tension between finite- and infinite-dimensional behaviors (existence of Hamel bases vs. topological bases).

Synthesis

A vector space is a module over a field whose scalar invertibility yields a robust linear theory: bases exist, finite dimension classifies structure up to isomorphism, and linear maps admit matrix representations relative to chosen bases.