Invariant subspaces and annihilators ($T(U)\subseteq U⟹T^{\prime }(U^0)\subseteq U^0$)

For a linear map $T:V\to V$, an invariant subspace $U$ has an annihilator of a vector subspace $U^0$ invariant under the dual map $T^{\prime }$. Indeed, for $\phi \in U^0$ and $u\in U$,For a finite-dimensional vector space, the converse also holds. If $T^{\prime }(U^0)\subseteq U^0$, every $\phi \in U^0$ vanishes on $Tu$ for each $u\in U$. The dual basis description of $U^0$ shows that the common zero set of its linear functionals is exactly $U$, so $Tu\in U$. ThusThe dimension identity $\dim U^0=\dim V-\dim U$ exchanges a one-dimensional invariant subspace with an invariant hyperplane in the dual space.