例 4.32

依赖于

被以下题目直接调用

例 4.32

是数域 上的线性空间, 上的非零线性变换。求证:存在 ,使得

解答

证明 因为 ,所以 的真子空间。由例 3.54 可知,有限个真子空间 不能覆盖全空间 ,故必存在 ,使得 不属于任意一个 ,从而结论得证。