矩阵对角化若当统一标准型.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 设，则为Hermite矩阵充足必需条件是，为实数。 证实 必需性 因为是数且为Hermite矩阵，所以 故为实数。 充足性 因为为实数，故，即。设，则。 （1）取，则，。 （2）取，则，由（1