- 1评分超过9.0评价人数超过1000的书籍_评分9.0~9.7(1000+人参与评价)
- 2思科网络设备监控
- 3【笔记】机器视觉——工业相机_工业面阵相机 寿命
- 4如何免密操作 github、gitee 远程仓库_linux 免密下载gitee
- 5win11系统，XShell一直无法连接至VMware虚拟机（问题详细以及解决方法）_win11xshell打不开
- 6(4)按键精灵常用语法-引流脚本混合式开发技术系列教程By飞云脚本学院_按键精灵语言大全
- 7使用Github Actions自动部署vue项目到nginx服务器_把github上的项目部署到服务器
- 8【Windows Server 2019】DNS服务器的配置与管理——DNS转发器
- 9GitHub Actions项目案例_github actions 发送邮件
- 10腾讯云幻兽帕鲁服务器中，如何检查并确保所有必要的配置文件（如PalWorldSettings.ini和WorldOption.sav）正确配置？
线性代数学习笔记8-3：二次型、合同矩阵、标准型、规范型_合同二次型的几何意义是什么
赞
踩
二次型
二次型是一种特殊的多项式，其中可以有n个变量，但是每项的次数必须为二（某两个变量的乘积），例如 x 2 + x y + x z + z 2 x^2+xy+xz+z^2 x2+xy+xz+z2
- 之前说过，一元n次多项式（函数）可以视为一个向量，基函数就是 1 , x , x 2 . . . 1,x,x^2... 1,x,x2...
- 类似的思路，n元2次多项式（二次型）的问题可以视为矩阵的问题，只不过这里的基函数是n个变量 x 1 , x 2 , . . . , x n x_1,x_2,...,x_n x1,x2,...,xn
二次型可以表示为
f
(
A
)
=
(
x
1
,
x
2
,
.
.
.
,
x
n
)
A
(
x
1
,
x
2
,
.
.
.
,
x
n
)
T
f(\mathbf A)=(x_1,x_2,...,x_n)\mathbf A(x_1,x_2,...,x_n)^T
f(A)=(x1,x2,...,xn)A(x1,x2,...,xn)T
实对称矩阵
A
\mathbf A
A称为二次型的矩阵，
R
a
n
k
(
A
)
Rank(\mathbf A)
Rank(A)称为二次型的秩
这样一来，我们就能利用线性代数解决n元2次多项式问题了，但是这里不能随意应用矩阵的各种变换，针对二次型的研究，还需要矩阵的合同变换
二次型的几何意义
二次型的提出，是为了研究：几何图形在三维坐标系下二次曲线/二次曲面方程
这里直接给出结论：研究几何图形，只要研究这个二次函数的二次项就可以了
- 二次型的一次项和常数项并不能影响图形本身的特性，只要二次项相同，矩阵就是合同的（它们的几何图形是在不同坐标系下看到的同一个图形，或者说他们的图形经过缩放、选择、平移后能够重合）
（这就好像在分析高频信号时，抓住关键特性，只要分析其复包络/等效低通信号就可以了）
这里的合同，偏向于说几何图形的“根本特性”相同，例如圆和椭圆就是合同的，其二次型相同中的二次项相同，但是相较于不包含交叉项的函数图形，包含变量交叉项的函数的图形发生了旋转和伸缩变化，但我们仍可将其视为“取不同坐标系”时看到的同一个图形
- 由此可知，二次型的二次项完全表现了图形的特性，这种“特性”相同的一类二次型，其矩阵就是合同矩阵（几何意义：线性空间里的同一个几何图形，在不同的坐标基下的不同矩阵表示）
合同矩阵
称 A \mathbf A A和 B \mathbf B B为合同矩阵的条件：它们满足 B = P T A P \mathbf B= \mathbf P^T\mathbf A\mathbf P B=PTAP，且其中 P \mathbf P P为可逆矩阵（理解为：由自然基到非自然基的过渡矩阵，从而用于转换观察的坐标系）
- 对比：对称矩阵的相似对角化为
A
=
Q
Λ
Q
T
\boldsymbol{A}=\boldsymbol{Q} \boldsymbol{\Lambda} \boldsymbol{Q}^{T}
A=QΛQT，其中
Q
\boldsymbol{Q}
Q为正交矩阵
两种定义有相似之处，相似对角化与合同有某种联系（相似对角化是合同的特殊情况？待进一步学习） - 和相似矩阵类似，合同矩阵就是同一个二次型在不同坐标基下的矩阵
- 合同矩阵的几何意义：同一个二次函数的几何图形，在不同坐标系下的矩阵表示
- 二次型的矩阵（对称矩阵）必合同于对角矩阵
原因：对称阵一定可以正交对角化
标准型、规范型
前面说过，几何图形的特性完全由二次项决定，然而我们又不希望出现交叉项这样的二次项，希望得到一种“最简”的形式，这就是标准型和规范型
标准型：形如
a
1
x
1
2
+
a
2
x
2
2
+
.
.
.
+
a
n
x
n
2
a_1{x_1}^2+a_2{x_2}^2+...+a_n{x_n}^2
a1x12+a2x22+...+anxn2的二次型
规范型：形如
x
1
2
+
x
2
2
+
.
.
.
+
x
n
2
{x_1}^2+{x_2}^2+...+{x_n}^2
x12+x22+...+xn2的二次型
对于同一个二次型 f ( A ) = ( x 1 , x 2 , . . . , x n ) A ( x 1 , x 2 , . . . , x n ) T f(\mathbf A)=(x_1,x_2,...,x_n)\mathbf A(x_1,x_2,...,x_n)^T f(A)=(x1,x2,...,xn)A(x1,x2,...,xn)T，我们变换观察的视角（在不同坐标系下看同一个几何图形），由于二次型的矩阵 A \mathbf A A（实对称矩阵）必可正交对角化，因此任何二次型可以通过[合同变换]化为标准型
- 通过配方法/施密特正交变换，可以化二次型为标准型
- 二次型化为标准型，几何上就是不停进行坐标变换，最终找到一组正交基，使得在这个基下的二次型矩阵为对角矩阵
