第三章矩阵对角化若当标准型.docVIP

第三章 矩阵的对角化、若当标准型 §3.1 矩阵对角化 线性变换在基下的矩阵若为对角阵，则向量在基下的表示将非常简单，而线性变换在两个基下的矩阵相似，故线性变换在基下矩阵为对角阵问题即为矩阵对角化问题。 一、特征值、特征向量性质 定义1 设，称的全体特征值为的谱。 下面定理1是显然的。 定理1 相似矩阵有相同的特征多项式，从而有相同的谱。 由于矩阵的不同特征值对应的特征子空间的和是直和，故有下面定理2。 定理2 设，则的不同特征值对应的特征向量线性无关。 定义2设，为的特征值，称的特征多项式中的重根数为的代数重复度，称特征子空间的维数为的几何重复度。 由定义2即知的特征值的几何重复度为对应于特征值的线性无关特征向量的个数。 定理3 设，为的特征值，为的几何重复度，则 证明 特征子空间，所以 例1 求的谱，及相异特征值的代数重复度和几何重复度。 解 所以的谱为，，的代数重复度分别为。 的几何重复度 的几何重复度 定理4 设，为的特征值，为的代数重复度，为的几何重复度，则。 证明 因为为的几何重复度，所以对应于有个线性无关的特征向量是特征子空间的基，将扩充为的基 设，则 其中，。 所以矩阵与相似，故特征多项式 又因为 所以。 二、矩阵的对角化 定义3 设，若与对角阵相似，则称可对角化，可对角化的矩阵称为单纯矩阵。 定理5 设，则为单纯矩阵的充分必要条件是的任一特征值的代数重复度等于几何重复度。 证明 设为的全部相异特征值，为的代数重复度，为的几何重复度，。 充分性 因为，，所以有个线性无关的特征向量 其中为对应的特征向量，。 设 则 故 必要性 设与相似，则是的特征值，不妨设 则关于特征值至少有个线性无关的特征向量，即，又由定理4：，故得，。 由定理5的证明显然有下面的结论。 推论1 设，则为单纯矩阵的充分必要条件是有个线性无关的特征向量。 推论2 设，若有个不同的特征值，则为单纯矩阵。 三、正规阵及其对角化 定义4 设，如果，则称为复（实）正规阵。 显然埃尔米特矩阵（对称阵）、反埃尔米特矩阵（反对称阵）和酉矩阵（正交阵）都是复（实）正规阵。 定义5 设，若，使得 （） 则称酉（正交）相似。 引理1（司楚尔（Schur）引理） 设，则，使得，其中是上三角阵，且的对角线为的特征值。 证明 用归纳法 当时，命题显然。假设时命题成立，要证时命题也成立。 设，为的特征值，为其对应的特征向量，且。将扩充为的标准正交基 记，则 因为，故由假设，使得，其中为上三角阵。所以 所以 记，，则 ，且 其中为上三角阵。 因为与酉相似，故与有相同的特征值，所以的对角线元素为的特征值。 推论3 设，则，使得，其中是 下三角阵，且的对角线为的特征值。 定理6 设，则为正规阵的充分必要条件是，使得，其中，是的特征值。 证明 必要性 由司楚尔引理，使得 ， 且的对角线为的特征值。 因为 所以， 即 比较此式两端即得。 充分性 ，故。 推论4 正规阵是单纯矩阵。 推论5 正规阵的属于不同特征值的特征子空间正交。 证明 由定理6知酉相似对角阵，故的不同特征值的特征子空间基底正交，故得证。 推论 6 设为正规阵，其特征值为，则的特征值为。 证明 因为为正规阵，所以，使得 所以 即的特征值为。 推论7 设为正规阵，则为Hermite矩阵的充分必要条件是的特征值都是实数。 证明 由推论6，若，则的特征值为实数。反之若的特征值为实数，则。 推论8 设为正规阵，则为酉矩阵的充分必要条件是的特征值。 证明 因为为正规阵，所以，使得 若，则，即，。 反之，若，，则。 阶正规阵酉相似于对角阵，求酉矩阵，使得 的方法与线性代数中实对称阵对角化方法相似，介绍如下。 求出的相异特征值 对的每个相异特征值求出其对应的特征子空间的基底（即方程的基础解系），。 将化为对应的特征子空间标准正交基（用施密特正交化，然后单位化）， 取，则 §3.2 埃尔米特二次型 埃尔米特矩阵是实对称阵的推广，而一个实对称阵对应着一个实二次型，相应的我们讨论复（埃尔米特）二次型，这在力学及其它一些工程中有重要的应用。 埃尔米特矩阵 定理1 设，则 （1）酉相似于对角线上都是的特征值的对角阵，且的特征值都是实数。 （2）若，则与矩阵合同（称为的正惯性指数，为的负惯性指数）。 证明 （1）由本章§1定理6及推论7即得。 （2）因为为正规阵，所以，使得 不妨设，其中，则 其中对角阵 ， 记，则，且 由上述证明可得出埃尔米特矩阵的正、负惯性指数即为的正、负特征值的个数，从而的惯性指数唯一确定，是合同变换下的不变量。 定理2 设，则为Her