第六章二次型（线性代数）(未完成)

最新推荐文章于 2024-10-09 11:32:34 发布

xxatz

最新推荐文章于 2024-10-09 11:32:34 发布

阅读量837

点赞数 1

分类专栏：高数菜鸡之线性代数文章标签：线性代数矩阵

本文链接：https://blog.csdn.net/xxayt/article/details/121874465

版权

高数菜鸡之线性代数专栏收录该内容

6 篇文章 1 订阅

订阅专栏

文章目录

第6章二次型

第6章二次型

6.1 二次型及其矩阵

定义： $n$ 元二次齐次多项式
- 概念：
  - 标准二次型：只有平方项
  - 规范二次型：系数只为 $1, - 1, 0$ 的标准二次型
- 矩阵表达法： $f(X)=X^TAX$
  - 对称矩阵 $A=\begin{bmatrix}a_{11}&a_{12}&...&a_{1n} \\ a_{21}&a_{22}&...&a_{2n} \\ \vdots&\vdots&\ddots&\vdots\\ a_{n1}&a_{n2}&...&a_{nn}\end{bmatrix}$ 称为二次型 $f$ 的矩阵， $f$ 称为对称矩阵 $A$ 的二次型， $r a n k (A)$ 称为二次型 $f$ 的秩 $r a n k (f)$ 。
  - 对称矩阵和二次型具有唯一性
  - 标准型 $\longleftrightarrow$ 对角阵
  - 构造：非平方项系数除以 $2$
  - 标准二次型矩阵： $A_f=diag(a_{11},a_{22},...,a_nn)$ ， $rank(f)=rank(A_f)$ .
    
    规范二次型矩阵： $A_f=\begin{bmatrix}E_p&&\\&-E_{r-p}&\\&&0\end{bmatrix}$ ， $rank(f)=rank(A_f)=r$ .
线性变换（化为标准型）： $f=X^TAX=(QY)^TA(QY)=Y^TQ^TAQY=Y^TBY$
- 正交变换：若能找到 $\Lambda=Q^TAQ$ ，则可将二次型 $f$ 化为标准型
- 若 $|C|\ne0$ ，称为可逆/非退化/满秩替换。若 $∣ C ∣ = 0$ ，称为退化替换
合同：
- 定义： $n$ 阶方阵 $A, B$ ，若存在可逆矩阵 $P$ ，使得 $B=P^TAP$ ，称为 $A\backsimeq B$
- 性质：
  1. 反身性： $A\backsimeq A$
  2. 对称性：若 $A\backsimeq B$ ，则 $B\backsimeq A$
  3. 传递性：若 $A\backsimeq B$ ， $B\backsimeq C$ ，则 $A\backsimeq C$
  4. 保秩性：若 $A\backsimeq B$ ，则 $r(A)=r(B)\qquad\because$ 左右乘可逆矩阵秩不变
  5. 保号性：若 $A\backsimeq B$ ，则 $∣ B ∣, ∣ A ∣$ 同号
  6. 保对称性：若 $A\backsimeq B$ ，则 $B^T=B\iff A^T=A$
    
    $\because B^T=(P^TAP)^T=P^TA^TP=P^TAP=B\iff A^T=A$
  7. 可逆性：若 $A\backsimeq B$ ， $A, B$ 可逆，则 $B^{-1}\backsimeq A^{-1}$ 且 $B^T\backsimeq A^T$
  8. 任一实对称矩阵都合同于一对角阵，即 $A^T=A,\bar{A}=A$ $\iff$ $A\backsimeq\Lambda$
  9. 证两实对称矩阵合同，只需证明其二次型具有相同数量的正负惯性指数
三大关系： $\begin{cases}相似\\正交相似\\合同\end{cases}\Longrightarrow$ 等价；正交相似 $\Longrightarrow\begin{cases}等价\\相似\\合同\end{cases}$ 。

	等价 $A\cong B\iff PAQ=B$	相似 $A\sim B\iff P^{-1}AP=B$	正交相似 $A\sim B$ 或 $A\backsimeq B$ $\iff P^{-1}AP=P^TAP=B$	合同 $A\backsimeq B\iff P^TAP=B$
