例 6.39

依赖于

  • 无显式依赖

被以下题目直接调用

例 6.39

设数域 上的 阶矩阵 的特征值都在 中,求证: 上可上三角化,即存在 上的可逆矩阵 ,使得 是上三角矩阵。

解答

证明 对阶数进行归纳。当 时结论显然成立,设对 阶矩阵结论成立,现对 阶矩阵 进行证明。设 的一个特征值,则由线性方程组的求解理论可知,存在特征向量 ,使得 。由基扩张定理,可将 扩张为 的一组基 ,于是

其中 上的 阶矩阵。令 ,则 上的 阶可逆矩阵,且由上式可得

由此可得

从而 的特征值也全在 中,故由归纳假设,存在 上的 阶可逆矩阵 ,使得 是上三角矩阵。令

上的 阶可逆矩阵,且

是上三角矩阵。