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

R中二次超曲面的仿射分类

##  $\mathbb{R}^n$ 中二次超曲面的仿射分类
因为正交变换都是仿射变换，所以讨论二次超曲面的仿射分类可以从度量分类中所得到的标准方程出发，对它们再作仿射变换．

对于标准方程（4），（5），（6），作仿射变换

$$
\begin{cases}u_i=\sqrt{\mu_i} z_i & (i=1, \cdots, r), \\ u_j=z_j & (j=r+1, \cdots, n) .\end{cases}
$$

我们分别得出如下三个标准方程：

$$
\begin{aligned}
& u_1^2+\cdots+u_p^2-u_{p+1}^2-\cdots-u_r^2=0 \quad(p \geqslant r-p), \\
& u_1^2+\cdots+u_p^2-u_{p+1}^2-\cdots-u_r^2 \pm 1=0 \quad(p>r-p), \\
& u_1^2+\cdots+u_p^2-u_{p+1}^2-\cdots-u_{2 p}^2+1=0 .
\end{aligned}
$$

对于标准方程（7），作仿射变换

$$
\left\{\begin{array}{l}
u_i=\sqrt{\mu_i} z_i \quad(i=1, \cdots, r), \\
u_{r+1}=2 z_{r+1}, \\
u_j=z_j \quad(j=r+2, \cdots, n) .
\end{array}\right.
$$
我们得出第四个标准方程

$$
u_1^2+\cdots+u_p^2-u_{p+1}^2-\cdots-u_r^2+u_{r+1}=0 \quad(p \geqslant r-p) .
$$

于是， $\mathbb{R}^n$ 中任意一个二次超曲面必与上面四个方程中的某一个方程所确定的二次超曲面仿射等价。同样地，可以证明上述四类标准方程所确定的二次超曲面彼此之间不仿射等价。这样，我们就把二次超曲面的仿射等价类完全搞清楚了。

令 $n=2,3$ ，我们就分别得到平面上的二次曲线和空间中的二次曲面的仿射分类．此处不再一一列举出来．

## 本章解读
好的，我们来深入探讨**二次超曲面的仿射分类**。

这与我们之前讨论的**正交分类（或度量分类）** 有本质区别。理解这个区别是掌握仿射分类的关键。

### 核心思想：仿射分类 vs. 正交分类

- **正交分类** 依赖于**距离**和**角度**的概念。它使用正交变换（旋转、反射）来化简方程，标准型中的系数（如 $a, b, c$）具有度量意义，代表了轴长、焦距等。它区分椭圆和圆，区分长、短轴不同的椭球。
- **仿射分类** 只依赖于**平行性**和**比例**的概念。它使用更一般的**仿射变换**（线性变换+平移）来化简方程，允许任意方向的拉伸和剪切。因此，在仿射几何的视角下，**一个圆和一个椭圆是没有区别的**（因为总可以通过仿射变换把一个变成另一个）。

**核心结论**：在仿射分类中，分类的依据不再是具体的系数值，而是二次曲面在可逆的线性变换下**不变的、更本质的几何属性**，主要是：
1.  **秩**：化简后二次型矩阵的秩，它决定了有多少个“有效”的二次变量。
2.  **惯性指数**：正惯性指数和负惯性指数的组合（或符号差），它决定了方程右边的符号模式。
3.  **中心**：曲面是否有中心（是中心型还是抛物型）。

---

### 仿射分类的数学过程

对于一个n维空间中的二次超曲面，其一般方程为：
$$
X^T A X + B^T X + c = 0
$$
其中 $A$ 是一个 $n \times n$ 的对称矩阵（二次项部分），$B$ 是一个 $n \times 1$ 的向量（一次项部分），$c$ 是常数。

仿射分类的目标是通过一个**仿射变换** $ X = PY + Q $（其中 $P$ 是可逆矩阵，代表线性部分；$Q$ 是向量，代表平移部分），将方程化为最简单的标准型。

**步骤**：

1.  **消除混合项（对角化）**：
    通过选取合适的可逆矩阵 $P$，我们可以将二次型部分 $X^T A X$ 对角化。这是线性代数中谱定理的核心应用。变换后，方程变为：
    $$
    \lambda_1 y_1^2 + \lambda_2 y_2^2 + \dots + \lambda_r y_r^2 + \text{(新的一次项)} + \text{(新的常数项)} = 0
    $$
    其中 $r = \text{rank}(A)$，即矩阵 $A$ 的秩。$\lambda_i$ 是 $A$ 的特征值。

2.  **标准化系数（缩放）**：
    由于仿射变换允许任意方向的拉伸，我们可以通过缩放每个坐标轴，将非零的 $\lambda_i$ 化为 $+1$ 或 $-1$。这一步是仿射分类与正交分类的关键区别：**我们不关心特征值的具体大小，只关心它们的符号**。
    变换后，方程变为：
    $$
    \pm z_1^2 \pm z_2^2 \dots \pm z_p^2 - \dots - z_r^2 + \text{(新的一次项)} + \text{(新的常数项)} = 0
    $$
    这里，$p$ 是**正惯性指数**（正特征值的个数），$r-p$ 是负惯性指数。

3.  **平移以消除一次项（配方）**：
    现在，方程是“中心型”的。我们通过配方（即一个平移变换）来消除所有在平方项 $z_i$ 上对应的一次项。
    - **情况A（中心型）**：如果 $r = n$（即矩阵 $A$ 满秩），我们可以完全消除所有一次项，最终方程化为：
      $$
      \frac{z_1^2}{a_1^2} + \dots + \frac{z_p^2}{a_p^2} - \frac{z_{p+1}^2}{a_{p+1}^2} - \dots - \frac{z_r^2}{a_r^2} = 1
      $$
      或者等于 $0$ 或 $-1$，通过乘以-1可以统一。
    - **情况B（抛物型）**：如果 $r < n$（即矩阵 $A$ 不满秩），则我们只能消除前 $r$ 个变量的一次项。剩下的 $n-r$ 个变量的一次项无法被消除，它们构成了抛物型曲面的特征。最终方程化为：
      $$
      \pm z_1^2 \pm \dots \pm z_r^2 + k z_{r+1} = 0 \quad (k \neq 0)
      $$

---

### 三维空间二次曲面的仿射分类结果

基于上述原理，三维空间中的二次曲面在仿射变换下可以分为以下 **5 大类**，**17 小类**。

#### **第一大类：有中心曲面（Rank(A) = 3）**

方程可化为：$ \pm x^2 \pm y^2 \pm z^2 = 1 $ 或 $ 0 $。

| 惯性指数 | 标准型 | 名称（仿射） | 备注 |
| :--- | :--- | :--- | :--- |
| (3,0) 或 (0,3) | $ x^2 + y^2 + z^2 = 1 $ | **椭球面** | 包含所有椭球，包括球。 |
| (3,0) 或 (0,3) | $ x^2 + y^2 + z^2 = 0 $ | **虚椭球面** | 只有一个实点（原点）。 |
| (3,0) 或 (0,3) | $ x^2 + y^2 + z^2 = -1 $ | **虚椭球面** | 无实点。 |
| (2,1) 或 (1,2) | $ x^2 + y^2 - z^2 = 1 $ | **单叶双曲面** | |
| (2,1) 或 (1,2) | $ x^2 + y^2 - z^2 = -1 $ | **双叶双曲面** | 在仿射观点下，单叶和双叶是不同的。 |
| (2,1) 或 (1,2) | $ x^2 + y^2 - z^2 = 0 $ | **二次锥面** | |

#### **第二大类：抛物型曲面（Rank(A) = 2）**

方程可化为：$ \pm x^2 \pm y^2 = 2z $ （或与其他变量交换）。

| 惯性指数 | 标准型 | 名称（仿射） | 备注 |
| :--- | :--- | :--- | :--- |
| (2,0) 或 (0,2) | $ x^2 + y^2 = 2z $ | **椭圆抛物面** | 包含所有椭圆抛物面。 |
| (1,1) | $ x^2 - y^2 = 2z $ | **双曲抛物面** | 马鞍形。 |
| (2,0) 或 (0,2) | $ x^2 + y^2 = 1 $ | **椭圆柱面** | |
| (2,0) 或 (0,2) | $ x^2 + y^2 = -1 $ | **虚椭圆柱面** | 无实点。 |
| (2,0) 或 (0,2) | $ x^2 + y^2 = 0 $ | **一对共轭虚相交平面** | 一条实线（z轴）。 |
| (1,1) | $ x^2 - y^2 = 1 $ | **双曲柱面** | |
| (1,1) | $ x^2 - y^2 = 0 $ | **一对相交平面** | |

#### **第三大类：Rank(A) = 1**

方程可化为：$ x^2 = 2y $ （或与其他变量交换）。

| 惯性指数 | 标准型 | 名称（仿射） | 备注 |
| :--- | :--- | :--- | :--- |
| (1,0) | $ x^2 = 2y $ | **抛物柱面** | |
| (1,0) | $ x^2 = 1 $ | **一对平行平面** | |
| (1,0) | $ x^2 = -1 $ | **一对虚平行平面** | |
| (1,0) | $ x^2 = 0 $ | **一对重合平面** | |

### 总结与要点

1.  **核心不变量**：仿射分类完全由三个不变量决定：
    - **秩 r** = Rank(A)
    - **正惯性指数 p**
    - **方程右边的常数**（决定是椭球型、双曲型、锥型等）

2.  **与正交分类的区别**：
    - 仿射分类更“粗糙”。例如，在正交分类中多种不同的椭球（$9x^2+4y^2+z^2=1$ 和 $x^2+y^2+z^2=1$），在仿射分类中都是同一类——“椭球面”。
    - 仿射分类抓住了图形更本质的拓扑和连接性质（如单叶双曲面的连通性、双曲抛物面的马鞍形状），而忽略了其度量性质（如具体的轴长、曲率）。

3.  **几何意义**：仿射分类告诉我们，在允许任意拉伸和剪切的“橡皮泥几何”中，哪些二次曲面是本质上不同的。例如，你无法通过拉伸把一个单叶双曲面变成一个双叶双曲面，也无法把一个椭球面变成一个抛物面。

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

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

免费注册

《高等数学》难点解析

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

《线性代数》难点解析

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

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

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

上一篇： R中二次超曲面的分类

下一篇：多元函数的极值

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