线性代数-第六章 二次型
二次型及矩阵表示
-
二次型的定义:含有 nnn 个变量 x1,x2,⋯ ,xnx_1,x_2,\cdots,x_nx1,x2,⋯,xn 的二次齐次多项式
f(x1,x2,⋯ ,xn)=a11x12+2a12x1x2+2a13x1x3+⋯+2a1nx1xn+a22x22+2a23x2x3+⋯+2a2nx2xn+⋯⋯⋯⋯+annxn2 f(x_1,x_2,\cdots,x_n)=a_{11}x_1^2+2a_{12}x_1x_2+2a_{13}x_1x_3+\cdots+2a_{1n}x_1x_n\\ +a_{22}x_2^2+2a_{23}x_2x_3+\cdots+2a_{2n}x_2x_n\\ +\cdots\cdots\cdots\cdots\\ +a_{nn}x_n^2 f(x1,x2,⋯,xn)=a11x12+2a12x1x2+2a13x1x3+⋯+2a1nx1xn+a22x22+2a23x2x3+⋯+2a2nx2xn+⋯⋯⋯⋯+annxn2
也就是要么是一个系数乘以平方项,要么是一个系数乘以交叉项称为 nnn 元二次型,简称二次型,当 aij(i,j=1,2,⋯ ,n)a_{ij}(i,j=1,2,\cdots,n)aij(i,j=1,2,⋯,n) 为实数时,称 fff 为 nnn 元实二次型
-
二次型的矩阵和二次型的秩

可用矩阵写为:f(x1,x2,⋯ ,xn)=xTAxf(x_1,x_2,\cdots,x_n)=x^TAxf(x1,x2,⋯,xn)=xTAx ,这里的矩阵 AAA 要求必须是实对称矩阵,也就是 AT=AA^T=AAT=A
- 二次型的秩就是矩阵 AAA 的秩,即 r(f)=r(A)r(f)=r(A)r(f)=r(A)
-
根据二次齐次多项式写出矩阵 AAA
- 平方项的系数直接写在主对角线上
- 交叉项的系数要除以 2 ,并写到对应的两个位置,关于主对角线对称
例:

-
根据矩阵 AAA 写二次型,就是将上两步反过来
- 主对角线的系数直接做平方项的系数
- 取主对角线上方(或下方)的元素乘以 2 ,作为交叉项系数
骚题一道:这里的中间的矩阵 AAA 看似不是实对称矩阵,但是我们可以将它化为对称矩阵,主对角线的元素不变,关于主对角线对称的两个位置相加除以 2 ,再写回去

-
二次型的标准形:如果二次型只含平方项 xi2x_i^2xi2,不含交叉项 xixj(i≠j)x_ix_j(i\not=j)xixj(i=j),即形式为:
f(x1,x2,⋯ ,xn)=d1x12+d2x22+⋯+dnxn2 f(x_1,x_2,\cdots,x_n)=d_1x_1^2+d_2x_2^2+\cdots+d_nx_n^2 f(x1,x2,⋯,xn)=d1x12+d2x22+⋯+dnxn2
称为二次型的一个标准形,其中系数 d1,d2,⋯ ,dnd_1,d_2,\cdots,d_nd1,d2,⋯,dn 为任意实数 -
二次型的标准形对应的矩阵式对角形矩阵
二次型的秩等于标准形种非零系数平方项的个数
-
二次型的规范形:如果标准形的系数 did_idi 只能是 1,−1,01,-1,01,−1,0 三个数,则称为二次型的规范形,即
z12+⋯+zp2−zp+12−⋯−zr2 z_1^2+\cdots+z_p^2-z_{p+1}^2-\cdots-z_r^2 z12+⋯+zp2−zp+12−⋯−zr2
其中,r=r(A),p≤r≤nr=r(A),p\leq r\leq nr=r(A),p≤r≤n注:xxx 的顺序必须是从小到大,系数的顺序必须是 1,−1,01,-1,01,−1,0 的顺序,例如,x22+x32−x12 , x12+x32x_2^2+x_3^2-x_1^2~,~x_1^2+x_3^2x22+x32−x12 , x12+x32 都不是规范形
但是 x12+x22+x32 , −x12−x22x_1^2+x_2^2+x_3^2~,~-x_1^2-x_2^2x12+x22+x32 , −x12−x22 是规范形,也就是有些系数可以没有,但如果有,必须是 1,−1,01,-1,01,−1,0 的顺序
-
二次型的惯性指数和符号差:
- 定义:再标准形中,正系数平方项的个数 ppp 称为二次型的正惯性指数,负系数平方项的个数 qqq 称为二次型的负惯性指数,正惯性指数与负惯性指数的差 p−qp-qp−q 称为二次型的符号差
- 性质:二次型的秩等于正惯性指数与负惯性指数的和,即 r=p+qr=p+qr=p+q
-
二次型的线性变换:
-
定义:


