Definición
Una medida valorada en proyecciones (o escalar) sobre el espectro de un operador que descompone el operador en componentes espectrales y asigna pesos a bandas de frecuencia o energía.
Principio
Principio
Por el teorema espectral, un operador normal (o autoadjunto) puede representarse como una integral sobre su espectro respecto de una medida espectral; esta medida determina el cálculo funcional y las proyecciones espectrales.
Demostración
Demostración
Para un operador de multiplicación autoadjunto (M_f) en L2, la medida espectral concentrada en los valores de f proporciona proyectores sobre los subespacios donde f toma valores en conjuntos borelianos especificados.
Aplicación incorrecta
Aplicación incorrecta
Usar una medida espectral construida para un operador autoadjunto acotado para tratar un operador no normal o no acotado sin control del dominio puede producir descomposiciones inválidas e identificar erróneamente tipos espectrales.
Consecuencia
Consecuencia
Una medida espectral correctamente identificada permite calcular la evolución e^{itA}, distinguir espectro continuo y discreto, y apoyar distribuciones de probabilidad para resultados de medida en contextos cuánticos.
Inversión
Inversión
Sustituir una medida espectral por un mero conjunto espectral (puntos del espectro) elimina la información de multiplicidad y ponderación; el conjunto por sí solo no reconstruye la acción del operador ni sus proyectores.
Límite
Límite
Se aplica a operadores en espacios de Hilbert que cumplen las hipótesis del teorema espectral; no se extiende de forma simple a operadores no normales generales ni a operadores sin resolución de la identidad.
Tensión semántica
Tensión semántica
Existe tensión con la noción informal de 'espectro' como conjunto de frecuencias; la medida espectral refina ese conjunto especificando tipo espectral (punto puro, absolutamente continuo, singular) y multiplicidad.
Síntesis
Síntesis
Una medida espectral es el objeto medida-teórico que, junto con el espectro, codifica por completo cómo un operador se descompone en componentes espectrales ortogonales y cómo actúan las funciones del operador.