关于证明两个正则曲面的交集为正则曲线的技术问询

阿华AIGC实验室

2026-4-23

我现在遇到了一个问题需要解决：
设$S_1$和$S_2$是两个正则曲面，它们交于点$p$，且$T_pS_1 \neq T_pS_2$。证明存在$p$在$\mathbb{R}^3$中的一个开邻域$U$，使得$S_1 \cap S_2 \cap U$是一条正则曲线的轨迹。
我的第一个思路是利用正则曲面的性质：既然$S_1$和$S_2$是正则曲面，那么存在$p$在$\mathbb{R}^3$中的开邻域$W$和$V$，以及可微函数$f: W \to \mathbb{R}$、$g: V \to \mathbb{R}$，满足：
$$W \cap S_1 = f^{-1}({0})$$
$$V \cap S_2 = g^{-1}({0})$$
所以如果取$U = W \cap V$，那么$S_1 \cap S_2 \cap U$就是方程组
$$f(x,y,z)=0$$
$$g(x,y,z)=0$$
的解集。这是一个2方程3变量的系统，我的直觉告诉我解应该有一个自由变量，也就是一条曲线，但我不知道怎么把这个想法形式化。
我的第二个思路是：因为$T_pS_1$和$T_pS_2$相交且不相等，所以它们的交集$T_pS_1 \cap T_pS_2$是$\mathbb{R}^3$的一维线性子空间，设它由向量$v$张成。现在我们知道了待求曲线的一个切向量，或许可以用这个来构造曲线？
请问这两个思路是否可行？如果不行的话该怎么做？

嘿，你的第一个思路完全正确，而且是解决这个问题的标准路径！我们只需要结合隐函数定理就能把你的直觉转化为严谨的证明，而第二个思路其实可以作为第一个思路的补充，帮你理解曲线的切向量性质。下面一步步拆解：

1. 先确认正则曲面的局部条件

你已经用到了正则曲面的核心局部性质：对于正则曲面上的任意点$p$，存在$p$的开邻域$U$和可微函数$h: U \to \mathbb{R}$，满足$\nabla h(p) \neq 0$，且$S \cap U = h^{-1}({0})$。这意味着$\nabla f(p)$是$T_pS_1$的法向量，$\nabla g(p)$是$T_pS_2$的法向量，且两者都不为零。

2. 分析方程组的雅可比矩阵秩

我们看方程组$\begin{cases} f(x,y,z)=0 \ g(x,y,z)=0 \end{cases}$，它的雅可比矩阵为：
$$J = \begin{pmatrix} \frac{\partial f}{\partial x} & \frac{\partial f}{\partial y} & \frac{\partial f}{\partial z} \ \frac{\partial g}{\partial x} & \frac{\partial g}{\partial y} & \frac{\partial g}{\partial z} \end{pmatrix}$$
矩阵在$p$点的行向量就是$\nabla f(p)$和$\nabla g(p)$。因为$T_pS_1 \neq T_pS_2$，这两个切平面不重合，说明它们的法向量$\nabla f(p)$和$\nabla g(p)$不共线——如果共线的话，两个切平面会完全一致。因此，雅可比矩阵$J$在$p$点的秩为2。

3. 应用隐函数定理完成曲线构造

根据隐函数定理，当雅可比矩阵在$p$点的秩为2时，我们可以在$p$的某个更小的开邻域$U$内，将方程组的解表示为单变量的可微函数。举个例子，假设雅可比矩阵的2阶子式$\begin{vmatrix} \frac{\partial f}{\partial x} & \frac{\partial f}{\partial y} \ \frac{\partial g}{\partial x} & \frac{\partial g}{\partial y} \end{vmatrix}(p) \neq 0$，那么我们可以把$x$和$y$表示为$z$的可微函数：$x = x(z)$，$y = y(z)$，其中$z$在$p$的$z$坐标附近的开区间内变化。

这样，交集$S_1 \cap S_2 \cap U$就可以表示为参数曲线$\gamma(z) = (x(z), y(z), z)$，这显然是一条可微曲线。

4. 验证曲线的正则性

要证明这条曲线是正则的，只需要确认它的导数$\gamma'(z)$在邻域内不为零。根据隐函数定理，$\gamma'(z)$满足：
$$\nabla f(\gamma(z)) \cdot \gamma'(z) = 0$$
$$\nabla g(\gamma(z)) \cdot \gamma'(z) = 0$$
也就是说$\gamma'(z)$同时垂直于$\nabla f$和$\nabla g$。由于$\nabla f$和$\nabla g$不共线，它们的叉乘不为零，因此$\gamma'(z)$是这个叉乘的非零倍数（在邻域内），所以$\gamma'(z) \neq 0$，曲线是正则的。