最后更新: 2025-08-26 11:16 查看: 520 次反馈同步训练

正定二次型与图像判定

## 正定二次型定义
设有二次型 $f(\boldsymbol{x})=\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x}$ 。
- 若对任何 $\boldsymbol{x} \neq \mathbf{0}$, 都有 $f(\boldsymbol{x})>0$, 则称 $f(\boldsymbol{x})$ 为正定二次型, 并称对称矩阵 $\boldsymbol{A}$ 是正定矩阵, 记为 $\boldsymbol{A}>\mathbf{0}$ 。
- 若对任何 $\boldsymbol{x} \neq \mathbf{0}$, 都有 $f(\boldsymbol{x})<0$, 则称 $f(\boldsymbol{x})$ 为负定二次型, 并称对称矩阵 $\boldsymbol{A}$ 是负定矩阵, 记为 $\boldsymbol{A}<\mathbf{0}$ 。
- 若对任何 $\boldsymbol{x} \neq \boldsymbol{0}$, 都有 $f(\boldsymbol{x}) \geqslant 0$, 则称 $f(\boldsymbol{x})$ 为半正定的; 若- $f(\boldsymbol{x})$ 为半正定的, 则称 $f(x)$ 为半负定 (负半定) 的; 若 $f(\boldsymbol{x})$ 既不是半正定又不是半负定的, 则称 $f(x)$ 为不定的。

显然 $f\left(x_1, x_2, \cdots, x_n\right)=x_1^2+x_2^2+\cdots+x_n^2$是正定型，而$f\left(x_1, x_2, \cdots, x_n\right)=-x_1^2-x_2^2-\cdots-x_n^2$是负定型

**定理：**  二次型的线性变换不改变二次型的有定性。

比如$y=x^2$ 他的值是大于零，使用 $x=ct$ 带入 得 $y=c^2t^2$ 不论怎么改变，他的值仍然大于零。 从矩阵看前者是1，后者是$c^2$

## 正定二次型是干什么用的

在欧氏空间 $\mathbf{R}^n$, 实二次型 $f\left(x_1, x_2, \cdots, x_n\right)$ 作为定义在 $\mathbf{R}^n$ 的一个二次实函数 $z=f\left(x_1, x_2, \cdots, x_n\right)$,则当 $f\left(x_1, x_2, \cdots, x_n\right)$ 为正定时就是只要取 $x_1, x_2, \cdots, x_n$ 为一组不全为 0 的实数, 均有 $z>0$ (只有当 $x_1=x_2=\cdots=x_n=0$ 时, $z=0$ ); 也就是说, 这个函数的值域是 $z \geqslant 0$, 但只有在 $\mathbf{R}^n$ 的原点取得 $z=0$,而在其他点上均有 $z>0$ 。这个地方好多人都忽略了。

半正定呢, 就是在此二次型在整个定义域 $\mathbf{R}^n$ 上也有值域 $z \geqslant 0$, 但除了原点使 $z=0$ 外, 尚有其他一些点也使 $z=0$, 此外便是 $z>0$ (负定和半负定相应地有类似的结果, 只是 $z \leqslant 0$ )。

当二次型为不定时, 则函数值域既有正实数也有负实数和 0 。

**例1** $z=f(x, y)=\frac{1}{4} x^2+y^2$ 是一个正定二次型, 它的图像如图  (a) 所示, 是一个开口向上的椭圆抛物面, 整个曲面除一点 (顶点) 在坐标平面 $x o y$ 的原点上, 其余均在 $x o y$ 平面的上方。
  ![图片](/uploads/2025-04/3cb403.jpg)

正定二次型有着明显的几何意义, 当 $f(x, y)$ 为二维的正定二次型时, 它可由可逆线性替换 (坐标变换) 化为系数全为正的标准形, 于是 $f(x, y)=c(c>0)$ 的图形是以原点为中心的椭圆,当把 $c$ 看做任意正常数时, 则是一族椭圆线, 这族椭圆随着 $c$ (沿着抛物线) 减小且趋于零而收缩到原点 (见图 7-11 (a)); 当 $f$ 为三维正定二次型时, $f(x, y, z)=c(c>0)$ 的图形则是一族椭球面, 这族椭球面随着 $c$ (沿着抛物面) 减小且趋于零而收缩到原点。

