Un -espacio vectorial es un conjunto con una suma que hace de un grupo abeliano (con cero escrito o ) y una multiplicación por escalares tal que, para todos y :
Consecuencias: , , y o (multiplíquese por ).
Ejemplos
Ejemplo 18.2
(operaciones coordenada a coordenada); los polinomios ; las funciones de un conjunto cualquiera en (operaciones punto a punto) — que contienen las funciones continuas, las sucesiones , etc.; y como espacio vectorial sobre . En cada caso, los axiomas se heredan de los de .