• $A$ – funcan-8
• $M$ – инвариантное подпространство относительно $A$

Тогда

• $M^{\perp}$ – инвариантно относительно $A$

Док-во

• $\forall y \in M^{\perp}:,,\forall x \in M,(x, y) = 0$
• Пространство инвариантно, значит, $Ax \in M$, $0 = (Ax, y) = (x, Ay)$
• Следовательно, $Ay \in M^{\perp}$