Definición
Para un operador compacto auto-adjunto T en un espacio de Hilbert H, el teorema espectral afirma que H admite una base ortonormal de autovectores de T, los autovalores correspondientes son reales, contables (con posible acumulación en 0) y cada autovalor no nulo tiene multiplicidad finita; T se representa como una serie convergente T = Σ λ_k ⟨·,u_k⟩ u_k.
Principio
Principio
La compacidad discreta el espectro (salvo quizá 0) mientras que la auto-adjunción impone autovalores reales y ortogonalidad de autovectores; en conjunto permiten una diagonalización análoga a las matrices hermíticas de dimensión finita.
Demostración
Demostración
Un operador integral simétrico de Hilbert–Schmidt (Kf)(x)=∫ K(x,y) f(y) dy en L^2 con núcleo simétrico de cuadrado integrable posee un conjunto ortonormal contable de autofunciones y una expansión en pares propios que converge para operadores de clase compacta.
Aplicación incorrecta
Aplicación incorrecta
Aplicar esta conclusión de base discreta de autovectores a operadores auto-adjuntos acotados no compactos (que pueden presentar espectro continuo) o a operadores compactos no auto-adjuntos (que pueden tener espectro no real y autofunciones no ortogonales).
Consecuencia
Consecuencia
Se obtiene expansión espectral explícita, cálculo funcional para T y propiedades de convergencia para métodos iterativos; las descomposiciones espectrales reducen muchos problemas lineales a ecuaciones escalares en coordenadas propias.
Inversión
Inversión
El teorema espectral general para operadores auto-adjuntos acotados usa una medida proyectiva y produce una descomposición espectral continua en vez de una base propia discreta; operadores normales no auto-adjuntos requieren marcos distintos de diagonalización unitaria.
Límite
Límite
Las hipótesis son esenciales: compacidad y auto-adjunción; sin compacidad el espectro puede ser continuo, sin auto-adjunción los autovalores pueden ser complejos y las multiplicidades algebraicas y geométricas pueden diferir.
Tensión semántica
Tensión semántica
Existe tensión entre la intuición finita-dimensional de diagonalización y los fenómenos en dimensión infinita: base propia discreta frente a espectro continuo y la necesidad de medidas proyectivas en el caso general.
Síntesis
Síntesis
El teorema espectral para operadores compactos auto-adjuntos generaliza la diagonalización finita-dimensional: garantiza un espectro real discreto con base propia ortonormal y una expansión del operador por sus autovalores, permitiendo cálculo funcional y reducción modal en espacios de Hilbert de dimensión infinita.