El espacio vectorial en el que se ha definido un producto escalar.