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 .