Nun soll gezeigt werden, dass ein Unterraum U von V F-invariant ist, wenn G:V/U ↦ V/U,
was jeder Klasse [v] die Klasse [F(v)] zuordnet (Das sind keine Komplemente.)
eine lineare Abbildung ist.
Sei also G eine lineare Abbildung und U ein Unterraum. Angenommen U ist
nicht F-invariant, dann gibt es ein u∈U mit f(u) ∉ U.
Da G linear ist , ist G( [0] ) = [0] .
Außerdem ist u∈U also [u] = [0] somit wäre [0] = G[u]= [f(u)]
im Widerspruch zu f(u) ∉ U.