Un espacio prehilbertiano es un par formula_271, donde formula_191 es un espacio vectorial y formula_273 es un producto a escalar.