最后更新: 2025-10-19 10:24 查看: 36 次纠错评论(0) 课件开VIP

R中二次超曲面的分类

## $\mathbb{R}^n$ 中二次超曲面的分类
现在我们来具体讨论 $\mathbb{R}^n$ 中一类重要几何图形如何按度量等价关系和仿射等价关系进行分类。本段的内容，是上面一般理论的一个具体例子。本段的结果在数学分析，几何学以及自然科学的一些领域都是有用的。

**定义** 由 $\mathbb{R}\left[x_1, \cdots, x_n\right]$ 中的二次多项式

$$
f\left(x_1, \cdots, x_n\right)=\sum_{i=1}^n \sum_{j=1}^n a_{i j} x_i x_j+2 \sum_{k=1}^n b_k x_k+c \quad\left(a_{i j}=a_{j i}\right)
$$

所定义的 $\mathbb{R}^n$ 中的超曲面 $V(f)$ 称为**二次超曲面**．
如果 $n=2$ ，则 $V(f)$ 就是平面上的**二次曲线**；当 $n=3$ 时，$V(f)$ 是三维几何空间中的**二次曲面**．

令 $A=\left(a_{i j}\right), B=\left(b_1, \cdots, b_n\right), \bar{X}=\left(x_1, \cdots, x_n, 1\right)$ ，以及

$$
\bar{A}=\left[\begin{array}{cc}
A & B^{\prime} \\
B & c
\end{array}\right]_{(n+1) \times(n+1)}
$$

则有

$$
f\left(x_1, \cdots, x_n\right)=\bar{X} \bar{A} \bar{X}^{\prime}
$$

考查 $\mathbb{R}^n$ 中的仿射变换 $\bar{Y}^{\prime}=\bar{P} \bar{X}^{\prime}$ 。它也可以写成 $\bar{X}^{\prime}=\bar{Q} \bar{Y}^{\prime}$ 。我们有

$$
\bar{X} \bar{A} \bar{X}^{\prime}=\bar{Y}\left(\bar{Q}^{\prime} \bar{A} \bar{Q}\right) \bar{Y}^{\prime}=g\left(y_1, \cdots, y_n\right)
$$

$\bar{A}$ 是实对称矩阵，故 $\bar{Q}^{\prime} \bar{A} \bar{Q}$ 也是实对称矩阵．如设

$$
\bar{Q}=\left[\begin{array}{cc}
Q & H^{\prime} \\
0 & 1
\end{array}\right], \quad H=\left(h_1, \cdots, h_n\right),
$$

则

$$
\bar{Q}^{\prime} \bar{A} \bar{Q}=\left[\begin{array}{cc}
Q^{\prime} A Q & Q^{\prime} A H^{\prime}+Q^{\prime} B^{\prime} \\
H A Q+B Q & H A H^{\prime}+B H^{\prime}+H B^{\prime}+c
\end{array}\right]
$$

当 $f$ 是二次多项式时，$A \neq 0$ ，故 $Q^{\prime} A Q \neq 0$ ．于是 $g\left(y_1, \cdots, y_n\right)$ 也是二次多项式，即 $V(g)$ 是 $\mathbb{R}^n$ 中的二次超曲面．这说明仿射变换把二次超曲面仍变为二次超曲面。因而，以 $V(f)$ 为代表的仿射等价类中的几何图形全由二次超曲面组成。我们的目的，是要在 $V(f)$ 所在的仿射等价类或度量等价类中找出一个方程最简单的二次超曲面来．用它作为该等价类的代表．

### 1. $\mathbb{R}^n$ 中二次超曲面的度量分类
为了下面讨论的需要，这里先给出一个事实。
**引理 1** 在欧氏空间 $\mathbb{R}^m$ 中给定非零向量 $\alpha=\left(a_1, a_2, \cdots, a_m\right)$ ，令 $\beta=(d, 0, \cdots, 0)$ ，这里 $d=\sqrt{a_1^2+a_2^2+\cdots+a_m^2}$ 。则存在 $m$ 阶正交矩阵 $T$ ，使 $T^{\prime} \alpha^{\prime}=\beta^{\prime}$（这里把 $\alpha, \beta$ 看做 $m \times 1$ 矩阵，$\alpha^{\prime}, \beta^{\prime}$ 为其转置）。

