例 6.66
依赖于
- 无显式依赖
被以下题目直接调用
例 6.66
设 阶矩阵 适合首一多项式 ,并且 在复数域中无重根, 证明: 可对角化。
解答
证明 设
是复数域上的因式分解,其中 是互异的复数。我们先来证明:
设 ,则 ,故存在 ,使得
代入 ,可得恒等式
对任一 ,由上式可知
注意到
故 ,于是
任取
, 则 ,其中 。由 (6.6) 式可知
注意到下指标可任意选,故 (6.7) 式是直和。
由于 适合 ,故 的特征值也适合 ,从而只可能是 中的一部分。在 (6.5) 式中剔除等于零的直和分量,这就证明了 全空间等于特征子空间的直和,从而 可对角化。
评论
支持 Markdown 和 LaTeX 数学公式。