二次型及其矩阵表示
- 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+2x1x2−4x1x3
- 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)⎣⎡11−2150−205⎦⎤⎣⎡x1x2x3⎦⎤
- 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+9x32,p=3,q=0p=3,q=0p=3,q=0
- 求正负惯性指数要注意是否是坐标变换x=Cyx=Cyx=Cy,CCC为可逆矩阵
二次型的秩
- 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 0∣C∣=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⎦⎤=⎣⎡c11c21c31c12c22c32c13c23c33⎦⎤⎣⎡y1y2y3⎦⎤
合同
- 若CTAC=B,C−C^TAC=B,C-CTAC=B,C−可逆,称矩阵AAA和BBB合同,记A≃BA\simeq BA≃B
- 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^2∀xTAx,∃x=Cy⇒yTΛ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=C−1
-
C−1AC=Λ,A∼ΛC^{-1}AC=\Lambda,A\sim \LambdaC−1AC=Λ,A∼Λ
-
A∼ΛA\sim\LambdaA∼Λ:Λ\LambdaΛ是AAA的特征值,CCC是AAA的特征向量
-
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>0∀x=(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>0∀x=0⇒xTAx>0
- λ>0\lambda > 0λ>0
例题
-
已知矩阵AAA正定,证明A−1A^{-1}A−1是正定矩阵.
- 由AAA正定⇒AT=A\Rightarrow A^T=A⇒AT=A
- (A−1)T=(AT)−1=A−1(A^{-1})^T=(A^T)^{-1}=A^{-1}(A−1)T=(AT)−1=A−1
- 设λ\lambdaλ是A−1A^{-1}A−1的任一特征值,对应的特征向量是α\alphaα,即A−1α=λαA^{-1}\alpha=\lambda\alphaA−1α=λα
- 则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⇒λ>0⇒A−1正定
-
设A−m×n,r(A)=nA-m\times n,r(A)=nA−m×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=ATA⇒ATA为对称矩阵.
- r(A)=n⇒Ax=0r(A)=n\Rightarrow Ax=0r(A)=n⇒Ax=0只有零解.
- ∀x≠0⇒Ax≠0\forall x\neq 0\Rightarrow Ax\neq 0∀x=0⇒Ax=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=0⇒xT(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=B⇔Ps…P2P1AQ1Q2…Qt=B
- ⇔PAQ=B\Leftrightarrow PAQ=B⇔PAQ=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,P−1AP=B
- 实对称A∼B⇔λA=λBA\sim B\Leftrightarrow \lambda_A=\lambda_BA∼B⇔λA=λB
- A∼Λ,B∼Λ⇒A∼BA\sim\Lambda,B\sim\Lambda\Rightarrow A\sim BA∼Λ,B∼Λ⇒A∼B
- 不相似
- ∣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_B⇔pA=pB,qA=qB
- ∃\exist∃可逆CCC,CTAC=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]