Un espacio completo con producto interno (real o complejo) en el que el producto interno induce la norma y donde están bien definidas la ortogonalidad, bases ortonormales, proyecciones y métodos espectrales.

Principio

Combinar estructura lineal con un producto interno que mide ángulos y longitudes de modo que ideas geométricas (ortogonalidad, proyección) y herramientas analíticas (expansiones de Fourier, representación de Riesz) generalicen la geometría euclídea a dimensiones infinitas.

Demostración

L^2(Ω) con ⟨f,g⟩ = ∫_Ω f ḡ es un espacio de Hilbert canónico usado en mecánica cuántica y procesamiento de señales; las sucesiones ℓ^2 y los espacios euclídeos finito‑dimensionales son ejemplos básicos donde las bases ortonormales permiten identidades de Parseval/Plancherel.

Aplicación incorrecta

Asumir que un espacio de Banach arbitrario es Hilbert (es decir, que su norma proviene de un producto interno) puede llevar a usar indebidamente proyecciones ortogonales y teoremas espectrales; tratar la convergencia débil como equivalente a la convergencia en norma es otro error común.

Consecuencia

Identificar correctamente un espacio de Hilbert permite usar descomposición ortogonal, teoremas de proyección, el teorema de representación de Riesz para funcionales lineales y la teoría espectral para operadores auto-adjuntos — herramientas potentes en EDP, teoría cuántica y aproximación.

Inversión

La inversión es un espacio de Banach sin estructura de producto interno: la completitud de la norma puede conservarse pero las nociones geométricas de ángulo y ortogonalidad pueden no existir o ser incompatibles con la norma.

Límite

Se aplica solo cuando se especifica un producto interno y el espacio es completo respecto a la norma inducida; excluye espacios con producto interno incompleto, espacios normados sin representación por producto interno y espacios donde solo se considera topología débil sin marco de producto interno.

Tensión semántica

Tensión entre las perspectivas de Hilbert y Banach: la geometría de Hilbert admite ortogonalidad y descomposición espectral, mientras que los espacios de Banach permiten normas más generales pero pueden carecer de la geometría asociada al producto interno; algunos resultados existen en ambos marcos con hipótesis distintas.

Síntesis

Un espacio de Hilbert es un espacio vectorial completo provisto de un producto interno donde la intuición euclídea (ángulos, ortogonalidad, proyecciones) se extiende al análisis en dimensión infinita, soportando expansiones, representación de funcionales y métodos espectrales cuando concurren completitud y compatibilidad del producto interno.