例 7.37
依赖于
被以下题目直接调用
- 无
例 7.37
设 是 维复线性空间 上的线性变换,求证: 可对角化的充要条件是 对任一 -不变子空间 ,均存在 -不变子空间 ,使得 。这样的 称为 的 -不变补空间。
解答
证明 先证充分性。假设 不能对角化,则 只有 个线性无关的特征向量, 其中 。设由这些特征向量张成的子空间为 ,由条件可知, 存在非零的 -不变补空间 。考虑限制变换 ,它在 上必存在特征值和特征向量, 这些也是 的特征值和特征向量,于是 有多于 个线性无关的特征向量, 矛盾!
再证必要性。设 可对角化, 是 -不变子空间,则由例 7.36 可知, 仍可对角化,故存在 的一组基 ,它们是 ,也是 的线性无关的特征向量。又因为 可对角化,故存在 个线性无关的特征向量 ,再由基扩张定理可知,可以从这组基中取出 个向量和 一起组成 的一组基。设这 个向量张成的子空间为 ,则 是 的 -不变补空间。
评论
支持 Markdown 和 LaTeX 数学公式。