La representación de un operador lineal como una matriz diagonal (o una forma de multiplicación por variable) respecto a una base ortonormal apropiada, cuando existe tal base; en espacios de Hilbert de dimensión finita es la descomposición en valores propios obtenida por un cambio de base unitario para operadores normales y, en general, por el teorema espectral para operadores auto-adjuntos o normales.

Principio

Un operador es diagonalizable cuando su acción se reduce a multiplicaciones escalares independientes sobre vectores de base; esto exige suficientes vectores propios (ausencia de defectos) y típicamente normalidad (conmutación con su adjunto) para que una matriz unitaria lo diagonalice.

Demostración

Para una matriz hermítica H de dimensión finita existe una unitaria U tal que U† H U = diag(λ1, …, λn); para un operador auto-adjunto no acotado en L2(R), el teorema espectral lo expresa como una integral sobre medidas proyectivas, generalizando la representación diagonal a espectros continuos.

Aplicación incorrecta

Afirmar diagonalización para una matriz no normal (con menos de n vectores propios independientes) o tratar un bloque de Jordan como diagonal produce cálculo funcional erróneo y dinámica incorrecta; asimismo, pretender diagonalizar en una base incompleta o ignorar cuestiones de dominio en dimensión infinita es un uso indebido.

Consecuencia

Cuando es válida, la diagonalización transforma ecuaciones de operadores en ecuaciones escalares, simplifica exponenciales y funciones de operadores, convierte cálculos de evolución temporal y estadísticas de medida en operaciones sobre valores propios y revela multiplicidades espectrales.

Inversión

El concepto inverso es un operador no diagonalizable (defectuoso) o que solo admite forma de Jordan: no puede reducirse a multiplicaciones escalares puras y presenta vectores propios generalizados y partes nilpotentes.

Límite

Se aplica a operadores normales acotados en dimensión finita y a operadores auto-adjuntos/normales bajo el teorema espectral en dimensión infinita; excluye operadores acotados no normales sin base completa de eigenvectores y los operadores no acotados requieren especificación rigurosa del dominio.

Tensión semántica

Conceptos cercanos incluyen la diagonalización por bloques, la descomposición en valores singulares (que diagonaliza mediante dos unitarias pero no necesariamente por semejanza) y la descomposición espectral para espectros continuos; todos ofrecen simplificación tipo diagonal pero difieren en hipótesis e invariantes.

Síntesis

La diagonalización es la reducción de un operador a acciones escalares independientes sobre una base ortonormal completa cuando lo permiten las propiedades espectrales; es el puente práctico entre el álgebra de operadores y los datos espectrales escalares usado para cálculo funcional y dinámica.