例 7.37

依赖于

被以下题目直接调用

例 7.37

维复线性空间 上的线性变换,求证: 可对角化的充要条件是 对任一 -不变子空间 ,均存在 -不变子空间 ,使得 。这样的 称为 -不变补空间。

解答

证明 先证充分性。假设 不能对角化,则 只有 个线性无关的特征向量, 其中 。设由这些特征向量张成的子空间为 ,由条件可知, 存在非零的 -不变补空间 。考虑限制变换 ,它在 上必存在特征值和特征向量, 这些也是 的特征值和特征向量,于是 有多于 个线性无关的特征向量, 矛盾!

再证必要性。设 可对角化,-不变子空间,则由例 7.36 可知, 仍可对角化,故存在 的一组基 ,它们是 ,也是 的线性无关的特征向量。又因为 可对角化,故存在 个线性无关的特征向量 ,再由基扩张定理可知,可以从这组基中取出 个向量和 一起组成 的一组基。设这 个向量张成的子空间为 ,则 -不变补空间。