Un espacio de Hilbert es un espacio prehilbertiano completo por la norma definida por el producto escalar.