二次型(考研)

二次型及其矩阵表示

  • f(x1,x2,x3)=x12+5x22+5x32+2x1x2−4x1x3f(x_1,x_2,x_3)=x_1^2+5x_2^2+5x_3^2+2x_1x_2-4x_1x_3f(x1,x2,x3)=x12+5x22+5x32+2x1x24x1x3
  • f=(x1 x2 x3)[11−2150−205][x1x2x3]f=\left(\begin{array}{r} x_1\ x_2\ x_3 \end{array}\right)\left[\begin{array}{cccc} 1 & 1 & -2 \\ 1 & 5 & 0\\ -2 & 0 & 5 \end{array}\right]\left[\begin{array}{c} x_1 \\ x_2 \\ x_3 \end{array}\right]f=(x1 x2 x3)112150205x1x2x3
  • AT=AA^T=AAT=A对称,二次型的矩阵

标准型

  • 只有平方项,没有混合项
  • AAA为对角矩阵

规范性

  • 标准型
  • 平方项的系数只可以为1,−1,01,-1,01,1,0

正、负惯性指数

  • 标准型中的正负指数的个数
  • x12+4x22+9x32x_1^2+4x_2^2+9x_3^2x12+4x22+9x32p=3,q=0p=3,q=0p=3,q=0
  • 求正负惯性指数要注意是否是坐标变换x=Cyx=Cyx=CyCCC为可逆矩阵

二次型的秩

  • r(f)=r(A)=p+qr(f)=r(A)=p+qr(f)=r(A)=p+q

