例 7.33
依赖于
被以下题目直接调用
例 7.33
设 是 阶复矩阵,证明: 可分解为
其中 是可对角化矩阵, 是幂零矩阵且 ,并且这种分解是唯一的。
解答
证明 设 的 Jordan 标准型为
其中 是 的全体不同特征值, 是属于特征值 的所有 Jordan 块拼成的分块对角矩阵。注意到 ,其中 是幂零矩阵,故 可以分解为一个对角矩阵 与一个幂零矩阵 之和且它们乘法可交换。于是 可以分解为 ,其中 相似于对角矩阵, 是幂零矩阵且 。这时显然有 。
为了证明唯一性,我们首先证明存在多项式 ,使得 。由于 是幂零矩阵,故 适合多项式 ,显然 两两互素。设 为常数多项式,则 。由例 7.31 可知,存在多项式 ,使得 ,于是 。注意到 ,故 也是 的多项式。
设另有满足条件的分解 且 ,则 ,即 和 乘法可交换,同理可证 和 乘法可交换。因为 都是 的多项式,所以 和 乘法可交换, 和 乘法可交换。由例 6.41 可知, 和 可同时对角化, 即存在可逆矩阵 ,使得 和 都是对角矩阵,因此 相似于对角矩阵。另一方面,从 和 的乘法可交换性和幂零性容易推出 也是幂零矩阵。事实上,若 ,则 。注意到 ,故 ,即 。
评论
支持 Markdown 和 LaTeX 数学公式。