Espacio pre-Hilbert

El espacio pre-Hilbert (algunos autores también tienen espacio euclidiano ) es un espacio lineal real o complejo con un producto escalar definido en él . No es necesariamente completo , a diferencia de un espacio de Hilbert . Ampliamente utilizado en análisis funcional y disciplinas afines.

Definición

Un par se llama espacio pre-Hilbert si  es un espacio lineal y  está definido por el producto escalar. (Por lo general, significa el producto interno en el sentido habitual, es decir, definido positivo).

Norma

El espacio pre-Hilbert puede considerarse normalizado , ya que el producto interior genera una norma natural :

.

En los casos en los que el producto escalar no es estrictamente definido positivo, es decir, se elige de modo que pueda ser cero para distinto de cero (lo que puede ser difícil de evitar en algunos casos de dimensión infinita), entonces la expresión anterior no da una norma, pero solo un seminor .

Propiedades

Teorema de Von Neumann-Yordmann : si la ley del paralelogramo es válida en un espacio semi-normado , entonces  es pre-Hilbert, es decir, existe (y, además, el único) producto escalar tal que .

Ejemplo

En la teoría de las series de Fourier , se utiliza mucho el espacio pre-Hilbert de funciones reales con cuadrado integrable.

si el producto escalar se define como

El producto escalar introducido de esta forma no da una norma, sino solo una seminorma, a menos que identifiquemos funciones que difieren solo en un conjunto de medida cero (como se hace en la construcción estándar del espacio L 2 ).

Véase también