-
若 ∣C∣≠0|C|\not=0∣C∣=0 ,则称为可逆线性变换(或满秩、非退化、非奇异),y=C−1xy=C^{-1}xy=C−1x 是变量 y1,y2⋯ ,yny_1,y_2\cdots,y_ny1,y2⋯,yn 到 x1,x2,⋯ ,xnx_1,x_2,\cdots,x_nx1,x2,⋯,xn 的一个线性变换,并称为逆线性变换,简称逆变换
若 CCC 为正交矩阵,则称线性变换 x=Cyx=Cyx=Cy 为正交线性变换,简称正交变换
-
定义:

-
定理:线性变换乘积的矩阵等于各线性变换矩阵的乘积,且可逆线性变换的乘积仍是可逆线性变换
-
定理:二次型经过可逆线性变换,得到的仍是二次型,且秩不变
证明:

-
合同矩阵与合同变换
- 定义:设 AAA 和 BBB 是 nnn 阶矩阵,如果存在可逆矩阵 CCC,使得
CTAC=B C^TAC=B CTAC=B
则称矩阵 AAA 与 BBB 合同,记为 A≃BA\simeq BA≃B,并称由 AAA 到 BBB 的变换为合同变换,CCC 称为合同变换的矩阵
总结一个矩阵的四种关系:


- 性质:
- 反身性:对于任意一个矩阵 AAA,都有 A≃AA\simeq AA≃A
- 对称性:若 A≃BA\simeq BA≃B,则 B≃AB\simeq AB≃A
- 传递性:若 A≃B,B≃CA\simeq B,B\simeq CA≃B,B≃C 则 A≃CA\simeq CA≃C
- 若 A≃BA\simeq BA≃B,则 r(A)=r(B),A≅Br(A)=r(B),A\cong Br(A)=r(B),A≅B
- 若 A≃BA\simeq BA≃B,则 AT=AA^T=AAT=A 的充要条件是 BT=BB^T=BBT=B
- 若 A≃BA\simeq BA≃B,则 A,BA,BA,B 的可逆性相同;当 A,BA,BA,B 都可逆时,A−1≃B−1A^{-1}\simeq B^{-1}A−1≃B−1
- 若 A≃BA\simeq BA≃B,则 AT≃BTA^T\simeq B^TAT≃BT
- 定义:设 AAA 和 BBB 是 nnn 阶矩阵,如果存在可逆矩阵 CCC,使得
-
有关二次型的两个重要结论:
- 若二次型 f(x)=xTAxf(x)=x^TAxf(x)=xTAx 经可逆线性变换 x=Cyx=Cyx=Cy 化为二次型 yTByy^TByyTBy,其中 B=CTACB=C^TACB=CTAC,则 AAA 与 BBB 合同
- 若二次型 f(x)=xTAxf(x)=x^TAxf(x)=xTAx 经正交变换 x=Qyx=Qyx=Qy 化为二次型 yTByy^TByyTBy,其中 B=QTAQ=Q−1AQB=Q^TAQ=Q^{-1}AQB=QTAQ=Q−1AQ,则 AAA 与 BBB 合同,且相似
化二次型为标准形
-
配方法:


-
定理:任何一个 nnn 阶实对称矩阵 AAA,都合同于一个对角形矩阵
-
正交替换法:正交变换法化二次型为标准形,本质上就是实对称矩阵的正交相似对角化
- 定理:任何一个 nnn 元实二次型 f(x)=xTAxf(x)=x^TAxf(x)=xTAx (AAA 为实对称矩阵)都可以通过正交变换 x=Qyx=Qyx=Qy (QQQ 为正交矩阵)化为标准形 λ1y12+λ2y22+⋯+λnyn2\lambda_1y_1^2+\lambda_2y_2^2+\dots+\lambda_ny_n^2λ1y12+λ2y22+⋯+λnyn2,其中 λ1,λ2,⋯ ,λn\lambda_1,\lambda_2,\cdots,\lambda_nλ1,λ2,⋯,λn 为矩阵 AAA 的 nnn 个特征值

-
定理:

-
推论:若实对称矩阵 AAA 与 BBB 相似,则 AAA 与 BBB 合同
骚题一道:

