Espacio prehilbertiano
De Wikipedia, la enciclopedia libre
Un espacio prehilbertiano o espacio prehilbert es un espacio vectorial provisto de un producto interior. Más concretamente, es un par (X,(·|·)), donde X es un espacio vectorial sobre K y (·|·) es un producto escalar en X.
Si el espacio es completo, se dirá que es espacio hilbertiano o espacio de Hilbert. Si es de dimensión finita se dirá que es espacio euclídeo.