Vektorraum/K/Endlichdimensional/Endomorphismus/Invariante Unterräume/Orthogonales Komplement/Fakt/Beweis

Beweis

Sei invariant unter . Es sei und . Dann ist

Die Umkehrung ergibt sich daraus, dass die Situation wegen Fakt  (3) und Fakt  (3) symmetrisch ist.