坐标变换

  • {x1=c11y1+c12y2+c13y3x2=c21y1+c22y2+c23y3x3=c31y1+c32y2+c33y3 \left\{ \begin{aligned} &x_1=c_{11}y_1+c_{12}y_2+c_{13}y_3\\ &x_2=c_{21}y_1+c_{22}y_2+c_{23}y_3\\ &x_3=c_{31}y_1+c_{32}y_2+c_{33}y_3\\ \end{aligned} \right. x1=c11y1+c12y2+c13y3x2=c21y1+c22y2+c23y3x3=c31y1+c32y2+c33y3
  • ∣C∣≠0|C|\neq 0C=0
  • CCC是正交矩阵,则称为正交变换
  • [x1x2x3]=[c11c12c13c21c22c23c31c32c33][y1y2y3]\left[\begin{array}{c} x_1 \\ x_2 \\ x_3 \end{array}\right]=\left[\begin{array}{cccc} c_{11} & c_{12} & c_{13} \\ c_{21} & c_{22} & c_{23} \\ c_{31} & c_{32} & c_{33} \\ \end{array}\right]\left[\begin{array}{c} y_1 \\ y_2 \\ y_3 \end{array}\right]x1x2x3=c11c21c31c12c22c32c13c23c33y1y2y3

合同

  • CTAC=B,C−C^TAC=B,C-CTAC=B,C可逆,称矩阵AAABBB合同,记A≃BA\simeq BAB
  • f(x1,x2,x3)=xTAx=(Cy)TA(Cy)=yTCTACy=yTBy\begin{aligned}f(x_1,x_2,x_3)&=x^TAx\\ &=(Cy)^TA(Cy)\\ &=y^TC^TACy\\ &=y^TBy \end{aligned}f(x1,x2,x3)=xTAx=(Cy)TA(Cy)=yTCTACy=yTBy

二次型化为标准型

  • ∀xTAx,∃x=Cy⇒yTΛy=d1y12+d2y22+d3y32\forall x^TAx,\exist x=Cy\Rightarrow y^T\Lambda y=d_1y_1^2+d_2y_2^2+d_3y_3^2xTAx,x=CyyTΛy=d1y12+d2y22+d3y32
  • CCC是正交矩阵,则称为正交变换
  • 配方法(了解)
    • 依次消灭(x1,x2,x3x_1,x_2,x_3x1,x2,x3

正交变换法(掌握)

  • CTAC=ΛC^TAC=\LambdaCTAC=Λ

  • CCC为正交矩阵

    • CT=C−1C^T=C^{-1}CT=C1
  • C−1AC=Λ,A∼ΛC^{-1}AC=\Lambda,A\sim \LambdaC1AC=Λ,AΛ

  • A∼ΛA\sim\LambdaAΛΛ\LambdaΛAAA的特征值,CCCAAA的特征向量

  • yTΛyy^T\Lambda yyTΛyΛ\LambdaΛ是标准型中平方项的系数

  • 步骤

    • 求特征值
    • 求特征向量
    • 改造特征向量(互相正交、单位化)
    • 构造正交矩阵Q=(γ1,γ2,γ3)Q=(\gamma_1,\gamma_2,\gamma_3)Q=(γ1,γ2,γ3)
    • 写坐标变换,得标准型
      • x=Qyx=Qyx=Qy
      • xTAx=yTΛy=λ1y12+λ2y22+λ3y32x^TAx=y^T\Lambda y=\lambda_1 y_1^2+\lambda_2 y_2^2+\lambda_3 y_3^2xTAx=yTΛy=λ1y12+λ2y22+λ3y32

正定

  • ∀x=(x1,x2,x3)T≠0,f(x1,x2,x3)=xTAx>0\forall x=(x_1,x_2,x_3)^T\neq 0, f(x_1,x_2,x_3)=x^TAx>0x=(x1,x2,x3)T=0,f(x1,x2,x3)=xTAx>0,称fff为正定二次型.

  • 正定二次型的矩阵称为正定矩阵.

  • 证明正定矩阵

    • 检验对称
    • 证明正定
  • 正定必要条件

    • aii>0a_{ii}>0aii>0
    • 顺序主子式全大于0
  • 正定充分必要条件

    • 特征值都大于0
  • 证明正定

    • 定义法:∀x≠0⇒xTAx>0\forall x\neq 0\Rightarrow x^TAx>0x=0xTAx>0
    • λ>0\lambda > 0λ>0

例题

  • 已知矩阵AAA正定,证明A−1A^{-1}A1是正定矩阵.

    • AAA正定⇒AT=A\Rightarrow A^T=AAT=A
    • (A−1)T=(AT)−1=A−1(A^{-1})^T=(A^T)^{-1}=A^{-1}(A1)T=(AT)1=A1
    • λ\lambdaλA−1A^{-1}A1的任一特征值,对应的特征向量是α\alphaα,即A−1α=λαA^{-1}\alpha=\lambda\alphaA1α=λα
    • AAA的特征值是1λ\frac{1}{\lambda}λ1
    • AAA正定⇒1λ>0⇒λ>0⇒A−1正定\Rightarrow \frac{1}{\lambda}>0\Rightarrow\lambda>0\Rightarrow A^{-1}正定λ1>0λ>0A1
  • A−m×n,r(A)=nA-m\times n,r(A)=nAm×n,r(A)=n,证明ATAA^TAATA是正定矩阵

    • (ATA)T=AT(AT)T=ATA⇒ATA(A^TA)^T=A^T(A^T)^T=A^TA\Rightarrow A^TA(ATA)T=AT(AT)T=ATAATA为对称矩阵.
    • r(A)=n⇒Ax=0r(A)=n\Rightarrow Ax=0r(A)=nAx=0只有零解.
    • ∀x≠0⇒Ax≠0\forall x\neq 0\Rightarrow Ax\neq 0x=0Ax=0
    • xT(ATA)x=(Ax)T(Ax)x^T(A^TA)x=(Ax)^T(Ax)xT(ATA)x=(Ax)T(Ax)Ax≠0⇒xT(ATA)x>0Ax\neq 0\Rightarrow x^T(A^TA)x>0Ax=0xT(ATA)x>0

补充

A,BA,BA,B等价

  • AAA经过初等变换得到BBB
  • ⇔Ps…P2P1AQ1Q2…Qt=B\Leftrightarrow P_s\dots P_2P_1AQ_1Q_2\dots Q_t=BPsP2P1AQ1Q2Qt=B
  • ⇔PAQ=B\Leftrightarrow PAQ=BPAQ=B
  • r(A)=r(B)r(A)=r(B)r(A)=r(B)

A,BA,BA,B相似

  • 存在可逆P,P−1AP=BP,P^{-1}AP=BP,P1AP=B
  • 实对称A∼B⇔λA=λBA\sim B\Leftrightarrow \lambda_A=\lambda_BABλA=λB
  • A∼Λ,B∼Λ⇒A∼BA\sim\Lambda,B\sim\Lambda\Rightarrow A\sim BAΛ,BΛAB
  • 不相似
    • ∣A∣≠∣B∣|A|\neq |B|A=B
    • r(A)≠r(B)r(A)\neq r(B)r(A)=r(B)
    • λA≠λB\lambda_A\neq\lambda_BλA=λB
    • ∑aii≠∑bii\sum a_{ii}\neq\sum b_{ii}aii=bii
    • A∼Λ,BA\sim\Lambda,BAΛ,B不能对角化

A,BA,BA,B合同

  • ⇔pA=pB,qA=qB\Leftrightarrow p_A=p_B,q_A=q_BpA=pB,qA=qB
  • ∃\exist可逆CCCCTAC=BC^TAC=BCTAC=B
  • 惯性定理
    • 二次型经过坐标变换,正负惯性指数不变.

举例子

  • 二阶矩阵,特征值相同但是不相似
    • [2102][2002]\left[\begin{array}{cccc} 2 & 1 \\ 0 & 2\\ \end{array}\right]\left[\begin{array}{cccc} 2 & 0 \\ 0 & 2\\ \end{array}\right][2012][2002]
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值