线性代数-第六章 二次型

线性代数-第六章 二次型

 

二次型及矩阵表示

  • 二次型的定义:含有 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) 为实数时,称 fffnnn 元实二次型

  • 二次型的矩阵和二次型的秩

    在这里插入图片描述

    可用矩阵写为: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++zp2zp+12zr2
    其中,r=r(A),p≤r≤nr=r(A),p\leq r\leq nr=r(A),prn

    注: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+x32x12 , x12+x32 都不是规范形

    但是 x12+x22+x32 , −x12−x22x_1^2+x_2^2+x_3^2~,~-x_1^2-x_2^2x12+x22+x32 , x12x22 是规范形,也就是有些系数可以没有,但如果有,必须是 1,−1,01,-1,01,1,0 的顺序

  • 二次型的惯性指数和符号差:

    • 定义:再标准形中,正系数平方项的个数 ppp 称为二次型的正惯性指数,负系数平方项的个数 qqq 称为二次型的负惯性指数,正惯性指数与负惯性指数的差 p−qp-qpq 称为二次型的符号差
    • 性质:二次型的秩等于正惯性指数与负惯性指数的和,即 r=p+qr=p+qr=p+q
  • 二次型的线性变换:

    • 定义:

      在这里插入图片描述在这里插入图片描述

​   若 ∣C∣≠0|C|\not=0C=0 ,则称为可逆线性变换(或满秩、非退化、非奇异),y=C−1xy=C^{-1}xy=C1x 是变量 y1,y2⋯ ,yny_1,y_2\cdots,y_ny1,y2,ynx1,x2,⋯ ,xnx_1,x_2,\cdots,x_nx1,x2,,xn 的一个线性变换,并称为逆线性变换,简称逆变换

​   若 CCC 为正交矩阵,则称线性变换 x=Cyx=Cyx=Cy 为正交线性变换,简称正交变换

  • 定义:
    在这里插入图片描述

  • 定理:线性变换乘积的矩阵等于各线性变换矩阵的乘积,且可逆线性变换的乘积仍是可逆线性变换

  • 定理:二次型经过可逆线性变换,得到的仍是二次型,且秩不变

    证明:在这里插入图片描述

  • 合同矩阵与合同变换

    • 定义:设 AAABBBnnn 阶矩阵,如果存在可逆矩阵 CCC,使得
      CTAC=B C^TAC=B CTAC=B
      则称矩阵 AAABBB 合同,记为 A≃BA\simeq BAB,并称由 AAABBB 的变换为合同变换,CCC 称为合同变换的矩阵

    总结一个矩阵的四种关系:

    在这里插入图片描述

    在这里插入图片描述

    • 性质:
      • 反身性:对于任意一个矩阵 AAA,都有 A≃AA\simeq AAA
      • 对称性:若 A≃BA\simeq BAB,则 B≃AB\simeq ABA
      • 传递性:若 A≃B,B≃CA\simeq B,B\simeq CAB,BCA≃CA\simeq CAC
      • A≃BA\simeq BAB,则 r(A)=r(B),A≅Br(A)=r(B),A\cong Br(A)=r(B)AB
      • A≃BA\simeq BAB,则 AT=AA^T=AAT=A 的充要条件是 BT=BB^T=BBT=B
      • A≃BA\simeq BAB,则 A,BA,BA,B 的可逆性相同;当 A,BA,BA,B 都可逆时,A−1≃B−1A^{-1}\simeq B^{-1}A1B1
      • A≃BA\simeq BAB,则 AT≃BTA^T\simeq B^TATBT
  • 有关二次型的两个重要结论:

    • 若二次型 f(x)=xTAxf(x)=x^TAxf(x)=xTAx 经可逆线性变换 x=Cyx=Cyx=Cy 化为二次型 yTByy^TByyTBy,其中 B=CTACB=C^TACB=CTAC,则 AAABBB 合同
    • 若二次型 f(x)=xTAxf(x)=x^TAxf(x)=xTAx 经正交变换 x=Qyx=Qyx=Qy 化为二次型 yTByy^TByyTBy,其中 B=QTAQ=Q−1AQB=Q^TAQ=Q^{-1}AQB=QTAQ=Q1AQ,则 AAABBB 合同,且相似

 

化二次型为标准形

  • 配方法:

    在这里插入图片描述
    在这里插入图片描述

  • 定理:任何一个 nnn 阶实对称矩阵 AAA,都合同于一个对角形矩阵

  • 正交替换法:正交变换法化二次型为标准形,本质上就是实对称矩阵的正交相似对角化

    • 定理:任何一个 nnn 元实二次型 f(x)=xTAxf(x)=x^TAxf(x)=xTAxAAA 为实对称矩阵)都可以通过正交变换 x=Qyx=Qyx=QyQQQ 为正交矩阵)化为标准形 λ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 为矩阵 AAAnnn 个特征值

    在这里插入图片描述

  • 定理:
    在这里插入图片描述

  • 推论:若实对称矩阵 AAABBB 相似,则 AAABBB 合同

骚题一道:

在这里插入图片描述

 

二次型和对称矩阵的有定性

  • 二次型和对称矩阵有定性的概念:

    • 定义:设 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)=xTAx0(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半正(负)定矩阵
    • 二次型或对称矩阵的正(负)定、半正(负)定,统称为二次型或对称矩阵的有定性,不具有定性的二次型或对称矩阵称为不定的
  • 正定二次型和正定矩阵的判别:

    • 定理:正定二次型经过任一可逆线性变换仍化为正定二次型

    • 推论:可逆线性变换不改变二次型的定性

    • 推论:若 AAABBB 是两个合同的实对称矩阵,则 AAABBB 有相同的定性

    • 定理: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 EAE,即存在可逆矩阵 CCC,使得 CTAC=EC^TAC=ECTAC=E (与 EEE 合同法)

    • 结论3:nnn 阶对称矩阵 AAA 正定的充分必要条件是存在可逆矩阵 CCC,使得 A=CTCA=C^TCA=CTC (矩阵分解法)

    • 推论:若对称矩阵 AAA 正定,则 ∣A∣>0|A|>0A>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,A1,A,kA(k>0),Ak(k是正整数) 均为正定矩阵

    • AAA 为正定矩阵,BBB 是同阶正定(或半正定)矩阵,则 A+BA+BA+B 也是正定矩阵

      证明:
      在这里插入图片描述

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值