证 令 $\varepsilon_1=\frac{1}{d} \alpha, \varepsilon_1$ 为 $\mathbb{R}^m$ 中单位向量，可扩充为 $\mathbb{R}^m$ 的一组标准正交基 $\varepsilon_1, \varepsilon_2, \cdots, \varepsilon_m$ ．现在 $\left(\varepsilon_1, \alpha\right)=\left(\varepsilon_1, d \varepsilon_1\right)=d$ ．当 $i \geqslant 2$ 时，我们有 $\left(\varepsilon_i, \alpha\right)=\left(\varepsilon_i, d \varepsilon_1\right)=0$ 。以 $\varepsilon_1, \varepsilon_2, \cdots, \varepsilon_m$ 为列向量排成 $m$ 阶正交矩阵 $T$ ，那么，按矩阵乘法的定义，我们有

$$
T^{\prime} \alpha^{\prime}=\left[\begin{array}{c}
\left(\varepsilon_1, \alpha\right) \\
\left(\varepsilon_2, \alpha\right) \\
\vdots \\
\left(\varepsilon_m, \alpha\right)
\end{array}\right]=\left[\begin{array}{c}
d \\
0 \\
\vdots \\
0
\end{array}\right]=\beta^{\prime}
$$

根据线性代数的理论，对于一个实对称矩阵 $A$ ，存在正交矩阵 $T$ ，使

$$
T^{\prime} A T=\left[\begin{array}{cccc}
\lambda_1 & & & \\
& \lambda_2 & & \\
& & \ddots & \\
0 & & & \lambda_n
\end{array}\right],
$$

其中 $\lambda_1, \cdots, \lambda_n$ 是 $A$ 的 $n$ 个实特征值．不妨假定

$$
\lambda_1 \geqslant \lambda_2 \geqslant \cdots \geqslant \lambda_p>0>\lambda_{p+1} \geqslant \cdots \geqslant \lambda_r, \quad \lambda_{r+1}=\cdots=\lambda_n=0 .
$$

于是，在正交变换

$$
\bar{X}^{\prime}=\left[\begin{array}{ll}
T & 0 \\
0 & 1
\end{array}\right] \bar{Y}^{\prime}
$$

下，由（3）式表示的二次多项式 $f$ 变为

$$
g\left(y_1, \cdots, y_n\right)=\sum_{i=1}^r \lambda_i y_i^2+2\left(b_1^{\prime} y_1+\cdots+b_n^{\prime} y_n\right)+c .
$$

此时 $V(f)$ 与 $V(g)$ 度量等价．因为 $V(g)=V(-g)$ ，故在上式中不妨假设正平方项个数 $p \geqslant$ 负平方项个数 $r-p$ ．

1）如果 $b_{r+1}^{\prime}=\cdots=b_n^{\prime}=0$ ，我们再作正交变换

$$
\begin{cases}z_i=y_i+b_i^{\prime} / \lambda_i & (i=1,2, \cdots, r), \\ z_j=y_j & (j=r+1, \cdots, n) .\end{cases}
$$

多项式 $g$ 变为

$$
h\left(z_1, \cdots, z_n\right)=\lambda_1 z_1^2+\cdots+\lambda_p z_p^2+\lambda_{p+1} z_{p+1}^2+\cdots+\lambda_r z_r^2+c^{\prime} .
$$

若 $c^{\prime}=0$ ，则我们得到如下一类二次超曲面的标准方程

$$
\mu_1 z_1^2+\cdots+\mu_p z_p^2-\mu_{p+1} z_{p+1}^2-\cdots-\mu_r z_r^2=0
$$

其中 $\mu_i>0, p \geqslant r-p$ ；
若 $c^{\prime} \neq 0$ ，因 $V(h)=V\left(h /\left|c^{\prime}\right|\right)$ ，可得第二类二次超曲面标准方程

