定义 7.2.1.
设\(U\)是\(V\)的子空间,\(\phi\in \mathcal{L}(V)\),且满足\(\phi(U)\subseteq U\),则称\(U\)是\(\phi\)-不变子空间 或\(\phi\)-子空间 。
将\(\phi\)限制在不变子空间\(U\)上,导出\(U\)的线性变换,称为\(\phi\)在\(U\)上的限制变换 (或称为\(\phi\)在\(U\)上的导出变换), 记为\({\color{red}\phi|_U}\),即\(\phi|_U: U\to U \)是\(U\)上的线性变换,且满足
\begin{equation*}
\phi|_U(\alpha)=\phi(\alpha),\ \forall \alpha\in U.
\end{equation*}
