Más concretamente, es un par formula_1, donde formula_2 es un espacio vectorial sobre un cuerpo formula_3 y formula_4 es un producto escalar en formula_2.