Un espacio vectorial se define como un conjunto de vectores, un conjunto de escalares, y una operación de producto por un escalar que lleva a que un escalar "k" y un vector v dé un nuevo vector "kv.