El proceso de encontrar una base en la que un operador lineal o una matriz está representado por una matriz diagonal, equivalente a hallar un conjunto completo de vectores propios de modo que el operador actúe por multiplicaciones escalares sobre cada vector de la base.

Principio

Un operador lineal es diagonalizable sobre un cuerpo si y solo si el espacio vectorial admite una base de vectores propios; algebraicamente esto suele corresponder a que el polinomio minimal (o característico) se descomponga en factores lineales con multiplicidades geométricas que coincidan con las multiplicidades algebraicas, siendo crítica la dependencia del cuerpo base.

Demostración

La matriz [[2,0],[0,3]] ya es diagonal y por tanto diagonalizable con valores propios 2 y 3. El bloque de Jordan [[1,1],[0,1]] no es diagonalizable sobre ningún cuerpo porque carece de dos vectores propios independientes. Una matriz simétrica real es diagonalizable por un cambio de base ortogonal.

Aplicación incorrecta

Suponer que una matriz es diagonalizable sobre R cuando sus valores propios son complejos, o confundir diagonalizabilidad con simetría: la simetría implica diagonalizabilidad (sobre R) pero la diagonalizabilidad no implica simetría; tratar defectos de multiplicidad como irrelevantes es erróneo.

Consecuencia

Cuando es diagonalizable, muchas tareas se simplifican: calcular potencias y exponenciales del operador se reduce a operaciones escalares sobre los valores propios; los sistemas se desacoplan en ecuaciones escalares independientes; las descomposiciones espectrales aclaran la dinámica y la estabilidad.

Inversión

La imposibilidad de diagonalizar conduce a la forma canónica de Jordan u otras formas triangulares canónicas; la triangularización es una forma normal más débil que existe siempre sobre cuerpos algebraicamente cerrados pero mantiene acoplamientos entre subespacios propios generalizados.

Límite

La diagonalizabilidad depende del cuerpo base y de la existencia de una base completa de vectores propios; defectos de multiplicidad, polinomios inseparables en característica positiva y cuerpos no algebraicamente cerrados pueden impedir la diagonalización. Incluso cuando existe, la forma diagonal está definida salvo permutación de entradas y escalado de los vectores propios.

Tensión semántica

Tensión entre la diagonalización como forma algebraica y la descomposición espectral con estructuras ortogonales o unitarias: los operadores normales o simétricos admiten bases ortonormales de vectores propios, lo que refuerza la diagonalización; la diagonalización general puede requerir bases no ortogonales.

Síntesis

La diagonalización identifica un sistema de coordenadas de vectores propios en el que un operador lineal actúa por multiplicaciones escalares simples, simplificando en gran medida el análisis cuando es posible; cuando no lo es, se recurre a formas de Jordan o triangulares que muestran el acoplamiento residual entre vectores propios generalizados.