La descomposición canónica de un endomorfismo lineal en una suma de partes que conmutan: una parte semisimple (diagonalizable) y una parte nilpotente, cada una siendo un polinomio del operador original; la descomposición es única cuando existe.

Principio

Dado un endomorfismo cuyo polinomio minimal se divide en factores lineales sobre el campo, se puede escribir X = X_s + X_n donde X_s es semisimple, X_n es nilpotente, [X_s,X_n]=0, y ambos son polinomios en X; existen versiones multiplicativas para elementos invertibles (semisimple × unipotente).

Demostración

Un bloque de Jordan J = λ I + N exhibe la descomposición explícitamente: la parte semisimple es λ I y la parte nilpotente es N (estrictamente triangular superior); ensamblando bloques se obtiene la descomposición global sobre el espacio de autovectores generalizados.

Aplicación incorrecta

Confundir la descomposición de Jordan (separación aditiva en partes semisimple y nilpotente que conmutan) con la forma canónica de Jordan como patrón matricial; suponer que la descomposición existe sobre el campo base sin comprobar el escindido puede llevar a conclusiones incorrectas.

Consecuencia

La descomposición de Jordan separa el comportamiento espectral (diagonalizable) del comportamiento nilpotente (cizallamiento), permitiendo un análisis fino de invariantes, cálculo funcional sobre la parte semisimple y resultados estructurales en teoría de representaciones y grupos algebraicos.

Inversión

La inversión es tratar un operador únicamente por su forma normal de Jordan o por bloques racionales sin separar explícitamente las partes semisimple y nilpotente que conmutan; las descomposiciones aditiva y multiplicativa ofrecen perspectivas duales.

Límite

La existencia y unicidad suelen requerir que el polinomio minimal se descomponga (por ejemplo sobre un campo algebraicamente cerrado o perfecto adecuado); sobre campos o anillos más generales pueden surgir obstrucciones y las componentes pueden existir sólo en una extensión.

Tensión semántica

Tensión entre descomposición de Jordan y forma canónica racional: ambas capturan la estructura no diagonalizable, pero la descomposición de Jordan enfatiza las piezas aditivas conmutantes (semisimple vs nilpotente) mientras que la forma racional codifica factores invariantes sin necesariamente producir piezas polinomiales conmutantes sobre el campo base.

Síntesis

La descomposición de Jordan particiona claramente un endomorfismo en contribuciones espectrales y nilpotentes que conmutan: donde se aplica, proporciona una división aditiva única que clarifica el contenido diagonalizable del operador y su acción nilpotente residual, conectando bloques de Jordan locales con la estructura algebraica global.