A set V equipped with two operations (vector addition and scalar multiplication by elements of a field) satisfying axioms: associativity, commutativity of addition, identity and inverse for addition, distributivity of scalar multiplication over field addition and vector addition, compatibility of scalar multiplication, and identity scalar acting as identity; vectors can be combined linearly.

Principle

Linear structure organizes objects so that linear combinations and linear maps preserve structure; superposition and homogeneity are central, allowing dimension, basis, and linear transformations to classify behavior.

Demonstration

R^n with componentwise addition and scalar multiplication by real numbers is a vector space: e.g., R^3 supports linear combinations, bases (three independent vectors), and linear maps represented by 3x3 matrices.

Misapplication

Treating a set with only a group operation as a vector space without a compatible scalar field ignores the need for scalar distributivity and can lead to invalid notions of basis or dimension.

Consequence

Under correct axioms, concepts of span, linear independence, basis, dimension, linear maps, kernels and images are well-defined; powerful theorems (rank-nullity, diagonalization where applicable) follow.

Reversal

Dropping scalar multiplication yields an abelian group structure; replacing the field by a ring leads to modules, which may lack bases or have different dimension behavior.

Boundary

Vectors spaces require scalars from a field and all vector space axioms; they exclude structures over rings that are not fields, topological or inner-product additional structure not implied, and sets lacking scalar multiplication.

Semantic Tension

Close to module (same formalism except scalars from a ring); tension appears when discussing bases and dimensions since modules over general rings may lack free bases and have subtler invariants.

Synthesis

A vector space is an algebraic structure over a field where vectors can be added and scaled, enabling linear combinations, bases, dimensions and linear maps that form the backbone of linear algebra and its applications.