Con éstas propiedades y las de la adición se tiene que formula_90 es un espacio vectorial con las operaciones de suma y producto por escalares definidas antes.