条件	$A, B$ 同型矩阵；存在可逆 $P, Q$	$A, B$ 同阶方阵；存在可逆 $P$	$A, B$ 同阶方阵；存在正交 $P$	$A, B$ 同阶方阵；存在可逆 $P$
共同性质	保秩性，反身性，对称性，传递性，可逆性	同左	同左	同左
不同性质		特征多项式（行列式，特征值，迹，可逆性）相同		保号性，保正定，保对称对称性

6.2 化二次型为标准型

配方法：从 $x_1$ 到 $x_n$ ，配完一个再搞下一个

例： $\color{blue}配方x_1^2-3x_2^2+4x_3^2-2x_1x_2+2x_1x_3-6x_2x_3$
$原式=x_1^2-2x_1(x_2-x_3)+(x_2-x_3)^2-(x_2-x_3)^2-3x_2^2+4x_3^2-6x_2x_3\\ =(x_1-x_2+x_3)^2-(4x_2^2+4x_2x_3+x_3^2)+x_3^2+3x_3^2\\ =(x_1-x_2+x_3)^2-(2x_2+x_3)^2+4x_3^2=y_1^2-y_2^2+4y_3^2.\\ 换为线性变换X=CY$
例： $\color{blue}配方2x_1x_2-4x_1x_3+10x_2x_3+5x_3x_4+x_1x_4$
$令\begin{cases}x_1=y_1-y_2\\x_2=y_1+y_2\\x_3=y_3\\x_4=y_4 \end{cases}$
合同变换法（初等变换法）： $\begin{bmatrix}A\\E\end{bmatrix}\rightarrow\begin{bmatrix}P^TAP\\EP\end{bmatrix}=\begin{bmatrix}\Lambda\\P\end{bmatrix}$ .

对 $A, E$ 做同样的初等列变换，只对 $A$ 做相应的初等行变换

例： $\color{blue}用合同变换法化f(X)=x_1x_2+x_1x_3-3x_2x_3为标准型$
$二次型f对应矩阵为A=\begin{bmatrix}0&{1\over 2}&{1\over 2}\\{1\over 2}&0&-{3\over 2}\\{1\over 2}&-{3\over 2}&0 \end{bmatrix}.\\ \begin{bmatrix}A\\E\end{bmatrix}=\begin{bmatrix}0&{1\over 2}&{1\over 2}\\{1\over 2}&0&-{3\over 2}\\{1\over 2}&-{3\over 2}&0\\1&0&0\\ 0&1&0\\0&0&1\end{bmatrix} \xrightarrow{P(1\times(2)+(1))} \begin{bmatrix}1&{1\over 2}&-1\\{1\over 2}&0&-{3\over 2}\\-1&-{3\over 2}&0\\1&0&0\\ 1&1&0\\0&0&1\end{bmatrix}\\ \xrightarrow{P(-{1\over 2}\times(1)+(2)),P(1\times(1)+(3))} \begin{bmatrix}1&0&0\\0&-{1\over 4}&-1\\0&-1&-1\\1&-{1\over 2}&1\\ 1&{1\over 2}&1\\0&0&1\end{bmatrix} \xrightarrow{P(-{1\over 4}\times(2)+(3))} \begin{bmatrix}1&0&0\\0&-{1\over 4}&0\\0&0&3\\1&-{1\over 2}&3\\ 1&{1\over 2}&-1\\0&0&1\end{bmatrix}=\begin{bmatrix}P^TAP\\P\end{bmatrix}.\\ 故X=PY,f(X)=g(Y)=y_1^2-{1\over 4}y_2^2+3y_3^2.$
正交变换法：

6.3 正定二次型

标准型不唯一，但标准型的项数表示二次型的秩，是唯一确定的

规范型定义： $\begin{bmatrix}E_p&&\\&-E_q&\\&&0_{n-r}\end{bmatrix}$ ，其中 $p$ 为正惯性指数， $q$ 为负惯性指数， $r = p + q$ 为二次型的秩
二次型的分类：设 $f(X)=X^TAX$ 为二次型， $A$ 为实对称矩阵
1. 正定，半正定，负定，半负定
判断二次型的六种方法