1、第九章 二次型,9.1 二次型和对称矩阵 9.2 复数域和实数域上的二次型 9.3 正定二次型 9.4 主轴问题,惠州学院数学系,我思故我在。-笛卡儿(Rene Descartes， 1596-1650)如果我能够看的更远，那是因为我站在巨人的肩上。- 牛顿（Newton,16421727）,惠州学院数学系,9.1 二次型和对称矩阵,一.内容分布9.1.1 二次型及矩阵9.1.2 线性变换9.1.3 矩阵的合同9.1.4 二次型的标准形 二.教学目的1.掌握二次型及其矩阵的定义以及矩阵的合同2.理解关于二次型的线性变换3.了解二次型的标准形 三.重点难点:合同、线性变换、二次型的标准形,惠州学
2、院数学系,9.1.1 二次型及矩阵,定义1 设F是一个数域，F上n元二次齐次多项式,（1）,叫做F上的一个n 元二次型。,F 上n 元多项式总可以看成 F 上的n 个变量的函数，二次型（1）定义了一个函数 所以n 元二次型也叫n 个变量的二次型.,在（1）中令 因为 所以（1）式可以写成以下形式：,惠州学院数学系,（2）,是（2）式右端的系数所构成的矩阵,称为二次型 的矩阵。因为 ,所以A是F上的一个n 阶对称矩阵，利用矩阵的乘法，（2）式可以写成,（3）,二次型（3）的秩指的就是矩阵A的秩。,惠州学院数学系,9.1.2 线性变换,如果对二次型（3）的变量施行如下的一个变换：,（4）,那么就得
3、到一个关于 的二次型,（4）式称为变量的线性变换，令 是（4）的系数据构成的矩阵，则（4）可以写成,惠州学院数学系,（5）,将（5）代入（3）就得到,（6）,矩阵P称为线性变换（4）的矩阵。如果P是非奇异的，就称（4）是一个非奇异线性变换。因为A是对称矩阵，所以 也是对称矩阵。,惠州学院数学系,推论9.1.2 一个二次型的秩在变量的非奇异线性变换之下保持不变。,注意: 如果不取二次型的矩阵是对称矩阵，则推论9.1.2不成立,惠州学院数学系,9.1.3 矩阵的合同,定义2 设A，B是数域F上的两个n 阶矩阵。如果存在F上的一个非异矩阵P，使得 那么称B与A合同。,矩阵的合同关系的性质：, 传递性
4、：如果 B 与 A 合同，C 与 B 合同，那么C 与 A 合同。, 自反性：任意矩阵A都与自身合同，因为IAI=A, 对称性：如果B与A合同，那么A也与B合同，因为由 可以得出,惠州学院数学系,事实上，由 可得 合同的矩阵显然有相同的秩，并且与一个对称矩阵合同的矩阵仍是对称的.,是数域F上两个n 元二次型，它们的矩阵分别为A 和 B. 如果可以通过变量的非奇异线性变换将 ，则B与A 合同. 反之，设B与A 合同. 于是存在F上非奇异矩阵P 使得 .通过以P为矩阵的非奇异线性变换就将 .,F上两个二次型叫等价，如果可以通过变量的非奇异线性变换将其中一个变成另一个.,惠州学院数学系,定理9.1.
5、3 数域F上两个二次型等价的必要且充分条件是它们的矩阵合同。等价的二次型具有相同的秩。,定理9.1.4 是数域F上的一个n阶对称矩阵。总存在F上一个n阶非奇异矩阵P，使得,即F上的一个n阶对称矩阵都与一个对角形式矩阵合同。,惠州学院数学系,证 我们将利用矩阵的初等变换来证明这个定理。回忆一下5.2里所定义的三种初等矩阵 容易看出，,现在对矩阵A的阶n作数学归纳法，n = 1时定理显然成立。设n 1，并且假设对于n 1阶对称矩阵来说，定理成立。 是一个n阶矩阵.如果A = O，这时A本身就是对角形式。设 ,我们分两种情形来考虑.,惠州学院数学系,(a) 设A的主对角线上元素不全为零，例如， .如
6、果i 1，那么交换A的第1列与第I 列，再交换第1行与第i行，就可以把 换到左上角。这样就相当于初等矩阵 , 再用 . 于是 的左上角的元素,惠州学院数学系,这相当于用 右乘A，用,左乘A。这样，总可以选取初等矩阵 ,使得,这里 是一个n 1阶的对称矩阵。,惠州学院数学系,由归纳法假设，存在n 1阶可逆矩阵 使得,取,惠州学院数学系,那么,这里 。,惠州学院数学系,(b) 如果 . 由于AO，所以一定有某一个元素 . 把A的第 j 列加到第 i列, 再把第 j 行加到第 i行, 这相当于初等矩阵 右乘A . 再用 左乘A. 而经过这样的变换后所得到的矩阵第 i行第 j 列的元素是 . 于是由情
7、形（b）就归结到情形（a）.,注意 在定理 9.1.2的主对角形矩阵 中，主对角线上的元素 的一部分甚至全部可以是零。显然，不为零的 的个数等于A的秩，如果秩A等于r 0，那么由定理的证明过程可以知,惠州学院数学系,给了数域 F 上一个n 阶对称矩阵A， 由定理9.1.2的证明过程还可以看出，我们可以具体求出一个可逆矩阵P，使 有对角形式，只要在对A施行一对列初等变换和行初等变换的同时，仅对n阶单位矩阵 I 施行同样的列初等变换，那么当A化为对角形式时，I 就化为P。,例1 设,惠州学院数学系,我们按定理9.1.2所给出的方法对A施行行和列初等变换，将A变成 ，使得 是一个对角形矩阵。同时对单
8、位矩阵 ，施行同样的初等变换而得出P。,交换A第一列和第二列，第一行和第二行，同时交换 的第一列和第二列。这时A和 分别化为：,惠州学院数学系,把 的第一列乘以2加到第三列，第一行乘以2加到第三行，同时把 的第一列乘以2加到第三列。分别得到：,把 的第四列加到第二列，第四行加到第二行，同时把 和第四列加到第二列，得,惠州学院数学系,以 2/3 和 1 /2 乘 的第二列依次回到第三列和第四列上, 再以 2/3 和1 /2 乘第二行依次加到第三行和第四行上，同时对 的列施行同样的初等变换。得,惠州学院数学系,最后，以 3/4 乘 的第三列加到第四列上,再以3/4 乘第三行加到第四行上，并且对 的
9、列施行同样的初等变换，我们得到,取 。于是,惠州学院数学系,9.1.4 二次型的标准形,定理9.1.5 数域F上每一个n元二次型,可以通过变量的非奇异线性变换化为：,例如，以例 1 中对称矩阵A为矩阵的二次型是,惠州学院数学系,通过变量的非奇异线性变换,化为,惠州学院数学系,练习1 写出下列二次型的矩阵,练习2 写出对应下列方阵的二次型,例2 分别用配方法和合同变换法化二次型,成标准形. (读者答题）,惠州学院数学系,练习3 已知二次型,试对它作如下非奇异线性变换,惠州学院数学系,9.2 复数域和实数域上的二次型,一.内容分布9.2.1 复二次型的典范形9.2.2 实二次型的典范形 二.教学目
10、的1掌握复二次型的典范形、实二次型的典范形、实二次 型的惯性指标.、符号差等概念。2掌握实二次型的惯性定律. 三.重点、难点：实二次型的惯性定律.,惠州学院数学系,复数域和实数域上的二次型分别叫做复二次型和实二次型.,9.2.1 复二次型的典范形,定理9. 2. 1 复数域上两个n阶对称矩阵合同的充分且必要条件是它们有相同的秩. 两个复二次型等价的充分且必要条件是它们有相同的秩.,证 显然只要证明第一个论断. 条件的必要性是明显的. 我们只要证条件的充分性. 设A，B是复数域上两个n阶对称矩阵，且A与B有相同的秩r ，由定理9.1.2，分别存在复可逆矩阵P和Q，使得,惠州学院数学系,惠州学院数
11、学系,取 n 阶复矩阵,的一个平方根.,惠州学院数学系,那么 ，而,因此，矩阵A，B 都与矩阵,合同，所以A与B合同.,惠州学院数学系,9.2.2 实二次型的典范形,定理9.2.2 实数域上每一n 阶对称矩阵A 都合同于如下形式的一个矩阵：,（1）,这里 r 等于A的秩.,证 由定理9.1.2，存在实可逆矩阵P，使得,惠州学院数学系,如果r 0 ，必要时交换两列和两行，我们总可以假定,惠州学院数学系,取,那么,惠州学院数学系,定理9.2.3 实数域上每一 n 元二次型都与如下形式的一个二次型等价：,（1）,这里 r 是所给的二次型的秩.,二次型（1）叫做实二次型的典范形式，定理9.2.3 是说
12、，实数域上每一个二次型都与一个典范形式等价. 在典范形式里，平方项的个数 r 等于二次型的秩，因而是唯一确定的.,惠州学院数学系,定理 9.2.4（惯性定律）设实数域R上n元二次型,等价于两个典范形式,（2）,（3）,那么,证 设（2）和（3）分别通过变量的非奇异线性变换,（4）,（5）,惠州学院数学系,（6）,因为 所以 因此，方程组（6）在R内有非零解. 令 是（6）的一个非零解. 把这一组值代入 的表示式,惠州学院数学系,（4）和（5）. 记,我们有,惠州学院数学系,然而,所以,因为 都是非负数，所以必须,又 所以 是齐次线性方程组,的一个非零解.这与矩阵 的非奇异性矛盾.,惠州学院数学
13、系,这就证明了 . 同理可证得 . 所以,由这个定理，实数域上每一个二次型都与 唯一的典范形式（1）等价. 在（1）中，正平方项的个数 p 叫做所给二次型的惯性指标. 正项的个数p与负项的个数 r p 的差s = p (r p) = 2p r 叫做所给的二次型的符号差. 一个实二次型的秩，惯性指标和符号都是唯一确定的.,惠州学院数学系,定理9.2.5 实数域上两个 n 元二次型等价的充分且必要条件是它们有相同的秩和符号差.,证 设 是实数域上两个n元二次型. 令 分别是它们的矩阵. 那么由定理9.2.2，存在实可逆矩阵P，使得,如果 等价，那么 合同. 于是存在实可逆矩阵Q 使得 . 取 ，那
14、么,惠州学院数学系,因此 都与同一个典范形式等价，所以它们有相同的秩和符号差.,惠州学院数学系,合同. 由此推出 合同，从而 等价.,证 给定 . 令,惠州学院数学系,由定理9.2.4，R上每一n元二次型恰与一个以 为矩阵的典范形式等价. 当 r 取定后，p 可以取0，1， ，r ；而 r 又可以取0，1，n 中任何一个数. 因此这样的 共有,个. 对于每一个 ，就有一个典范形式,惠州学院数学系,例 1 a 满足什么条件时，二次型,的惯性指标是0，符号差是2 ？写出其典范形。,惠州学院数学系,解 实二次型 的矩阵为,经过合同变换可化为标准形,所以当 或 时，二次型的惯性指标是0，符号差是2，其
15、典范形为,惠州学院数学系,一内容分布 9.3.1正定二次型 9.3.2 正定二次型的判别,二、教学目的 1掌握正定二次型、正定矩阵、顺序主子式、负定二次型、半正定二次型、半负定二次型、不定二次型的概念。,三、重点、难点,9.3 正定二次型,惠州学院数学系,9.3.1 正定二次型与正定矩阵,1基本概念,i）正定二次型,ii）正定矩阵,实对称矩阵 称为正定的，如果二次型,惠州学院数学系,iii）负定、半正定、半负定、不定的二次型,设 是一实二次型，如果对于任意一组不全为零的实数 ，,都有 , 那么 称为负定的；,都有 ，那么 称为半正定的；,都有 ， 那么 称为半负定的；,如果它既不是半正定又不是
16、半负定，那么 就称为不定的.,惠州学院数学系,例1 下列实二次型是否为正定的二次型：,1）,2）,3）,（半正定）,例2 若 ， 都是 阶正定矩阵， 证明： 是正定矩阵。,由 ， 都是正定矩阵，知 ， 正定，,从而,惠州学院数学系,2两个结论,实二次型 是正定的当且仅当 .,证明：若 正定，则对任意一组不全为零的实数 ，都有 . 分别选取 为 ，则有 .,若 .则对任意一组不全为零的实数 ，都有,惠州学院数学系,非退化实线性替换保持实二次型的正定性不变.设实二次型,(1),经过非退化实线性替换,(2),变成二次型,(3),则 是正定的 是正定的。,惠州学院数学系,证明： 若 是正定的。对于任意
17、一 组不全为零的实数 ，令,由于 是可逆实矩阵，故 也是一组不全为零的实数，从而,因为二次型（3）也可以经非退化实线性替换,变到二次型（1），所以按同样理由，当（3）正定时，（1）也正定.,惠州学院数学系,9.3.2 正定二次型的判别,1判别定理1：,实二次型 是正定的 它的正惯性指数等于 .,实二次型 是正定的 它的规范形为 。,一个实对称矩阵是正定的 它与单位矩阵合同.,例3 正定矩阵的行列式大于零. 逆命题不成立。,反例：,的行列式大于零，但它对应的二次型 不是正定的。,惠州学院数学系,提示：,2矩阵的顺序主子式,称为矩阵 的顺序主子式.,矩阵 的第 个顺序主子式为,练习1：若 是 阶实
18、矩阵，则满足（ ）时， 是正定矩阵。,惠州学院数学系,称为矩阵 的顺序主子式.,3判别定理2：实二次型,是正定的 矩阵 的顺序主子式全大于零.,惠州学院数学系,例4 判定二次型,是否正定.,所以， 正定。,惠州学院数学系,A ， B. 非退化， C. 的元素全是正实数， D. 的主对角上元素全为正。,练习2：若 是正定矩阵，则下列结论错误的是（ ）。,惠州学院数学系,9.4 主轴问题,一.内容分布9.4.1 变量的正交变换9.4.2 实对称矩阵的相似对角形 二.教学目的:1掌握变量的正交变换 2掌握将实二次型通过变量的正交变换化为一 个只含变量平方项的二次型 三.重点、难点: 实二次型通过变量
19、的正交变换化为一个只含变量平方项的二次型,惠州学院数学系,9.4.1 变量的正交变换,我们已经看到, 实数域上一个二次型 可以经过变量的非奇异变换,化为二次型,惠州学院数学系,定义: 我们一般地讨论将一个n元实二次型通过变量的正交变换化为一个只含变量平方项的二次型问题, 这个问题称为二次型的主轴问题. 这里所说的变量的正交变换指的是这个变换的矩阵是正交矩阵.,由于正交矩阵是非奇异的, 所以变量的正交变换是非奇异的. 用矩阵的语言来说就是, 给一个实对称矩阵A, 要寻求一个正交矩阵U, 使得 是对角形式, 这个问题在8.4里实际上已经得到解决.,惠州学院数学系,定理9.4.1 设,是实数域上一个
20、二次型, 那么总可以通过变量的正交变换,化为 这里U是一个正交矩阵,而 是二次型 的全部特征根.,惠州学院数学系,证 是一个n 阶实对称矩阵.由定理8.4.3 和 8.4.6,存在一个正交矩阵U , 使得,这里 是A的全部特征根.这也就相当于说以A为矩阵的二次型可以通过变量的正交变换化为标准形式 ,惠州学院数学系,推论9.4.2 设,是实数域上一个n元二次型, 是它的矩阵.,(i) 二次型 的秩等于A 的不等于零的特征根的个数, 而符号差等于A 的正特征根个数与负特征根个数的差. (ii) 二次型 是正交的必要且只要A的所有特征根都是正数.,9.4.2 实对称矩阵的相似对角形,惠州学院数学系,例1 已知实二次型,(1) 用正交线性变换将二次型化为标准形,并写出所用的正交线性变换；(2) 求出的秩、惯性指标与符号差.,解 （1） 的矩阵为,求 f 的全部特征根：因为,惠州学院数学系,故的全部特征根为 （二重）， 。,对特征根 ，解齐次线性方程组,得一基础解系：,惠州学院数学系,对特征根 ，解齐次线性方程组,得一基础解系：,惠州学院数学系,以 为列作一个正交矩阵,惠州学院数学系,则,于是 经过正交线性变换 ，化为标准形,（2） 由（1） 的秩为2，惯性指标 ，符号差 .,
