Definición formal

La definición de un espacio vectorial requiere de un cuerpo de escalares K (como el cuerpo de los números reales o el cuerpo de los números complejos). Un espacio vectorial es un conjunto V (no vacío) a cuyos elementos se llaman vectores, dotado de dos operaciones:

• suma de vectores: cualquiera dos vectores v y w pueden sumarse para obtener un tercer vector v + w
• producto por un escalar: cualquier vector v puede multiplicarse por un escalar, i.e. un elemento de K, a. El producto se denota como av.

que satisfacen las siguientes propiedades o axiomas (u, v, w son vectores arbitrarios de V, y a, b son escalares, respectivamente):

Propiedad	Significado
1.-Propiedad asociativa de la suma	u + (v + w) = (u + v) + w
Propiedad conmutativa de la suma	v + w = w + v
2.-Existencia de elemento neutro o nulo de la suma	Existe un elemento 0 ∈ V, llamado vector cero o nulo, de forma que v + 0 = v para todo v ∈ V.
3.-Existencia de elemento opuesto o simétrico de la suma	Para todo v ∈ V, existe un elemento -v ∈ V, llamado opuesto de v, de forma que v + (-v) = 0.
4.-Propiedad distributiva del producto por un escalar respecto a la suma de vectores	a (v + w) = a v + a w
5.-Propiedad distributiva del producto por un vector respecto a la suma de escalares	(a + b) v = a v + b v
6.-Propiedad asociativa mixta del producto por un escalar	a (b v) = (ab) v[nb 1]
7.-Existencia de elemento unidad del producto por un escalar	1 v = v, donde 1 es la identidad multiplicativa en K

8.-Con esta definición puede comprobarse que R², con la suma y producto vistos arriba, es por tanto un espacio vectorial. Comprobar los axiomas se reduce a verificar identidades sencillas como

(x, y) + (0, 0) = (x, y),

9.- la suma de un vector nulo (0, 0) con otro vector produce el mismo vector. La propiedad distributiva lleva a

(a + b) · (x, y) = a · (x, y) + b · (x, y).