例 6.40

依赖于

被以下题目直接调用

例 6.40

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

解答

证明 对阶数进行归纳。当 时结论显然成立,设对 阶矩阵结论成立,现对 阶矩阵进行证明。因为 的特征值都在 中,故由例 6.38 可知, 有公共的特征向量 ,不妨设

其中 分别是 的特征值。由基扩张定理,可将 扩张为 的一组基 。令 ,则 上的 阶可逆矩阵,且有

其中 上的 阶矩阵。从 不难推出 ,又容易验证 的特征值都在 中,故由归纳假设,存在 上的 阶可逆矩阵 ,使得 都是上三角矩阵。令

上的 阶可逆矩阵,且

都是上三角矩阵。