第六章 二次型第六章 次型.ppt

因此 例 7 若实对称矩阵 是正定的，则 也是正定的。 证明： 因为 是正定的，所以存在可逆阵 ，使 显然 也是实对称矩阵。 这里 是可逆阵，所以 是正定的。 同理 这里 是可逆阵，所以 也正定。 思考：能否从特征值角度证明本题？ 例 8 若实对称矩阵 是正定的，则 证明： 因为 是正定的，所以存在可逆阵 ，使 都是非零向量。因此 由于 是可逆的，所以 的每个列向量 同理，若实对称矩阵 是负定的，则 例8也仅仅是正定的必要条件，不是充分条件。例如 由于 的特征值为 ，出现零特征值，根据定理4的推论1，实对称矩阵 不是正定的。但是矩阵 的对角元都是正数。 但是直接通过矩阵的元素值，或者通过对元素值进行简单加工得到的信息来判断实对称矩阵的定性，比之于繁琐的计算出所有特征值（定理2的推论）或把实对称矩阵正交对角化（定理1）进而得出矩阵的定性，要显得更加“诱人”，更具“古典美”。 由于正定矩阵的行列式为正，而且对角元都是正数，遗憾的是，这些仅仅是正定的必要条件，不是充分条件。因此我们自然想到如何加强条件，从行列式角度，得到判定正定的充分条件。 注意到 是矩阵左上角的一阶行列式，而 则可以看成矩阵左上角的 阶行列式，再考虑到其他对角元，因此我们可以猜想从矩阵左上角的各阶行列式来考虑。 定义9 称对角元是方阵 的前 个对角元的 阶方子矩阵 为 的 阶前主子矩阵。此子矩阵的行列式 称为 的 阶顺序主子式（或前主子式），即 定理10（霍尔维茨(Hurwitz)定理） 阶实对称矩阵 为正定矩阵的充要条件是矩阵 的各阶前主子式皆为正数，即 命题1 阶实对称矩阵 为负定矩阵的充要条件是矩阵 的各阶前主子式皆为负数，即 有意思的是，命题1居然是错误的！！ 对定理10稍加修改，我们可得到下面的命题1。 事实上， 负定即 正定，故由定理10，有： 推论5 阶实对称矩阵 为负定矩阵的充要条件是对任意 ，恒有 高阶行列式难以计算，更何况要计算出所有前主子式。因此定理 10 作为判定矩阵正定的方法，对低阶尚可考虑，至于高阶，显然仅具理论价值。这样一来，判定高阶矩阵是否正定，还是需要从标准形或特征值入手，而要得到高阶矩阵的标准形或特征值，变换是首选方法，这更加凸显出矩阵计算中变换的“现代性”与行列式的“古典性”。 例 11 判别下面的二次型是否正定： 解法一： 二次型的矩阵为 （特征值判别法）. 所以 是正定矩阵，此二次型为正定二次型. 其特征值为 ，均为正数， 解法二： 二次型的矩阵为 （前主子式判别法）. 它的各阶前主子式 所以 是正定矩阵，此二次型为正定二次型. 例 12 用前主子式判别法重解例5: 为正定二次型。 问 为何值时，二次型 解： 二次型的矩阵为 它的各阶前主子式都大于零，即 因此 解此不等式组，得 所以 时，得各阶前主子式均为正数。 从而 是正定矩阵，此二次型为正定二次型. 同时化成标准形 及 例 13 求一个满秩线性变换 ，将下列二次型 都是正定的。 显然 解： 根据定理3，存在满秩矩阵 ，使得 即 令 则 由于 仍为实对称矩阵，因此存在正交矩阵 ，使得 如何确定标准形的系数 呢？ 由于 两边取行列式，注意到 ，因此 则 故 是下面的齐次线性方程组的非零解： 将 列分块为 当 时，注意到 满秩，所以 如何确定此满秩矩阵 呢？ 由广义特征方程 综合上述，就是求解广义特征值问题 的特征对。 得特征根 对于 ，解 ，得通解 对于 ，解 ，得通解 故 再由 求得 因此所求满秩变换为 解法二：