Forman un espacio prehilbertiano bajo el producto escalar definido por .