浅谈正定二次型及判定方法.docVIP

浅谈正定二次型的判定方法 摘 要是一个数域，，个文字,,…，的二次齐次多项式 称为数域上的一个元二次型，简称二次型.当为实数时，称为实二次型.当 为复数时,称 为复二次型.如果二次型中只含有文字的平方项，即=称为标准型. 定义1 在实数域上，任意一个二次型经过适当的非退化线性替换可以变成规范性,其中正平方项的个数称为的正惯性指数，负平方项的个数称为的负惯性指数. 2.2 二次型的矩阵形式 二次型可唯一表示成=，其中，为对称矩阵，称上式为二次型的矩阵形式，称为二次型的矩阵（必是对称矩阵），称的秩为二次型的秩. 2.3 正定二次型与正定矩阵的概念 定义2.3.1 设=是元实二次型（为实对称矩阵），如果对任意不全为零的实数都有，则称为正定二次型,称为正定矩阵；如果，则称为半正定二次型，称为半正定矩阵;如果，则称为负定二次型，称为负定矩阵;如果，称 为半负定二次型，称为半负定矩阵；既不是正定又不是负定的实二次型称为不定的二次型，称为不定矩阵. 定义2 另一种定义 具有对称矩阵的二次型 (1) 如果对任何非零向量, 都有 （或）成立，则称为正定（负定）二次型，矩阵称为正定矩阵（负定矩阵）. (2) 如果对任何非零向量, 都有 （或） 成立，且有非零向量，使，则称为半正定（半负定）二次型，矩阵称为半正定矩阵（半负定矩阵）. 注:二次型的正定(负定)、半正定(半负定)统称为二次型及其矩阵的有定性.不具备有定性的二次型及其矩阵称为不定的. 二次型的有定性与其矩阵的有定性之间具有一一对应关系.因此,二次型的正定性判别可转化为对称矩阵的正定性判别. 定义3 阶矩阵的个行标和列标相同的子式 称为的一个阶主子式.而子式 称为的阶顺序主子式. 3 实二次型正定的判别方法及其性质 定理1 实二次型是正定二次型的充要条件是它的正惯性指数等于 证明 设实二次型经线形替换化为标准形 其中由于为可逆矩阵所以不全为零时也不全为零反之亦然. 如果是正定二次型那么当不全为零即不全为零时有 若有某个比方说则对这组不全为零的数代入式后得这与是正定二次型矛盾因此必有 即的正惯性指数等于 如果的正惯性指数等于则于是当不全为零即当不全为零时式成立从而是正定型 定理2 实二次型是正定二次型的充要条件是对任何维实的非零列向量必有 证明 由假设是正定二次型故存在实的非退化的线形替换使 对因非奇异故于是由可知 设的秩与正惯性指数分别为与先证如则由惯性定理 存在非退化的线形替换使得 　　　 由假设对任何但对列向量 （因是非奇异阵,1是的第个分量）却有 这与假设矛盾.故.再证.如果则式应化为 于是取 由即得又与假设矛盾,故即是正定二次型 定理3 实二次型是正定二次型的充要条件是的规范形为 证明 实二次型是正定二次型则由定理1可知的正惯性指数为，则二次型可经过非退化实线形替换成 的规范形为则的正惯性指数为由定理1可知为正定二次型 定理4 实二次型是正定二次型的充要条件是矩阵与单位矩阵合同 证明 实二次型是正定二次型则由定理3可知的规范形为 此即存在非退化线形替换其中可逆使得 所以因此矩阵单位矩阵合同 矩阵单位矩阵合同则存在可逆矩阵使得，令则 因此由证明4可知是正定二次型 定理5 实二次型是正定二次型的充要条件是矩阵的主子式全大于零 证明 实二次型是正定二次型,以表示的左上角阶矩阵,下证考虑以为矩阵的二次型 由于所以当不全为零时,由正定二次型可知从而为正定二次型,故 对二次型的元数作数学归纳法 当时因为所以正定假设且对元实二次型结论成立 由于用乘的第1列到第列,再用乘第的第1行到第行经此合同变换后可变为以下的一个矩阵 因为矩阵与合同所以是一个阶对称矩阵从而 也是对称矩阵上述的变换不改变的主子式的值因此的主子式也全大于零,而的阶主子式等于的阶主子式乘以并且于是的主子式全大于零由归纳假设,与合同所以与单位矩阵合同此即是正定二次型 定理6 实二次型是正定二次型的充要条件是矩阵的顺序主子式全都大于零 证明 实二次型是正定二次型,则由定理5可知的主子式全大于零,所以的顺序主子式也全