例 6.40
依赖于
被以下题目直接调用
例 6.40
设 是数域 上的 阶矩阵,满足: 且 的特征值都在 中,求证: 在 上可同时上三角化,即存在 上的可逆矩阵 ,使得 和 都是上三角矩阵。
解答
证明 对阶数进行归纳。当 时结论显然成立,设对 阶矩阵结论成立,现对 阶矩阵进行证明。因为 且 的特征值都在 中,故由例 6.38 可知, 有公共的特征向量 ,不妨设
其中 分别是 的特征值。由基扩张定理,可将 扩张为 的一组基 。令 ,则 是 上的 阶可逆矩阵,且有
其中 是 上的 阶矩阵。从 不难推出 ,又容易验证 的特征值都在 中,故由归纳假设,存在 上的 阶可逆矩阵 ,使得 和 都是上三角矩阵。令
则 是 上的 阶可逆矩阵,且
都是上三角矩阵。
评论
支持 Markdown 和 LaTeX 数学公式。