Endlichdimensionaler Vektorraum/Lineare Abbildung/Zwei Haupträume/Fakt/Beweis
Beweis
Das charakteristische Polynom von sei
wobei in weder noch eine Nullstelle sei. Nach Fakt, angewendet auf , ist
Wegen folgt daraus sofort
Das charakteristische Polynom von sei
wobei in weder
noch
eine Nullstelle sei. Nach
Fakt,
angewendet auf
,
ist
Wegen
folgt daraus sofort