关于黎曼流形中梯度与正则水平集正交性的证明及伪黎曼度量下的适用性疑问

Hey Nicholas, great questions—let's work through these step by step to make everything clear.

一、证明$\text{grad}(f)$与$M_c$处处正交 #

First, let's anchor this proof to two core definitions that will make the logic straightforward:

1. 梯度的定义：在黎曼流形$(M,g)$上，$\text{grad}(f)$是唯一的光滑向量场，满足对任意$p\in M$和任意切向量$v\in T_pM$，黎曼内积都有：
   $$
   \langle \text{grad}(f)\big|_p, v \rangle_g = df_p(v)
   $$
   这种唯一性直接来自黎曼度量的正定性（进而非退化性）。

2. 切空间$T_pM_c$的刻画：因为$M_c = f^{-1}(c)\cap\mathscr{R}$，每个$p\in M_c$都是$f$的正则点，这意味着$df_p:T_pM\to\mathbb{R}$是满射（等价于$df_p\neq 0$）。$M_c$在$p$点的切空间恰好是$df_p$的核：
   $$
   T_pM_c = \ker(df_p) = { w\in T_pM \mid df_p(w) = 0 }
   $$
   这是正则水平集定理的标准结论——正则水平集是嵌入子流形，其切空间就是函数微分的核。

把这两点结合起来看：任取$w\in T_pM_c$，根据$T_pM_c$的定义，$df_p(w)=0$；再根据梯度的定义，$\langle \text{grad}(f)\big|_p, w \rangle_g = df_p(w)=0$。这恰好就是$\text{grad}(f)\big|_p$与$T_pM_c$正交的定义（它与$M_c$在$p$点的所有切向量都正交）。

这个证明足够严谨，因为它直接串联了梯度和正则水平集切空间的核心定义，不需要额外的复杂步骤。

二、伪黎曼度量下的适用性 #

简短结论：这个结果依然成立，只是需要明确“正交”在伪黎曼语境下的含义，具体原因如下：

• 在伪黎曼几何中，度量$g$是非退化的对称双线性形式（但不一定正定）。梯度$\text{grad}(f)$的定义保持不变：它是满足$\langle \text{grad}(f), v \rangle_g = df(v)$对所有$v\in TM$成立的唯一向量场。这里只需要度量的非退化性就能保证梯度存在且唯一，正定性并非必需条件。

• $T_pM_c$的刻画和黎曼情况完全一致，仍然是$\ker(df_p)$——因为正则水平集定理只要求$df_p$是满射（正则点满足这一点），和度量的性质无关。

• 因此，对任意$w\in T_pM_c$，依然有$\langle \text{grad}(f)\big|_p, w \rangle_g = df_p(w)=0$。唯一的区别是，这里的“正交”（进而“法向”）是指关于伪黎曼度量的正交，而非正定内积下的正交，但核心结论——梯度与$M_c$的所有切向量正交——完全成立。

如果涉及单位法向量、定向这类相关讨论，可能会用到正定性，但对于“梯度与水平集正交”这个基础结论，伪黎曼度量的非退化性就足够支撑了。

备注：内容来源于stack exchange，提问作者Nicholas James