Es sei V {\displaystyle {}V} ein endlichdimensionaler K {\displaystyle {}K} -Vektorraum und
eine lineare Abbildung.
Dann gibt es ein r ∈ N + {\displaystyle {}r\in \mathbb {N} _{+}} derart, dass es eine direkte Summenzerlegung
mit
und
Diese Unterräume sind φ {\displaystyle {}\varphi } -invariant.