Definition:Vector Space Axioms

Definition
The vector space axioms are the defining properties of a vector space.

Let $\struct {G, +_G, \circ}_K$ be a vector space over $K$ where:


 * $G$ is a set of objects, called vectors.


 * $+_G: G \times G \to G$ is a binary operation on $G$


 * $\struct {K, +, \cdot}$ is a division ring whose unity is $1_K$


 * $\circ: K \times G \to G$ is a binary operation

The usual situation is for $K$ to be one of the standard number fields $\R$ or $\C$.

The vector space axioms consist of the abelian group axioms:

together with the properties of a unitary module:

Also see

 * Vector Inverse is Negative Vector
 * Vector Scaled by Zero is Zero Vector
 * Additive Inverse in Vector Space is Unique
 * Zero Vector Unique