二次型和对称矩阵的有定性
-
二次型和对称矩阵有定性的概念:
- 定义:设 nnn 元二次型 f(x)=xTAx(AT=A)f(x)=x^TAx(A^T=A)f(x)=xTAx(AT=A),如果对于任意非零列向量 x=(x1,x2,⋯ ,xn)T≠0x=(x_1,x_2,\cdots,x_n)^T\not=0x=(x1,x2,⋯,xn)T=0,恒有 f(x)=xTAx>0(或<0)f(x)=x^TAx>0(或<0)f(x)=xTAx>0(或<0),则称二次型 f(x)=xTAxf(x)=x^TAxf(x)=xTAx 为正(负)定性二次型,称对称矩阵 AAA 为正(负)定矩阵
- 如果对于任意列向量 x=(x1,x2,⋯ ,xn)Tx=(x_1,x_2,\cdots,x_n)^Tx=(x1,x2,⋯,xn)T,恒有 f(x)=xTAx≥0(或≤0)f(x)=x^TAx\geq0(或\leq0)f(x)=xTAx≥0(或≤0),且存在非零列向量 x0=(x10,x20,⋯ ,xn0)Tx_0=(x_1^0,x_2^0,\cdots,x_n^0)^Tx0=(x10,x20,⋯,xn0)T,使得 f(x0)=x0TAx0=0f(x_0)=x_0^TAx_0=0f(x0)=x0TAx0=0,则称二次型 f(x)=xTAxf(x)=x^TAxf(x)=xTAx 为半正(负)定性二次型,称对称矩阵 AAA 为半正(负)定矩阵
- 二次型或对称矩阵的正(负)定、半正(负)定,统称为二次型或对称矩阵的有定性,不具有定性的二次型或对称矩阵称为不定的
-
正定二次型和正定矩阵的判别:
-
定理:正定二次型经过任一可逆线性变换仍化为正定二次型
-
推论:可逆线性变换不改变二次型的定性
-
推论:若 AAA 与 BBB 是两个合同的实对称矩阵,则 AAA 与 BBB 有相同的定性
-
定理:nnn 元二次型 f(x)=xTAxf(x)=x^TAxf(x)=xTAx 正定的充分必要条件是它的标准形为 d1y12+d2y22+⋯+dnyn2d_1y_1^2+d_2y_2^2+\cdots+d_ny_n^2d1y12+d2y22+⋯+dnyn2,其中 di>0,i=1,2,⋯ ,nd_i>0,i=1,2,\cdots,ndi>0,i=1,2,⋯,n (标准形法)
-
推论:nnn 元二次型 f(x)=xTAxf(x)=x^TAxf(x)=xTAx 正定的充分必要条件是它的正惯性指数为 nnn (惯性指数法)
-
结论1:nnn 元二次型 f(x)=xTAxf(x)=x^TAxf(x)=xTAx 正定的充分必要条件是它的规范形为 y12+y22+⋯+yn2y_1^2+y_2^2+\cdots+y_n^2y12+y22+⋯+yn2 (规范形法)
-
结论2:nnn 阶对称矩阵 AAA 正定的充分必要条件是 A≃EA\simeq EA≃E,即存在可逆矩阵 CCC,使得 CTAC=EC^TAC=ECTAC=E (与 EEE 合同法)
-
结论3:nnn 阶对称矩阵 AAA 正定的充分必要条件是存在可逆矩阵 CCC,使得 A=CTCA=C^TCA=CTC (矩阵分解法)
-
推论:若对称矩阵 AAA 正定,则 ∣A∣>0|A|>0∣A∣>0 (正定的必要条件)
-
定理:nnn 阶对称矩阵 AAA 正定的充分必要条件是 AAA 的特征值全大于0
-
定理:nnn 阶对称矩阵 AAA 正定的充分必要条件是 AAA 的各阶顺序主子式全大于零 (顺序主子式法)
顺序主子式:从矩阵的左上角依次取 1 阶,2 阶,……,n 阶方阵,就为 1 阶顺序主子式,2 阶顺序主子式,……,n 阶顺序主子式

-
-
正定矩阵的一些性质:
-
若 AAA 为正定矩阵,则 AAA 必为对称矩阵 (正定的必要条件)
-
若 AAA 为正定矩阵,则 AAA 的主对角线元素都大于零,即 aii>0,i=1,2,⋯ ,na_{ii}>0,i=1,2,\cdots,naii>0,i=1,2,⋯,n
-
若 AAA 为正定矩阵,则 AAA 为可逆矩阵 (正定的必要条件)
-
若 AAA 为正定矩阵,则 AT,A−1,A∗,kA(k>0),Ak(k是正整数)A^T,A^{-1},A^*,kA(k>0),A^k(k是正整数)AT,A−1,A∗,kA(k>0),Ak(k是正整数) 均为正定矩阵
-
若 AAA 为正定矩阵,BBB 是同阶正定(或半正定)矩阵,则 A+BA+BA+B 也是正定矩阵
证明:

-

4659

被折叠的 条评论
为什么被折叠?



