例 6.39
依赖于
- 无显式依赖
被以下题目直接调用
例 6.39
设数域 上的 阶矩阵 的特征值都在 中,求证: 在 上可上三角化,即存在 上的可逆矩阵 ,使得 是上三角矩阵。
解答
证明 对阶数进行归纳。当 时结论显然成立,设对 阶矩阵结论成立,现对 阶矩阵 进行证明。设 是 的一个特征值,则由线性方程组的求解理论可知,存在特征向量 ,使得 。由基扩张定理,可将 扩张为 的一组基 ,于是
其中 是 上的 阶矩阵。令 ,则 是 上的 阶可逆矩阵,且由上式可得
由此可得
从而 的特征值也全在 中,故由归纳假设,存在 上的 阶可逆矩阵 ,使得 是上三角矩阵。令
则 是 上的 阶可逆矩阵,且
是上三角矩阵。
评论
支持 Markdown 和 LaTeX 数学公式。