Definición
Un operador normal N en un espacio de Hilbert es un operador lineal que conmuta con su conjugado hermítico: NN† = N†N. La normalidad generaliza propiedades de operadores hermíticos y unitarios relevantes para descomposiciones espectrales.
Principio
Principio
La conmutación con el adjunto asegura que N es diagonalizable por una transformación unitaria en contextos finito-dimensionales o acotados adecuados, permitiendo un teorema espectral análogo al caso hermítico.
Demostración
Demostración
En dimensión finita toda matriz normal es diagonalizable unitariamente. Ejemplo: una matriz diagonal compleja diag(λ1,λ2) es normal porque conmuta con su adjunto; las matrices hermíticas y unitarias son casos normales.
Aplicación incorrecta
Aplicación incorrecta
Inferir que la normalidad implica autovalores reales o que toda matriz diagonalizable es normal; la normalidad garantiza diagonalización unitaria pero no espectro real (solo el caso hermítico lo hace).
Consecuencia
Consecuencia
Identificar correctamente operadores normales permite usar el teorema espectral: expansión en autovectores ortonormales (o medidas espectrales) y cálculo funcional definido por el espectro del operador.
Inversión
Inversión
Un operador no normal no conmuta con su adjunto y puede carecer de una base completa de autovectores ortonormales; tales operadores pueden tener espectros defectuosos y requerir descomposiciones de Jordan o no unitarias.
Límite
Límite
La afirmación supone dominios y acotamiento apropiados para una diagonalización unitaria directa; operadores normales no acotados requieren consideraciones de dominio y medidas espectrales.
Tensión semántica
Tensión semántica
Normal versus diagonalizable o hermítico: diagonalizable por similaridad no implica normalidad (que exige diagonalización unitaria), y la normalidad incluye pero no coincide con la hermiticidad o unitariedad.
Síntesis
Síntesis
Un operador normal satisface NN† = N†N; esta conmutación con el adjunto es la propiedad estructural que garantiza diagonalización unitaria y sustenta un cálculo espectral que extiende los casos hermítico y unitario.