Die kanonische Zerlegung eines linearen Endomorphismus in eine Summe kommutierender Teile: einen semisimplen (diagonalisierbaren) Teil und einen nilpotenten Teil, wobei beide Teile Polynome des ursprünglichen Operators sind; die Zerlegung ist eindeutig, wo sie existiert.

Prinzip

Für einen Endomorphismus, dessen Minimalpolynom in lineare Faktoren über dem Feld zerfällt, lässt sich X = X_s + X_n schreiben mit X_s semisimplem, X_n nilpotentem, [X_s,X_n]=0, wobei X_s und X_n Polynome in X sind; es gibt auch multiplikative Versionen für invertierbare Elemente (semisimple × unipotent).

Demonstration

Ein Jordan-Block J = λ I + N zeigt die Zerlegung: der semisimpele Teil ist λ I (diagonalisierbar) und der nilpotente Teil ist N (streng oberdreieckig); das Zusammenfügen der Blöcke liefert die globale Zerlegung auf dem verallgemeinerten Eigenraum.

Fehlanwendung

Die Jordan-Zerlegung (additive Zerlegung in kommutierende semisimple und nilpotente Teile) mit der Jordan-Normalform als reinem Matrixmuster zu verwechseln; anzunehmen, die Zerlegung existiere über dem Grundkörper ohne Prüfen des Zerfalls, führt zu falschen Schlüssen.

Konsequenz

Die Jordan-Zerlegung trennt spektrales (diagonalisierbares) Verhalten von nilpotentem (Scher-) Verhalten und ermöglicht verfeinerte Invariantenanalyse, Funktionalrechnung am semisimplen Teil sowie strukturelle Resultate in Darstellungstheorie und algebraischen Gruppen.

Umkehrung

Die Umkehr besteht darin, einen Operator nur über seine Jordan-Normalform oder rationale Blöcke zu betrachten, ohne die kommutierenden semisimple und nilpotenten Anteile explizit zu trennen; additive und multiplikative Zerlegungen bieten duale Perspektiven.

Abgrenzung

Existenz und Eindeutigkeit erfordern typischerweise, dass das Minimalpolynom zerfällt (z. B. über einem algebraisch abschließenden oder geeigneten perfekten Feld); über allgemeineren Körpern oder Ringen können Obstruktionen auftreten und die Komponenten erst in einer Erweiterung existieren.

Semantische Spannung

Spannung zwischen Jordan-Zerlegung und rationaler Normalform: Beide erfassen nicht-diagonalisierbare Struktur, aber die Jordan-Zerlegung betont kommutierende additive Stücke (semisimple vs. nilpotent), während die rationale Form die invarianten Faktoren kodiert, ohne notwendigerweise kommutierende Polynomanteile über dem Grundkörper zu liefern.

Synthese

Die Jordan-Zerlegung teilt einen Endomorphismus klar in kommutierende spektrale und nilpotente Beiträge: wo sie anwendbar ist, liefert sie eine eindeutige additive Aufspaltung, die den diagonalisierbaren Anteil und die verbleibende nilpotente Wirkung klärt und lokale Jordan-Blöcke mit globaler algebraischer Struktur verbindet.