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.