$$
\mu_1 z_1^2+\cdots+\mu_p z_p^2-\mu_{p+1} z_{p+1}^2-\cdots-\mu_r z_r^2 \pm 1=0,
$$

其中 $\mu_i>0, p>r-p$ 。而如果 $p=r-p$ ，则方程为

$$
\mu_1 z_1^2+\cdots+u_p z_p^2-\mu_{p+1} z_{p+1}^2-\cdots-\mu_{2 p} z_{2 p}^2+1=0 .
$$

2）如果 $b_{r+1}^{\prime}, \cdots, b_n^{\prime}$ 不全为零，设

$$
d=\sqrt{b_{r+1}^{\prime 2}+\cdots+b_n^{\prime 2}}
$$

按上面的引理1，存在一个 $n-r$ 阶正交矩阵 $T_0$ ，使

$$
T_0^{\prime}\left[\begin{array}{c}
b_{r+1}^{\prime} \\
\vdots \\
b_n^{\prime}
\end{array}\right]=\left[\begin{array}{c}
d \\
0 \\
\vdots \\
0
\end{array}\right],
$$

令

$$
T=\left[\begin{array}{cr}
E_r & 0 \\
0 & T_0
\end{array}\right], \quad H=\left[-\frac{b_1^{\prime}}{\lambda_1}, \cdots,-\frac{b_r^{\prime}}{\lambda_r}, 0, \cdots, 0\right]
$$

（其中 $E_r$ 表示 $r$ 阶单位矩阵）。作正交变换

$$
\left[\begin{array}{c}
y_1 \\
\vdots \\
y_n \\
1
\end{array}\right]=\left[\begin{array}{cc}
T & H^{\prime} \\
0 & 1
\end{array}\right]\left[\begin{array}{c}
z_1 \\
\vdots \\
z_n \\
1
\end{array}\right],
$$

多项式 $g$ 变成（请读者代入上面 $\bar{Q}^{\prime} \bar{A} \bar{Q}$ 的公式计算一下）

$$
\begin{aligned}
h\left(z_1, \cdots, z_n\right)= & \lambda_1 z_1^2+\cdots+\lambda_p z_p^2+\lambda_{p+1} z_{p+1}^2 \\
& +\cdots+\lambda_r z_r^2+2 d z_{r+1}+c^{\prime}
\end{aligned}
$$

若 $c^{\prime}=0$ ，我们得到二次超曲面的一类标准方程（注意 $d>0$ ）

$$
\mu_1 z_1^2+\cdots+\mu_p z_p^2-\mu_{p+1} z_{p+1}^2-\cdots-\mu_r z_r^2+2 z_{r+1}=0
$$

若 $c^{\prime} \neq 0$ ，只要再作正交变换：