**例2** $z=f(x, y)=2 x^2$ 是半正定二次型, 它的图形如上图 (b) 所示, 是一个开口向上, 以 $x o y$ 面上的抛物线 $z=2 x^2$ 为准线, 以平行于 $y$ 轴的直线为母线的抛物柱面。整个曲面有一条母线在 $x o y$ 面上 (即 $y$ 轴, 轴上二次型等于零), 其余均在 $x o y$ 平面上方。

**例3** $z=f(x, y)=x y$ 是一个不定二次型, 其图形如上图  (c) 所示, 是一个过原点的马鞍面。显然, 马鞍面上正值、负值和零都有。

## 判断旋转曲面形状

1.定义
以一条曲线绕一条定直线旋转一周所成的曲面叫做旋转曲面, 旋转曲线和定直线依次叫做旋转曲面的母线和轴.
下面列出了高等数学期间，常见的几个图形。

![图片](/uploads/2025-04/219042.jpg)

2. 常见二次曲面及其图形
(1) 椭圆锥面 $\frac{x^2}{a^2}+\frac{y^2}{b^2}=z^2$ ，如图 (a)。
(2) 椭球面 $\frac{x^2}{a^2}+\frac{y^2}{b^2}+\frac{z^2}{c^2}=1$, 如图 (b).
(3) 单叶双曲面 $\frac{x^2}{a^2}+\frac{y^2}{b^2}-\frac{z^2}{c^2}=1$, 如图 (c).
(4) 双叶双曲面 $\frac{x^2}{a^2}-\frac{y^2}{b^2}-\frac{z^2}{c^2}=1$, 如图 (d).
(5) 椭圆抛物面 $\frac{x^2}{a^2}+\frac{y^2}{b^2}=z$, 如图 (e).
(6) 双曲抛物面 (马鞍面) $\frac{x^2}{a^2}-\frac{y^2}{b^2}=z$, 如图 $(f)$.
(7) 椭圆柱面 $\frac{x^2}{a^2}+\frac{y^2}{b^2}=1$, 如图 (g).
(8) 双曲柱面 $\frac{x^2}{a^2}-\frac{y^2}{b^2}=1$, 如图(h).
(9) 抛物柱面 $y^2=a x$, 如图 (i).

下表列出了对应的惯性指数。

![图片](/uploads/2025-04/7592c0.jpg)

`例` 设二次型

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

则 $f\left(x_1, x_2, x_3\right)=-1$ 在空间直角坐标系下表示的二次曲面为（ ）．
（A）单叶双曲面
（B）双叶双曲面
（C）椭球面
（D）柱面
【解】应选（B）．
二次型矩阵 $A =\left[\begin{array}{lll}0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0\end{array}\right]$ ，由

$$
|\lambda E - A |=\left|\begin{array}{ccc}
\lambda & 0 & -1 \\
0 & \lambda-1 & 0 \\
-1 & 0 & \lambda
\end{array}\right|=(\lambda-1)^2(\lambda+1)=0,
$$

得 $A$ 的特征值为 $\lambda_1=\lambda_2=1, \lambda_3=-1$ ．

在正交变换下 $f$ 的标准形为 $y_1^2+y_2^2-y_3^2$ ，则 $f\left(x_1, x_2, x_3\right)=-1$ 写成 $-y_1^2-y_2^2+y_3^2=1$ ，表示双叶双曲面，故选（B）．

`例`判别二次型 $f=-3 x^2-5 y^2-7 z^2+4 x y+4 x z$ 的正定性。
解 $f$ 的矩阵为

$$
A=\left[\begin{array}{ccc}
-3 & 2 & 2 \\
2 & -5 & 0 \\
2 & 0 & -7
\end{array}\right]
$$

因为

$$
a_{11}=-3<0,\left|\begin{array}{ll}
a_{11} & a_{12} \\
a_{21} & a_{22}
\end{array}\right|=\left|\begin{array}{cc}
-3 & 2 \\
2 & -5
\end{array}\right|=11>0,|\boldsymbol{A}|=-57<0
$$

故由上述顺序主子式法定理知 $f$ 为负定的。

## 正定二次型推论

**定理2** $  n$ 元二次型 $f(x)=\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x}$ 为正定的充分必要条件是它的正惯性指数等于 $n$ ，即它的规范形的 $n$ 个系数全为 1 .

证明 设可逆变换 $x=C y$ 使

$$
f(\boldsymbol{x})=f(\boldsymbol{C} \boldsymbol{y})=\sum_{i=1}^n k_i {y_i}^2
$$
$$
\begin{al

免费注册看余下 50%

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

上一篇：二次型的规范形与惯性定理

下一篇：特征值与图像的正定

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