Es sei
-
ein
trigonalisierbarer
-Endomorphismus
auf dem
endlichdimensionalen
-Vektorraum
. Dann ist
die
direkte Summe
der
Haupträume,
also
-

wobei
die verschiedenen
Eigenwerte
zu
durchläuft, und
ist die
direkte Summe
der Einschränkungen
-
auf den Haupträumen
.