$$
\left\{\begin{array}{l}
\bar{z}_i=z_i \quad(i \neq r+1), \\
\bar{z}_{r+1}=z_{r+1}+c^{\prime} / 2 d,
\end{array}\right.
$$

我们就得到与（7）式相同的标准方程。注意（7）式中 $\mu_i>0, p \geqslant r-p$ 。
在上面的讨论中，我们证明了： $\mathbb{R}^n$ 中任意二次超曲面都和由方程（4）$\sim$（7）之一所定义的二次超曲面度量等价．不难证明：这四类方程所定义的二次超曲面互相之间不度量等价。具体的证明此处从略。到此为止，我们已经把二次超曲面的度量等价类完全弄清楚了。

当 $n=2$ 时，互不相同的度量等价类是（设 $\lambda_i>0, \mu_i>0$ ）：

$$
\lambda_1 z_1^2+\lambda_2 z_2^2=0 \quad \text { (一个点); }
$$

$$
\begin{array}{ll}
\lambda_1 z_1^2-\mu_2 z_2^2=0 & \text { (两条相交直线); } \\
\lambda_1 z_1^2+\lambda_2 z_2^2=1 & \text { (椭圆); } \\
\lambda_1 z_1^2+\lambda_2 z_2^2=-1 & \text { (无轨迹); } \\
\lambda_1 z_1^2-\mu_2 z_2^2=1 & \text { (双曲线); } \\
\lambda_1 z_1^2+2 z_2=0 & \text { (抛物线); } \\
\lambda_1 z_1^2-1=0 & \text { (两条平行的直线); } \\
\lambda_1 z_1^2+1=0 & \text { (无轨迹); } \\
z_1^2=0 & \text { (两条重合的直线) } .
\end{array}
$$

因此，从欧几里得几何学的观点来看，平面上的二次曲线只有以上九大类．

当 $n=3$ 时，互不相同的度量等价类是（设 $\lambda_i>0, \mu_i>0$ ）：

![图片](/uploads/2025-10/74f577.jpg)
 
 因此，从欧几里得几何学的观点来看，空间中的二次曲面只有以上十七个大类．
 
 ## 本章解读
 二次超曲面的分类是古典解析几何的一个重要课题。它研究的是在n维空间中，由二次方程定义的几何对象的形状。我们通常关注的是**三维欧几里得空间（R³）中的二次曲面**，因为其几何直观性强，且分类完整。

### 1. 核心思想与一般方程

**核心思想**：通过坐标变换（主要是平移和旋转），将一个复杂的二次方程化简为标准型，从而识别出其代表的几何图形。

在三维空间（R³）中，一个二次曲面的一般方程是：
$$
Ax^2 + By^2 + Cz^2 + Dxy + Eyz + Fzx + Gx + Hy + Iz + J = 0
$$
其中 $ A, B, ..., J $ 是常数，并且 $ A, B, C, D, E, F $ 不全为零。

分类过程可以概括为两个主要步骤：
1.  **正交变换（旋转）**：通过旋转坐标系，消去交叉项 $ (xy, yz, zx) $，使方程变为：
    $$
    A'x'^2 + B'y'^2 + C'z'^2 + G'x' + H'y' + I'z' + J = 0
    $$
2.  **平移**：通过配方和坐标平移，消去一次项 $ (x, y, z) $，最终得到**标准型方程**。

### 2. 三维空间中的二次曲面分类

根据化简后的标准型，三维二次曲面可以分为两大类：**非退化**和**退化**曲面。

---

#### **第一类：非退化二次曲面**

这类曲面的标准型中，所有二次项的系数都不为零。它们是“真正”的曲面。

| 名称 | 标准型（中心在原点） | 几何描述 | 示意图联想 |
| :--- | :--- | :--- | :--- |
| **椭球面** | $ \frac{x^2}{a^2} + \frac{y^2}{b^2} + \frac{z^2}{c^2} = 1 $ | 封闭的、蛋形的曲面。所有截面都是椭圆（或圆）。 | **鸡蛋、橄榄球** |
| **单叶双曲面** | $ \frac{x^2}{a^2} + \frac{y^2}{b^2} - \frac{z^2}{c^2} = 1 $ | 连接在一起的、喇叭形的曲面。**直纹面**（可由直线构成）。 | **核电站冷却塔** |
| **双叶双曲面** | $ -\frac{x^2}{a^2} - \frac{y^2}{b^2} + \frac{z^2}{c^2} = 1 $ <br>或 $ \frac{z^2}{c^2} - \frac{x^2}{a^2} - \frac{y^2}{b^2} = 1 $ | 两个分离的、碗状的曲面。 | **两个背对背的卫星天线** |
| **椭圆抛物面** | $ \frac{x^2}{a^2} + \frac{y^2}{b^2} = z $ | 碗状或马鞍状的曲面，但只有一个方向开口。水平截面是椭圆，垂直截面是抛物线。 | **卫星天线、碗** |
| **双曲抛物面** | $ \frac{x^2}{a^2} - \frac{y^2}{b^2} = z $ | 马鞍形曲面。**直纹面**。水平截面是双曲线，垂直截面是抛物线。 | **马鞍、薯片、Pringles** |

---

#### **第二类：退化二次曲面**

这类曲面的标准型中，至少有一个二次项的系数为零。它们可以看作是由非退化曲面“退化”而来（例如，椭球被“压扁”了）。

| 名称 | 标准型 | 几何描述 |
| :--- | :--- | :--- |
| **椭圆锥面** | $ \frac{x^2}{a^2} + \frac{y^2}{b^2} - \frac{z^2}{c^2} = 0 $ | 可以看作单叶和双叶双曲面的“边界”情况。也是一个**直纹面**。 |
| **椭圆柱面** | $ \frac{x^2}{a^2} + \frac{y^2}{b^2} = 1 $ | 沿z轴方向无限延伸的管状面。 |
| **双曲柱面** | $ \frac{x^2}{a^2} - \frac{y^2}{b^2} = 1 $ | 截面为双曲线的柱面。 |
| **抛物柱面** | $ x^2 = 2py $ 或 $ y^2 = 2px $ | 截面为抛物线的柱面。 |
| **一对相交平面** | $ \frac{x^2}{a^2} - \frac{y^2}{b^2} = 0 $ <br>即 $ (\frac{x}{a} - \frac{y}{b})(\frac{x}{a} + \frac{y}{b}) = 0 $ | 两条相交的直线在三维空间中的扩展。 |
| **一对平行平面** | $ \frac{x^2}{a^2} = 1 $ <br>即 $ x = a $ 或 $ x = -a $ | 两个平行的平面。 |
| **一条直线** | $ \frac{x^2}{a^2} + \frac{y^2}{b^2} = 0 $ | 只在原点 $(0,0,0)$ 满足，在实空间中退化为一个点。在复空间中有意义。 |

### 3. 分类的数学原理（不变量理论）

为什么我们总能通过旋转和平移将方程化为标准型？这背后是**不变量理论**。

对于二次曲线/曲面 $ F(x, y, z) = 0 $，存在一些在旋转和平移变换下保持不变的量，称为**不变量**。通过计算这些不变量，我们可以直接判断曲面的类型，而无需进行繁琐的坐标变换。

对于三维二次曲面，主要的不变量有：

1.  **矩阵表示**：将一般方程写成矩阵形式 $ \mathbf{X}^T M \mathbf{X} = 0 $，其中
    $$
    M = \begin{bmatrix}
    A & D/2 & F/2 & G/2 \\
    D/2 & B & E/2 & H/2 \\
    F/2 & E/2 & C & I/2 \\
    G/2 & H/2 & I/2 & J
    \end{bmatrix}, \quad \mathbf{X} = \begin{bmatrix} x \\ y \\ z \\ 1 \end{bmatrix}
    $$
2.  **关键不变量**：
    - $ I_1 = A + B + C $（二次项系数和）
    - $ I_2 = \begin{vmatrix} A & D/2 \\ D/2 & B \end{vmatrix} + \begin{vmatrix} B & E/2 \\ E/2 & C \end{vmatrix} + \begin{vmatrix} A & F/2 \\ F/2 & C \end{vmatrix} $（二次项部分的主子式之和）
    - $ I_3 = \det(M_{\text{二次}}) = \begin{vmatrix} A & D/2 & F/2 \\ D/2 & B & E/2 \\ F/2 & E/2 & C \end{vmatrix} $（二次项部分的行列式）
    - $ I_4 = \det(M) $（整个4x4矩阵的行列式）
    - $ K_1, K_2 $ 等其他一些不变量。

通过判断这些不变量的正负号和是否为零，可以构建一个决策树，精确地分类任何给定的二次曲面方程。

### 总结

- **目的**：将复杂的二次方程通过坐标变换化为易于识别的标准型。
- **主要类别**：分为**非退化**（椭球面、双曲面、抛物面）和**退化**（锥面、柱面、平面对）两大类。
- **数学工具**：旋转（消交叉项）、平移（消一次项）、以及**不变量理论**（用于直接判别）。
- **核心思想**：通过研究方程在变换下的不变性质，来洞察其固有的几何本质。

这个分类体系可以自然地推广到高于三维的空间（n维超曲面），其基本思想是完全一致的：通过正交变换对角化二次型，再通过平移化简。

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

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

《线性代数》难点解析

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

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

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

上一篇： R内的仿射变换与正交变换

下一篇： R中二次超曲面的仿射分类

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