Ya hemos visto qué es un grupo, y qué es un cuerpo. Ahora ya podemos definir un K-espacio vectorial o un espacio vectorial sobre K en E.
Sea ( K, +, · ) un cuerpo, y ( E, +) un grupo abeliano. Una estructura de K-espacio vectorial es una aplicación del conjunto K x E en E, que verifica cuatro propiedades.
En la última propiedad, el 1 es la unidad del cuerpo.
A los elementos del cuerpo K se les llama escalares, y a los elementos del grupo abeliano E, se les denomina vectores.
Existen otras propiedades dentro del K-espacio vectorial, pero se deducen de la definición, por ejemplo:
- El elemento neutro en un espacio vectorial es único.
- El elemento opuesto para cada vector es único.
