##  [Vector Space](/vector-space-2) 

 Definition

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

Principle

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

 

 

 

 

 





## Demonstration

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

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

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

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

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

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

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.