Un espacio vectorial completo sobre los reales o complejos equipado con un producto interno cuya norma inducida hace que el espacio sea completo frente a sucesiones de Cauchy; admite ortogonalidad, proyecciones y evoluciones unitarias.

Principio

El producto interno ⟨·,·⟩ induce una norma ‖v‖=√⟨v,v⟩ y la completitud (toda sucesión de Cauchy converge) garantiza que existan límites para sucesiones definidas por desarrollos ortogonales, permitiendo aplicar técnicas analíticas y espectrales.

Demostración

L^2(Ω), el espacio de funciones cuadrado‑integrables en un dominio Ω con producto interno ⟨f,g⟩=∫_Ω f* g dx, es un espacio de Hilbert; bases ortonormales permiten expandir elementos en series convergentes y definen proyecciones ortogonales sobre subespacios cerrados.

Aplicación incorrecta

Tratar un preespacio de Hilbert (un espacio con producto interno que no es completo) como si fuera completo lleva a conclusiones erróneas sobre convergencia y existencia de límites—por ejemplo, las sucesiones de soporte finito son densas pero no completas hasta tomar la completación.

Consecuencia

La estructura de espacio de Hilbert permite resultados como existencia de proyecciones ortogonales sobre subespacios cerrados, expansión en bases ortonormales y definiciones bien planteadas de operadores adjuntos y unitarios relevantes en teoría cuántica y análisis funcional.

Inversión

Un espacio de Banach puede ser completo respecto de una norma pero carecer de producto interno; la ausencia de producto interno elimina nociones canónicas de ortogonalidad y proyección por minimización del producto interno.

Límite

Requiere un producto interno definido positivo y completitud métrica; excluye espacios con producto interno indefinido (espacios de Krein), espacios con producto interno no completos y estructuras puramente algebraicas sin topología.

Tensión semántica

Los espacios euclídeos finito‑dimensionales son espacios de Hilbert con completación trivial, pero los espacios de Hilbert infinitodimensionales introducen sutilezas (bases, separabilidad, operadores compactos) ausentes en el álgebra lineal finita.

Síntesis

Un espacio de Hilbert es un espacio con producto interno completo cuya geometría de ángulos y longitudes junto con la completitud permiten descomposiciones ortogonales, operadores de proyección y el instrumental analítico de la teoría espectral y de operadores unitarios.