Definición
La afirmación matemática de que operadores normales (en mecánica cuántica, en particular autoadjuntos) admiten una representación espectral: pueden expresarse mediante una medida valor-proyección P(·) como A = ∫ λ dP(λ), lo que sustenta diagonalización, cálculo funcional e interpretación probabilística de las observables.

Principio

Principio
El teorema spectral organiza la estructura de los operadores descomponiendo el espacio de Hilbert en subespacios espectrales ortogonales de modo que la acción del operador sea localmente escalar, permitiendo un cálculo funcional bien definido y vinculando el álgebra de operadores con resultados medibles.

Demostración

Demostración
Para un operador autoadjunto acotado en un espacio de Hilbert separable, el teorema garantiza la existencia de una medida única valor-proyección P en la σ-álgebra boreliana de la recta real con A = ∫ λ dP(λ); en dimensión finita esto se reduce a la diagonalización mediante una matriz unitaria.

Aplicación incorrecta

Aplicación incorrecta
El uso indebido del teorema spectral asumiendo que se aplica literalmente a operadores no normales o ignorando cuestiones de dominio para operadores no acotados conduce a afirmaciones incorrectas sobre diagonalizabilidad y medidas espectrales.

Consecuencia

Consecuencia
Aplicado correctamente, el teorema spectral proporciona la maquinaria para definir f(A) para funciones de Borel f, construir la evolución temporal vía exponenciales de hamiltonianos e interpretar estadísticas de medida mediante medidas proyectoras.

Inversión

Inversión
El énfasis inverso trata la medida valor-proyección y el cálculo funcional medible como primarios y ve el operador como un objeto derivado; esto destaca los fundamentos teoría-de-medida por encima de la intuición matricial.

Límite

Límite
Válido para operadores normales (autoadjuntos, unitarios o más generalmente normales); para operadores autoadjuntos no acotados se requiere una especificación cuidadosa del dominio y la cálculo funcional con medidas espectrales; los operadores no normales quedan fuera del ámbito directo.

Tensión semántica

Tensión semántica
Existe tensión entre la diagonalización elemental enseñada en álgebra lineal finita y el teorema spectral completo: este último generaliza la diagonalización pero introduce medidas valor-proyección y distinciones medida-teóricas sutiles necesarias para las observables cuánticas.

Síntesis

Síntesis
El teorema spectral afirma que las observables cuánticas (operadores autoadjuntos) admiten una representación como integrales contra medidas valor-proyección, proporcionando la base rigurosa para la diagonalización, funciones de operadores, dinámica y el vínculo entre el formalismo operatorio y las probabilidades de medida.