《《高等代数》二次型学习资料.ppt》由会员分享,可在线阅读,更多相关《《高等代数》二次型学习资料.ppt(81页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、高等代数二次型9.1 9.1 二次型和对称矩阵二次型和对称矩阵一一.内容分布内容分布 9.1.1 二次型及矩阵 9.1.2 线性变换 9.1.3 矩阵的合同 9.1.4 二次型的标准形二二.教学目的教学目的 1.掌握二次型及其矩阵的定义 以及矩阵的合同 2.理解关于二次型的线性变换 3.了解二次型的标准形三三.重点难点重点难点:合同、线性变换、二次型的标准形 9.1.1 二次型及矩阵二次型及矩阵 定义定义1 设设F是一个数域,是一个数域,F上上n元二次齐次多项式元二次齐次多项式(1)叫做叫做F上的一个上的一个n 元二次型。元二次型。F 上上n 元多项式总可以看成元多项式总可以看成 F 上的上的
2、n 个变量的函数,个变量的函数,二次型(二次型(1)定义了一个函数)定义了一个函数 所以所以n 元二次型元二次型也叫也叫n 个变量的二次型个变量的二次型.在(在(1)中令)中令 因为因为 所以(所以(1)式可以写成以下形式:式可以写成以下形式:(2)是(是(2)式右端的系数所构成的矩阵)式右端的系数所构成的矩阵,称称为二次型为二次型 的矩阵。因为的矩阵。因为 ,所以所以A是是F上的一个上的一个n 阶对称矩阵,利用矩阵的乘法,阶对称矩阵,利用矩阵的乘法,(2)式可以写成)式可以写成(3)二次型(二次型(3)的秩指的就是矩阵)的秩指的就是矩阵A的秩。的秩。9.1.2 线性变换线性变换如果对二次型(
3、如果对二次型(3)的变量施行如下的一个变换:)的变量施行如下的一个变换:(4)那么就得到一个关于那么就得到一个关于 的二次型的二次型(4)式称为变量的线性变换,令)式称为变量的线性变换,令 是(是(4)的)的系数据构成的矩阵,则(系数据构成的矩阵,则(4)可以写成)可以写成(5)将(将(5)代入()代入(3)就得到)就得到(6)矩阵矩阵P称为线性变换(称为线性变换(4)的矩阵。如果)的矩阵。如果P是非奇异是非奇异的,就称(的,就称(4)是一个非奇异线性变换。因为)是一个非奇异线性变换。因为A是对是对称矩阵,所以称矩阵,所以 也是对称矩也是对称矩阵。阵。推论推论9.1.2 一个二次型的秩在变量的
4、非奇异线性变一个二次型的秩在变量的非奇异线性变换之下保持不变。换之下保持不变。注意注意:如果不取二次型的矩阵是对称矩阵,则推论如果不取二次型的矩阵是对称矩阵,则推论9.1.2不成立不成立 定理定理9.1.1 设设 是数域是数域F上的一个以上的一个以A为矩阵为矩阵的的n元二次型。对它的变量施行一次以元二次型。对它的变量施行一次以P为矩为矩阵的线性变换后所得到的二次型的矩阵是阵的线性变换后所得到的二次型的矩阵是 。对称性:如果对称性:如果B与与A合同,那么合同,那么A也与也与B合同,因为合同,因为由由 可以得出可以得出9.1.3 矩阵的合同矩阵的合同定义定义2 设设A,B是数域是数域F上的两个上的
5、两个n 阶矩阵。如果存阶矩阵。如果存在在F上的一个非异矩阵上的一个非异矩阵P,使得,使得 那么称那么称B与与A合同。合同。矩阵的合同关系的性质:矩阵的合同关系的性质:传递性:如果传递性:如果 B 与与 A 合同,合同,C 与与 B 合同,那么合同,那么C 与与 A 合同。合同。自反性:任意矩阵自反性:任意矩阵A都与自身合同,因为都与自身合同,因为IAI=A事实上,由事实上,由 可得可得合同的矩阵显然有相同的秩,并且与一个对合同的矩阵显然有相同的秩,并且与一个对称矩阵合同的矩阵仍是对称的称矩阵合同的矩阵仍是对称的.是数域是数域F上两个上两个n 元二次型,它们的元二次型,它们的矩阵分别为矩阵分别为
6、A 和和 B.如果可以通过变量的非奇异线如果可以通过变量的非奇异线性变换将性变换将 ,则,则B与与A 合同合同.反之,设反之,设B与与A 合合同同.于是存在于是存在F上非奇异矩阵上非奇异矩阵P 使得使得 .通过通过以以P为矩阵的非奇异线性变换就将为矩阵的非奇异线性变换就将 .F上两个二次型叫等价,如果可以通过变量的上两个二次型叫等价,如果可以通过变量的非奇异线性变换将其中一个变成另一个非奇异线性变换将其中一个变成另一个.定理定理9.1.3 数域数域F上两个二次型等价的必要且充分条上两个二次型等价的必要且充分条件是它们的矩阵合同。件是它们的矩阵合同。等价的二次型具有相同的秩。等价的二次型具有相同
7、的秩。定理定理9.1.4 是数域是数域F上的一个上的一个n阶对称矩阵。阶对称矩阵。总存在总存在F上一个上一个n阶非奇异矩阵阶非奇异矩阵P,使得,使得即即F上的一个上的一个n阶对称矩阵都与一个对角形式矩阵合阶对称矩阵都与一个对角形式矩阵合同。同。证证 我们将利用矩阵的初等变换来证明这个定我们将利用矩阵的初等变换来证明这个定理。回忆一下理。回忆一下5.25.2里所定义的三种初等矩阵里所定义的三种初等矩阵 容易看出,容易看出,现在对矩阵现在对矩阵A A的阶的阶n n作数学归纳法,作数学归纳法,n=n=1 1时定时定理显然成立。设理显然成立。设n 1n 1,并且假设对于,并且假设对于n n 1 1阶对
8、阶对称矩阵来说,定理成立。称矩阵来说,定理成立。是一个是一个n n阶阶矩阵矩阵.如果如果A=OA=O,这时,这时A A本身就是对角形式。设本身就是对角形式。设 ,我们分两种情形来考虑我们分两种情形来考虑.(a)设设A的主对角线上元素不全为零,例如,的主对角线上元素不全为零,例如,.如果如果i 1,那么交换,那么交换A的第的第1列与第列与第I 列,再交换第列,再交换第1行与第行与第i行,就可以把行,就可以把 换到左上角。这样就相当换到左上角。这样就相当于初等矩阵于初等矩阵 ,再用再用 .于是于是 的左上角的元素的左上角的元素不等于零不等于零.因此,我们不妨设因此,我们不妨设 ,用,用 乘乘 j
9、行,就可以把第一行第行,就可以把第一行第 j 列和第列和第 j 行第行第1列位置的列位置的元素变成零。元素变成零。A的第的第1列加到第列加到第 j 列,再用列,再用 乘第乘第1行加到第行加到第这相当于用这相当于用 右乘右乘A,用,用 左乘左乘A。这样,总可以选取初等矩阵。这样,总可以选取初等矩阵 ,使得使得 这里这里 是一个是一个n 1阶的对称矩阵。阶的对称矩阵。由归纳法假设,存在由归纳法假设,存在n 1阶可逆矩阵阶可逆矩阵 使得使得 取取那么那么 这里这里 。(b)如果如果 .由于由于AO,所以一定有,所以一定有某一个元素某一个元素 .把把A的第的第 j 列加到第列加到第 i列列,再把第再把
10、第 j 行加到第行加到第 i行行,这相当于初等矩阵这相当于初等矩阵 右乘右乘A.再用再用 左乘左乘A.而经过这样的而经过这样的变换后所得到的矩阵第变换后所得到的矩阵第 i行第行第 j 列的元素是列的元素是 .于是由情形(于是由情形(b)就归结到情形()就归结到情形(a).注意注意 在定理在定理 9.1.2的主对角形矩阵的主对角形矩阵 中,主对角中,主对角线上的元素线上的元素 的一部分甚至全部可以是零。的一部分甚至全部可以是零。显然,不为零的显然,不为零的 的个数等于的个数等于A的秩,如果秩的秩,如果秩A等等于于r 0,那么由定理的证明过程可以知,那么由定理的证明过程可以知给了数域给了数域 F
11、上一个上一个n 阶对称矩阵阶对称矩阵A,由定理由定理9.1.2的证明过程还可以看出,我们可以具体求出一的证明过程还可以看出,我们可以具体求出一个可逆矩阵个可逆矩阵P,使,使 有对角形式,只要在对有对角形式,只要在对A施施行一对列初等变换和行初等变换的同时,仅对行一对列初等变换和行初等变换的同时,仅对n阶阶单位矩阵单位矩阵 I 施行同样的列初等变换,那么当施行同样的列初等变换,那么当A化为化为对角形式时,对角形式时,I 就化为就化为P。例例1 设设 我们按定理我们按定理9.1.2所给出的方法对所给出的方法对A施行行和列施行行和列初等变换,将初等变换,将A变成,使得是一个对变成,使得是一个对角形矩
12、阵。同时对单位矩阵角形矩阵。同时对单位矩阵,施行同样的初等变,施行同样的初等变换而得出换而得出P。交换交换A第一列和第二列,第一行和第二行,同第一列和第二列,第一行和第二行,同时交换时交换 的第一列和第二列。这时的第一列和第二列。这时A和和 分别化为:分别化为:把把 的第一列乘以的第一列乘以2加到第三列,第一行乘以加到第三列,第一行乘以2加到第三行,同时把加到第三行,同时把 的第一列乘以的第一列乘以2加到第三列。加到第三列。分别得到:分别得到:把把 的第四列加到第二列,第四行加到第二行,的第四列加到第二列,第四行加到第二行,同时把同时把 和第四列加到第二列,得和第四列加到第二列,得以以 2/3
13、 和和 1/2 乘乘 的第二列依次回到第三列的第二列依次回到第三列和第四列上和第四列上,再以再以 2/3 和和1/2 乘第二行依次加到乘第二行依次加到第三行和第四行上,同时对第三行和第四行上,同时对 的列施行同样的初的列施行同样的初等变换。得等变换。得最后,以最后,以 3/4 乘乘 的第三列加到第四列上的第三列加到第四列上,再再以以3/4 乘第三行加到第四行上,并且对乘第三行加到第四行上,并且对 的列施的列施行同样的初等变换,我们得到行同样的初等变换,我们得到 取取 。于是。于是9.1.4 二次型的标准形二次型的标准形定理定理9.1.5 数域数域F上每一个上每一个n元二次型元二次型 可以通过变
14、量的非奇异线性变换化为:可以通过变量的非奇异线性变换化为:例如,以例例如,以例 1 中对称矩阵中对称矩阵A为矩阵的二次型是为矩阵的二次型是 通过变量的非奇异线性变换通过变量的非奇异线性变换 化为化为 练习练习1 写出下列二次型的矩阵写出下列二次型的矩阵 练习练习2 写出对应下列方阵的二次型写出对应下列方阵的二次型 例例2 分别用配方法和合同变换法化二次型分别用配方法和合同变换法化二次型 成标准形成标准形.(读者答题)读者答题)练习练习3 已知二次型已知二次型 试对它作如下非奇异线性变换试对它作如下非奇异线性变换9.2 复数域和实数域上的二次型复数域和实数域上的二次型 一一.内容分布内容分布 9
15、.2.1 复二次型的典范形复二次型的典范形 9.2.2 实二次型的典范形实二次型的典范形二二.教学目的教学目的 1掌握复二次型的典范形、实二次型的典范形、掌握复二次型的典范形、实二次型的典范形、实二次实二次 型的惯性指标型的惯性指标.、符号差等概念。、符号差等概念。2掌握实二次型的惯性定律掌握实二次型的惯性定律.三三.重点、难点重点、难点:实二次型的惯性定律实二次型的惯性定律.复数域和实数域上的二次型分别叫做复二次型复数域和实数域上的二次型分别叫做复二次型和实二次型和实二次型.9.2.1 复二次型的典范形复二次型的典范形 定理定理9.2.1 复数域上两个复数域上两个n阶对称矩阵合同的充分阶对称
16、矩阵合同的充分且必要条件是它们有相同的秩且必要条件是它们有相同的秩.两个复二次型等价两个复二次型等价的充分且必要条件是它们有相同的秩的充分且必要条件是它们有相同的秩.证证 显然只要证明第一个论断显然只要证明第一个论断.条件的必要性是明显的条件的必要性是明显的.我们只要证条件的充我们只要证条件的充分性分性.设设A,B是复数域上两个是复数域上两个n阶对称矩阵,且阶对称矩阵,且A与与B有相同的秩有相同的秩r,由定理,由定理9.1.2,分别存在复可逆,分别存在复可逆矩阵矩阵P和和Q,使得,使得取取 n 阶复矩阵阶复矩阵的一个平方根的一个平方根.那么那么 ,而,而 因此,矩阵因此,矩阵A,B 都与矩阵都
17、与矩阵 合同,所以合同,所以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 是所给的二次型
18、的秩是所给的二次型的秩.二次型(二次型(1)叫做实二次型的典范形式,定理)叫做实二次型的典范形式,定理9.2.3 是说,实数域上每一个二次型都与一个典范是说,实数域上每一个二次型都与一个典范形式等价形式等价.在典范形式里,平方项的个数在典范形式里,平方项的个数 r 等于二等于二次型的秩,因而是唯一确定的次型的秩,因而是唯一确定的.定理定理 9.2.4(惯性定律)(惯性定律)设实数域设实数域R上上n元二次型元二次型 等价于两个典范形式等价于两个典范形式(2)(3)那么那么证证 设(设(2)和()和(3)分别通过变量的非奇异线性变)分别通过变量的非奇异线性变换换(4)(5)化为所给的二次型化为所给
19、的二次型 如果如果 不不妨设妨设 考虑考虑 个方程的齐次线性方程组个方程的齐次线性方程组(6)因为因为 所以所以 因此,方程组(因此,方程组(6)在)在R内有非零解内有非零解.令令 是(是(6)的一个非零解)的一个非零解.把这一组值代入把这一组值代入 的表示式的表示式(4)和()和(5).记记 我们有我们有然而然而所以所以 因为因为 都是非负数,所以必须都是非负数,所以必须又又 所以所以 是齐次线性方是齐次线性方程组程组 的一个非零解的一个非零解.这与矩阵这与矩阵 的非奇异性矛盾的非奇异性矛盾.这就证明了这就证明了 .同理可证得同理可证得 .所以所以 由这个定理,实数域上每一个二次型都与由这个
20、定理,实数域上每一个二次型都与 唯一的典范形式(唯一的典范形式(1)等价)等价.在在(1)中,正平方项的个数)中,正平方项的个数 p 叫做所给二次型的惯叫做所给二次型的惯性指标性指标.正项的个数正项的个数p与负项的个数与负项的个数 r p 的差的差s=p (r p)=2p r 叫做所给的二次型的符号差叫做所给的二次型的符号差.一个实二次型的秩,惯性指标和符号都是唯一确定一个实二次型的秩,惯性指标和符号都是唯一确定的的.定理定理9.2.5 实数域上两个实数域上两个 n 元二次型等价的充分且元二次型等价的充分且必要条件是它们有相同的秩和符号差必要条件是它们有相同的秩和符号差.证证 设设 是实数域上
21、两个是实数域上两个n元二次型元二次型.令令 分别是它们的矩阵分别是它们的矩阵.那么由那么由定理定理9.2.2,存在实可逆矩阵,存在实可逆矩阵P,使得,使得如果如果 等价,那么等价,那么 合同合同.于是存在实可逆于是存在实可逆矩阵矩阵Q 使得使得 .取取 ,那么,那么因此因此 都与同一个典范形式等价,所以它们有相都与同一个典范形式等价,所以它们有相同的秩和符号差同的秩和符号差.反过来,如果反过来,如果 有相同的秩有相同的秩 r 和符号差和符号差s,那么它们也有相同的惯性指标那么它们也有相同的惯性指标 .因此因此 都与矩阵都与矩阵合同合同.由此推出由此推出 合同,从而合同,从而 等价等价.推论推论
22、 9.2.6 实数域实数域 R 上一切上一切n元二次型可以分成元二次型可以分成 类,属于同一类的二次型彼此等价,类,属于同一类的二次型彼此等价,属于不同类的二次型互不等价属于不同类的二次型互不等价.证证 给定给定 .令令 由定理由定理9.2.4,R上每一上每一n元二次型恰与一个以元二次型恰与一个以 为为矩阵的典范形式等价矩阵的典范形式等价.当当 r 取定后,取定后,p 可以取可以取0,1,r;而;而 r 又可以取又可以取0,1,n 中任何一个数中任何一个数.因此这样的因此这样的 共有共有 个个.对于每一个对于每一个 ,就有一个典范形式,就有一个典范形式 与它相当与它相当.把与同一个典范形式等价
23、的二次型放在把与同一个典范形式等价的二次型放在一类,于是一类,于是 R 上的一切上的一切 n 元二次型恰可以分成元二次型恰可以分成 类,属于同一类的二次彼此等价,属类,属于同一类的二次彼此等价,属于不同类的二次互不等价于不同类的二次互不等价.例例 1 a 满足什么条件时,二次型满足什么条件时,二次型 的惯性指标是的惯性指标是0,符号差是,符号差是2?写出其典范形。?写出其典范形。解解 实二次型实二次型 的矩阵为的矩阵为 经过合同变换可化为标准形经过合同变换可化为标准形 所以当所以当 或或 时,二次型的惯性指标是时,二次型的惯性指标是0,符,符号差是号差是2,其典范形为,其典范形为 一内容分布一
24、内容分布一内容分布一内容分布9.3.1正定二次型正定二次型 9.3.2 正定二次型的判别正定二次型的判别二、教学目的二、教学目的二、教学目的二、教学目的 1掌握正定二次型、正定矩阵、顺序主子式、负掌握正定二次型、正定矩阵、顺序主子式、负定二次型、半正定二次型、半负定二次型、不定定二次型、半正定二次型、半负定二次型、不定二次型的概念。二次型的概念。三、重点、难点三、重点、难点三、重点、难点三、重点、难点 实二次型实二次型 正定的判定。正定的判定。2掌握实二次型掌握实二次型 正定的判正定的判 定定理。定定理。9.3 正定二次型正定二次型9.3.1 正定二次型与正定矩阵正定二次型与正定矩阵1基本概念
25、基本概念 i)正定二次型)正定二次型实二次型实二次型 称为正定的,如果对于称为正定的,如果对于任意一组不全为零的实数任意一组不全为零的实数 都有都有 ii)正定矩阵)正定矩阵 实对称矩阵实对称矩阵 称为正定的,如果二次型称为正定的,如果二次型 iii)负定、半正定、半负定、不定的二次型)负定、半正定、半负定、不定的二次型设设 是一实二次型,如果对于任意一组不是一实二次型,如果对于任意一组不全为零的实数全为零的实数 ,都有都有 ,那么那么 称为负定的;称为负定的;都有都有 ,那么,那么 称为半正定的;称为半正定的;都有都有 ,那么那么 称为半负定的;称为半负定的;如果它既不是半正定又不是半负定,
26、那么如果它既不是半正定又不是半负定,那么 就称就称为不定的为不定的.称为正定称为正定 称为负定称为负定 称为半正定称为半正定 称为半负定称为半负定 例例1 下列实二次型是否为正定的二次型:下列实二次型是否为正定的二次型:1)2)3)(半正定)(半正定)例例2 若若 ,都是都是 阶正定矩阵,阶正定矩阵,证明:证明:是正定矩阵。是正定矩阵。证明:证明:只需证明只需证明 正定。正定。由由 ,都是正定矩阵,知都是正定矩阵,知 ,正定,正定,所以对于任意一组不全为所以对于任意一组不全为零的实数零的实数,有有,从而从而 故故 正定。正定。2两个结论两个结论实二次型实二次型 是正定的当是正定的当且仅当且仅当
27、 .证明:若证明:若 正定,则对任意正定,则对任意一组不全为零的实数一组不全为零的实数 ,都有,都有 .分别选取分别选取 为为 ,则有,则有 .若若 .则对任意一组不全为零的实数则对任意一组不全为零的实数 ,都有,都有 所以所以 是正定的。是正定的。非退化实线性替换保持实二次型的正定性不变非退化实线性替换保持实二次型的正定性不变.设实二次型设实二次型(1)经过非退化实线性替换经过非退化实线性替换(2)变成二次型变成二次型(3)则则 是正定的是正定的 是正定的。是正定的。证明证明:若若 是正定的。对于任意一是正定的。对于任意一 组不全组不全为零的实数为零的实数 ,令,令由于由于 是可逆实矩阵,故
28、是可逆实矩阵,故 也是一组不全为零也是一组不全为零的实数,从而的实数,从而 因为二次型(因为二次型(3)也可以经非退化实线性替换)也可以经非退化实线性替换变到二次型(变到二次型(1),所以按同样理由,当(),所以按同样理由,当(3)正定)正定时,(时,(1)也正定)也正定.9.3.2 正定二次型的判别正定二次型的判别 1判别定理判别定理1:实二次型实二次型 是正定的是正定的 它的正惯性指它的正惯性指数等于数等于 .实二次型实二次型 是正定的是正定的 它的规范形为它的规范形为 。一个实对称矩阵是正定的一个实对称矩阵是正定的 它与单位矩阵合它与单位矩阵合同同.例例3 正定矩阵的行列式大于零正定矩阵
29、的行列式大于零.逆命题不成立。逆命题不成立。反例:反例:的行列式大于零,但它对应的二次型的行列式大于零,但它对应的二次型 不是正定的。不是正定的。提示:提示:2矩阵的顺序主子式矩阵的顺序主子式 称为矩阵称为矩阵 的顺序主子式的顺序主子式.矩阵矩阵 的第的第 个顺序主子式为个顺序主子式为 练习练习1:若:若 是是 阶实矩阵,则满足(阶实矩阵,则满足()时,)时,是正定矩阵。是正定矩阵。称为矩阵称为矩阵 的顺序主子式的顺序主子式.3判别定理判别定理2:实二次型:实二次型 是正定的是正定的 矩阵矩阵 的顺序主子式全大于零的顺序主子式全大于零.例例4 判定二次型判定二次型 是否正定是否正定.的矩阵为的
30、矩阵为 ,它的顺序主子,它的顺序主子式式 所以,所以,正定。正定。A ,B.非退化,非退化,C.的元素全是的元素全是正实数,正实数,D.的主对角上元素全为正。的主对角上元素全为正。练习练习2:若:若 是正定矩阵,则下列结论错误的是(是正定矩阵,则下列结论错误的是()。)。练习练习3:设:设 易知易知 都是正定矩阵,但都是正定矩阵,但 不是正定矩阵。不是正定矩阵。9.4 主轴问题主轴问题 一一.内容分布内容分布 9.4.1 变量的正交变换变量的正交变换 9.4.2 实对称矩阵的相似对角形实对称矩阵的相似对角形二二.教学目的教学目的:1掌握变量的正交变换掌握变量的正交变换 2掌握将实二次型通过变量
31、的正交变换化为一掌握将实二次型通过变量的正交变换化为一 个只含变量平方项的二次型个只含变量平方项的二次型三三.重点、难点重点、难点:实二次型通过变量的正交变换化为一个只含变实二次型通过变量的正交变换化为一个只含变量平方项的二次型量平方项的二次型9.4.1 变量的正交变换变量的正交变换我们已经看到我们已经看到,实数域上一个二次型实数域上一个二次型 可以经过变量的非奇异变换可以经过变量的非奇异变换化为二次型化为二次型定义定义:我们一般地讨论将一个我们一般地讨论将一个n元实二次型通过元实二次型通过变量的正交变换化为一个只含变量平方项的二次型变量的正交变换化为一个只含变量平方项的二次型问题问题,这个问
32、题称为二次型的主轴问题这个问题称为二次型的主轴问题.这里所说的这里所说的变量的正交变换指的是这个变换的矩阵是正交矩阵变量的正交变换指的是这个变换的矩阵是正交矩阵.由于正交矩阵是非奇异的由于正交矩阵是非奇异的,所以变量的正交变所以变量的正交变换是非奇异的换是非奇异的.用矩阵的语言来说就是用矩阵的语言来说就是,给一个实给一个实对称矩阵对称矩阵A,要寻求一个正交矩阵要寻求一个正交矩阵U,使得使得 是是对角形式对角形式,这个问题在这个问题在8.4里实际上已经得到解决里实际上已经得到解决.定理定理9.4.1 设设 是实数域上一个二次型是实数域上一个二次型,那么总可以通过变量的正那么总可以通过变量的正交变
33、换交变换 化为化为 这里这里U是一个正交矩阵是一个正交矩阵,而而 是二次型是二次型 的全部特征根的全部特征根.证证 是一个是一个n 阶实对称矩阵阶实对称矩阵.由定理由定理8.4.3 和和 8.4.6,存在一个正交矩阵存在一个正交矩阵U,使得使得这里这里 是是A的全部特征根的全部特征根.这也就相当于这也就相当于说以说以A为矩阵的二次型可以通过变量的正交变换化为矩阵的二次型可以通过变量的正交变换化为标准形式为标准形式 推论推论9.4.2 设设 是实数域上一个是实数域上一个n元二次型元二次型,是它的矩阵是它的矩阵.(i)二次型二次型 的秩等于的秩等于A 的不等于零的的不等于零的特征根的个数特征根的个
34、数,而符号差等于而符号差等于A 的正特征根个数与的正特征根个数与负特征根个数的差负特征根个数的差.(ii)二次型二次型 是正交的必要且只要是正交的必要且只要A的的所有特征根都是正数所有特征根都是正数.9.4.2 实对称矩阵的相似对角形实对称矩阵的相似对角形例例1 已知实二次型已知实二次型 (1)用正交线性变换将二次型化为标准形用正交线性变换将二次型化为标准形,并写出并写出所用的正交线性变换;所用的正交线性变换;(2)求出的秩、惯性指标与符号差求出的秩、惯性指标与符号差.解解 (1)的矩阵为的矩阵为求求 f 的全部特征根:因为的全部特征根:因为故的全部特征根为故的全部特征根为 (二重),(二重)
35、,。对特征根对特征根 ,解齐次线性方程组,解齐次线性方程组 得一基础解系:得一基础解系:对特征根对特征根 ,解齐次线性方程组,解齐次线性方程组 得一基础解系:得一基础解系:对对 正交化、单位化得:正交化、单位化得:以以 为列作一个正交矩阵为列作一个正交矩阵则则 于是于是 经过正交线性变换经过正交线性变换 ,化为标准,化为标准形形(2)由(由(1)的秩为的秩为2,惯性指标,惯性指标 ,符号差,符号差 .9.5 9.5 双线性函数双线性函数 二次型与双线性函数有着密切的关系,后者也是线性代数里一个非常重要概念。在这一章的后面,我们介绍一个双线性函数。回忆7.1例6,数域F上向量空间V到F的线性映射
36、也叫作V上线性函数。现在定义双线性函数的概念。定义 1 设V是数域F上一个向量空间。V上一个双线性函数指的是一个映射,对于V中任意一对向量,有F中唯一确定的数与它对应,并满足下列条件:(i)(i)(ii)(ii)(iii)(iii)这里 例如,欧氏空间的内积就是这个空间上一个双线性函数。设 是数域F上向量空间V上一个双线性函数。由定义1中条件(i),(ii),(ii),容易推出。(1)这里 ,现在设V是数域F上一个 维向量空间。是V上一个双线性函数。取定V的一个基 ,记 ,这个 个数组成F上一个 的矩阵 矩阵A叫作双线性函数 关于基 的格拉姆(Gram)矩阵。设 ,是V的任意两个向量。由(1)
37、,我们有(2)反过来,给了F上一个 的矩阵 ,那么公式(2)唯一定义V上一个 双线性函数,它关于基 的格拉姆矩阵就是A 利用矩阵的乘法,(2)可以写成 设 是V的另一个基。是 关于这个基的格拉姆矩阵。令 是由基 到基 的过渡矩阵 于是等式右端恰是矩阵的第行第列的元素,所以(3)这就是说,V上一个双线性函数 关于V的两个基的格拉姆矩阵是合同的。在双线性函数的理论里,对称双线性函数占有重要的地位。数域F上向量空间V上一个双线性函数 说是对称的,如果对于V中任意两个向量 ,来说,都有 。例如,欧氏空间的内积就是一个对称双线性函数。以下总设V是数域F上一个有限维向量空间。如果 是V上一个对称双线性函数
38、,那么 关于V的任意基的格拉姆矩阵都是对称矩阵,反过来,如果V上一个双线性函数 关于V的某一个基的格拉姆矩阵是对称的,那么 一定是对称的。由于矩阵的合同保持矩阵的对称性,所以 关于V的任意基的格拉姆矩阵都是对称 矩阵。给了V上一个对称双线性函数。对于 ,定义 于是就得到一个映射 叫作与 关联的二次函数。设 关于V的基的格拉姆矩阵是由(2)得这是F上一个n个变量的二次型。它是二次函数 关于基 的表示式。同一个二次函数关于不同的基所确定的二次型是等价的。定理定理 9.5.1 9.5.1 设V是实数域R上一个n 维内积空间,配备了一个内积 。那么存在V的一个基 和非负整数p和r,使得(i),若 ;(
39、ii)整数p,r是由 唯一确定的 。证 我们总可以假定 不是零函数。取定V的一个基 ,关于这个基的格拉姆矩阵是 。与它关联的二次型q关于这个基的表示式是 ,由定理9.2.3这个二次型必与如下形式的二次型等价:这相当于说,存在V的一个基 ,使得条件(i),(ii)被满足。r是格拉姆矩阵的秩,自然是由 唯一确定的。由定理9.2.4,p也是由 唯一确定的。设 是实数域R上n维向量空间V的内积。如果与之关联的二次型q是正定(或负定)的,就说 是一个正定(或负定)内积。设W是V的一个子空间。V的内积 在W上的限制 自然是W上一个对称双线性函数,也就是W的一个内积。保留定理9.5.1的前提和所用的符号,令则 在 上的限制是正定的,在 上的限制是负定的,在 上的限制是0(零函数),并且 回忆一下欧氏空间的定义,我们有定理定理9.5.29.5.2 设V是实数域R上一个n维向量空间,配备了一个内积 。则V是欧氏空间当且仅当是正定。此课件下载可自行编辑修改,仅供参考!此课件下载可自行编辑修改,仅供参考!感谢您的支持,我们努力做得更好!谢谢感谢您的支持,我们努力做得更好!谢谢
限制150内