An algebraic structure V over a field F consisting of an abelian group (V, +) and a scalar multiplication F × V → V satisfying distributivity, associativity with field multiplication, and identity scalar action; vectors can be added and scaled by field elements.

Principle

Combine additive group structure with scalar multiplication by a field so linear combinations, bases, and dimensions behave predictably and support solving linear systems and spectral analysis.

Demonstration

Euclidean space R^n is a real vector space; the set of polynomials over a field forms a vector space whose basis and dimension depend on degree restrictions; solution spaces of homogeneous linear systems are vector subspaces.

Misapplication

Treating an R-module as a vector space when the scalars do not form a field, or assuming every subspace has a complementary subspace (which requires additional structure like inner products or finite dimensionality).

Consequence

Vector spaces admit bases, unique linear maps by images of basis vectors, well-defined dimensions (in finite cases), and a complete theory of linear transformations, eigenvalues, and dual spaces.

Reversal

Reversing the requirement that scalars form a field leads to modules, where lack of scalar inverses removes many simplifications and causes dependence on ring properties.

Boundary

Scalars must be drawn from a field; excludes modules over rings, topological vector spaces that add continuity, and affine spaces that lack a canonical origin.

Semantic Tension

Tension exists between abstract vector spaces and concrete realizations (coordinate spaces), and between vector spaces and affine spaces which share linear combinations but differ by origin dependence.

Synthesis

A vector space is a module whose scalars are a field, yielding the classical setting where linear combinations, bases and dimensions provide a tractable and highly structured theory of linear phenomena.