A vector space over a field F is a set V with operations (functions) +:V×V→V and ⋅:F×V→V, and an element 0∈V, satisfying the following for all u,v,w∈V and a,b∈F:
- Commutativity: u+v=v+u.
- Associativity: (u+v)+w=u+(v+w).
- Additive identity: v+0=v.
- Additive inverse: for each v, there is −v∈V with v+(−v)=0.
- Distributivity over vector addition: a⋅(u+v)=a⋅u+a⋅v.
- Distributivity over scalar addition: (a+b)⋅v=a⋅v+b⋅v.
- Scalar associativity: (ab)⋅v=a⋅(b⋅v).
- Scalar identity: 1⋅v=v.