例 7.13

依赖于

被以下题目直接调用

例 7.13

-不变子空间,求证: 为循环子空间的充要条件是 的某组基下的表示矩阵为某个首一多项式的友阵。

解答

证明 先证充分性。设 的一组基 下的表示矩阵是友阵 ,其中 ,则由友阵的定义(例 2.3)可知

因此 为循环子空间。

再证必要性。设 维循环子空间,则由例 7.12 可知 的一组基。设

,容易验证: 在基

下的表示矩阵就是友阵