A set V equipped with an abelian group operation + and a scalar multiplication by elements of a field F, satisfying distributivity, associativity of scalar multiplication, and 1·v = v; equivalently, a module over a field.

Principle

Linear combination and closure: vectors are closed under addition and scalar multiplication so that linear relations, bases and dimension govern the structure.

Demonstration

The set R^n with coordinatewise addition and real scalar multiplication; the space F[x] of polynomials over a field F is an infinite-dimensional example. Concretely, in R^3 any vector is a linear combination of the standard basis e1,e2,e3.

Misapplication

Calling a module over a ring a vector space when the scalar ring is not a field (for example, treating Z-modules as vector spaces) — division by scalars and existence of bases fail in general. Assuming every subspace has a complementary subspace without choice in infinite dimensions is another common misuse.

Consequence

Once a field of scalars and a basis are fixed, vectors admit coordinates, linear maps become matrices, and dimension and rank provide decisive invariants for classification and computation.

Reversal

Remove scalar multiplication and keep only the abelian group: most linear concepts (span, linear independence, dimension) disappear and the structure is strictly weaker.

Boundary

Requires a field of scalars; excludes modules over nonfields, affine spaces (which lack a canonical origin), and topological or inner-product extra structure unless explicitly included.

Semantic Tension

Vector space versus module: both permit addition, but modules over nonfields may lack bases and division by scalars; vector space versus affine space: both have lines and planes but affine spaces lack an origin and scalar linear structure.

Synthesis

A vector space is the algebraic arena where elements combine by addition and scale by field elements, so linear relations, bases and coordinate representations become the central tools.