Let V ≠ 0 {\displaystyle {}V\neq 0} be a real finite-dimensional vector space, and let
denote an endomorphism.
φ {\displaystyle {}\varphi } -invariant linear subspace U ⊆ V {\displaystyle {}U\subseteq V} of dimension