例 6.66

依赖于

  • 无显式依赖

被以下题目直接调用

例 6.66

阶矩阵 适合首一多项式 ,并且 在复数域中无重根, 证明: 可对角化。

解答

证明

是复数域上的因式分解,其中 是互异的复数。我们先来证明:

,则 ,故存在 ,使得

代入 ,可得恒等式

对任一 ,由上式可知

注意到

,于是

任取

, 则 ,其中 。由 (6.6) 式可知

注意到下指标可任意选,故 (6.7) 式是直和。

由于 适合 ,故 的特征值也适合 ,从而只可能是 中的一部分。在 (6.5) 式中剔除等于零的直和分量,这就证明了 全空间等于特征子空间的直和,从而 可对角化。