Un espacio vectorial formula_1 sobre formula_2 es una conjunto de elementos formula_3 a los que llamaremos vectores, junto a formula_4 una operación binaria formula_5 que satisface las siguientes propiedades: