最后更新: 2025-09-21 16:25 查看: 1028 次反馈能力测评会员8.2元/月赞助

二次型的规范形与惯性定理

## 二次型的规范形

同一个二次型所做的线性变换不同其得到的标准型是不同的。但是，同一个二次型的不同标准型有其共性，即标准型中所含系数不为零的平方数的个数是相同的，且正(负)平方项的个数是相同的。而且不论通过那种方法将二次型化为标准型后，都可以进一步化简称平方项系数只有$1,-1,0$的标准型，即二次项的**规范形**。

### 定义1：规范形定义
 $n$ 元二次型 $f$ 的标准形中，所有平方项的系数仅为 $1,-1$ 或 $0$ ，即形如 $y_1{ }^2+\cdots+y_p{ }^2-y_{p+1}{ }^2-\cdots-y_r{ }^2,(p \leq r \leq n)$ 把这种标准形称为二次型 $f$ 的规范形。

示例：
• 二次型$f(x, y, z) = x^2 + y^2 - z^2 $的规范形为$y_1^2 + y_2^2 - y_3^2 $，正惯性指数$p=2 $，负惯性指数$q=1 $。

• 若二次型经配方得$(x+y)^2 + (y+z)^2 $，规范形为$y_1^2 + y_2^2 $，正惯性指数$p=2 $，负惯性指数$q=0 $。

`例` 设三元二次型 $f$ 的标准形是 $f=2 y_1{ }^2-y_2{ }^2+3 y_3{ }^2$ ，作可逆线性变换 $\left\{\begin{array}{l}y_1=\frac{1}{\sqrt{2}} z_1 \\ y_2= \\ y_3=\frac{1}{\sqrt{3}} z_2\end{array} z_3\right.$ ，则得到 $f$ 的规范形为 $f=z_1{ }^2+z_2{ }^2-z_3{ }^2$

## 惯性指数

> 定义 设二次型 $f=\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x}, r(f)=r$ ，经非奇异线性替换化 $f$为标准形．若 $f$ 的标准形有 $p$ 个正项，则称 $p$ 为二次型 $f$ 或实对称矩阵 $\boldsymbol{A}$ 的**正惯性指数**．又称 $q=r-p$ 和 $s=p-q$ 分别为二次型 $f$ 或实对称矩阵 $\boldsymbol{A}$ 的**负惯性指数**和**符号差**．

规范形中的 $p$ 称为二次型 $f$ 的正惯性指数， $r$ 为 $f$ 的负惯性指数， $f-r$ 称为 $f$ 的符号差, $f+r$ 称为二次型的秩。

**惯性定理指出：二次型 $f$ 的正惯性指数、负惯性指数是唯一的，而且惯性定理可用矩阵语言来叙述：**

对于任意一个$n$阶实对称矩阵$A$，它必合同于对角矩阵 $\left(\begin{array}{lll}E_p & & \\ & -E_{r} & \\ & & 0\end{array}\right)$ ，其中 $p$ 为$A$的正惯性指数， $r+p$ 为 A 的秩。

二次型的秩等于矩阵的秩等下向量组的秩，利用这个结论，可以解题，见下面例题。
 
`例`  已知二次型 $f\left(x_1, x_2, x_3\right)=(1-a) x_1^2+(1-a) x_2^2+2 x_3^2+2(1+a) x_1 x_2$ 的秩为 2 ，则 $f\left(x_1, x_2, x_3\right)=0$ 的通解为?

分析： 二次型 $f$ 的矩阵为 $A =\left[\begin{array}{ccc}1-a & 1+a & 0 \\ 1+a & 1-a & 0 \\ 0 & 0 & 2\end{array}\right]$ ．
由题可知，矩阵 $A$ 的秩为 2 ，从而 $| A |=2\left|\begin{array}{ll}1-a & 1+a \\ 1+a & 1-a\end{array}\right|=-8 a=0$ ，解得 $a=0$ ，则

$$
f\left(x_1, x_2, x_3\right)=x_1^2+x_2^2+2 x_3^2+2 x_1 x_2=\left(x_1+x_2\right)^2+2 x_3^2 .
$$

由 $f\left(x_1, x_2, x_3\right)=0$ 得 $\left\{\begin{array}{l}x_1+x_2=0 \\ x_3=0,\end{array}\right.$ 解得 $x=[k,-k, 0]^{\top}, k$ 是任意常数．
所以答案是：$x =[k,-k, 0]^{ T }, k$ 是任意常数．

`例`  二次型 $f\left(x_1, x_2, x_3\right)=x_1 x_2+x_1 x_3-x_2 x_3$ 的负惯性指数 $q$ 为 ?

解：令

$$
\left\{\begin{array}{l}
x_1=y_1+y_2, \\
x_2=y_1-y_2, \\
x_3=y_3,
\end{array}\right.
$$

则

$$
\begin{aligned}
f & =y_1^2-y_2^2+y_1 y_3+y_2 y_3-y_1 y_3+y_2 y_3=y_1^2-y_2^2+2 y_2 y_3 \\
& =y_1^2-\left(y_2-y_3\right)^2+y_3^2 .
\end{aligned}
$$

令 $\left\{\begin{array}{l}z_1=y_1, \\ z_2=y_2-y_3 \\ z_3=y_3,\end{array}\right.$ ，即 $\left\{\begin{array}{l}y_1=z_1, \\ y_2=z_2+z_3 \\ y_3=z_3,\end{array}\right.$ ，得二次型的规范形为

$$
f \xlongequal{ x = C z} z_1^2-z_2^2+z_3^2 .
$$

故负惯性指数 $q$ 为 1 ．
 
##   西尔维斯特 Sylvester惯性定理
我们在物理学里都学过牛顿惯性定律，惯性是指物体**具有保持其运动状态的性质**。在《线性代数》里，也有一个惯性定理：二次型标准型虽然形式不一，但是其正负项个数是**保持**固定的，不因为你所采用的变换而改变，故称为**二次型的惯性定理**。

比如$ax^2+by^2=r^2 (a>0,b>0)$ 表示的是椭圆，不论采用何种变换，他变来变去仍是椭圆，不可能变成抛物线，也不可能变成双曲线。
同样如果$ax^2+by^2=r^2 (a>0,b<0)$ 表示的是双曲线，不论怎么变，都还是双曲线，不可能变成椭圆。 也就是 $x,y$前的正负号保持不变。

**定理1**
设有二次型 $f(x)=\boldsymbol{x}^{\mathrm{T}} A \boldsymbol{x}$ ，它的秩为 $r$ ，有两个可逆变换
$x=C y$ 及 $x=P z$ 使
$f=k_1 y_1^2+k_2 y_2^2+\cdots+k_r y_r^2 \quad\left(k_i \neq 0\right),$ 及 $f=\lambda_1 z_1^2+\lambda_2

其他版本
【高等数学】二次曲面

免费注册看余下 70%

非VIP会员每天5篇文章，开通VIP 无限制查看

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

高等数学测评 函数与极限一元函数微分学一元函数积分学微分方程空间向量与代数多元微分学多元积分学无穷级数

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

线性代数测评 行列式矩阵向量空间

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

概率统计测评 事件与概率一维随机变量与事件多维随机变量与事件随机变量的数字特征大数定律与中心极限定理统计量与抽样分布参数估计假设检验

上一篇：二次型化标准形（正交变换法）

下一篇：正定二次型与图像判定

本文对您是否有用？有用 (0) 无用 (0)