参数横截定理 | Codeboy's Blog

形式陈述

设 $P^r,M^m,N^n$ 是无边界第二可数光滑流形， $Z^q\subseteq N$ 是嵌入子流形，

\Phi:P\times M\longrightarrow N

为光滑映射。记参数切片 $\Phi_a(x)=\Phi(a,x)$ 。参数横截定理的有限维版本断言：若总映射满足横截性 $\Phi\pitchfork Z$ ，则几乎每个 $a\in P$ 都满足 $\Phi_a\pitchfork Z$ ；坏参数在每张参数坐标图中为 Lebesgue 零测集。因第二可数流形可数耗尽，坏参数还是可数个闭零测集之并，所以好参数同时稠密且为残集。

证明机制完全可见。总横截性使

W=\Phi^{-1}(Z)

成为维数 $r+m+q-n$ 的子流形。考察限制投影 $\pi:W\to P$ 。总横截性给定后， $a$ 是 $\pi$ 的正则值，当且仅当对每个 $(a,x)\in W$ 都有 $d(\Phi_a)_x(T_xM)+T_{\Phi(a,x)}Z=T_{\Phi(a,x)}N$ ；没有原像的参数在两边都按真空条件为好。因此坏参数集恰是 $\pi$ 的临界值集，对 $\pi$ 应用Sard 定理即得零测结论。再把 $W$ 耗尽为可数个紧集：临界集与各紧集之交的投影是闭零测集，故坏参数是第一纲集，好参数为残集。

若 $\Phi$ 本身是淹没，它自动横截任何 $Z$ ，这是最常用的验证方式。结论说“几乎每个”，不说“每个”。残集在这里保证稠密，却不自动保证开放；若 $M$ 紧致且 $Z$ 在 $N$ 中闭，切片族对参数连续地进入 $C^1(M,N)$ ，横截性的稳定性才进一步给出好参数集开放。非紧情形则需指定强拓扑、适当性或统一的紧支撑控制。

若 $M$ 有边界，而所需结论是 $\Phi_a\pitchfork Z$ 与 $\Phi_a|_{\partial M}\pitchfork Z$ 同时成立，就必须分别假设总映射 $\Phi$ 和边界总映射 $\Phi|_{P\times\partial M}$ 横截 $Z$ 。对两条限制投影各用一次上述论证，再取两个满测残集的交，仍得到满测残集；只检查 $\Phi\pitchfork Z$ 不足以控制边界切触。

直觉

单个映射在目标上相切，往往是因为某个法向分量恰好缺失。把映射放进有参数的族后，参数方向可以提供缺少的法向速度。总映射横截表示“空间方向加参数方向”合起来足以穿过 $Z$ ；只有当所需法向速度全部寄托在参数方向、而固定参数后消失时，该切片才会失败。

投影 $W\to P$ 把这个几何问题变成正则值问题：在 $W$ 中无法自由改变参数的点，正对应切片对 $Z$ 的切触。Sard 定理再说明这类参数值占零测集。因而所谓“一般位置”并非含糊的随机直觉，而是一条由逆像定理、投影微分和零测结论组成的机制链。

有限维参数定理是构造扰动的工具，而不是所有映射空间泛型定理的同义词。Thom 横截定理处理无限维映射空间中的稠密或剩余集合，需要更精细的函数空间拓扑与局部扰动论证。

例子与边界

取 $P=M=N=\mathbb R$ 、 $Z=\{0\}$ ，令

\Phi(a,x)=x^2-a.

总微分为 $d\Phi=(-1,2x)$ ，第一分量恒非零，所以 $\Phi$ 是淹没，当然横截 $Z$ 。固定 $a$ 后，

\Phi_a^{-1}(0)= \begin{cases} \{-\sqrt a,\sqrt a\},&a>0,\\ \{0\},&a=0,\\ \varnothing,&a<0. \end{cases}

当 $a>0$ 时 $\partial_x\Phi_a=2x$ 在两个根上非零；当 $a<0$ 时原像为空，横截性真空成立；只有 $a=0$ 时根为临界点。坏参数集确为零测单点，且在此处两个横截交点发生出生或湮灭。

总横截假设不可删除。若 $\Phi(a,x)=x^2$ 完全不依赖 $a$ ，则每个切片都在 $x=0$ 与 $\{0\}$ 非横截，总映射在那里也没有参数方向补足导数。仅仅“参数很多”不会产生一般位置。

带边界或相对条件同样不能省略。若扰动必须固定 $\partial M$ ，应构造在边界附近不变的参数族，并分别检查边界切片；普通参数横截可能通过移动边界值取得横截，从而破坏原问题。若要求同时横截可数多个子流形，Baire 类结论常可处理交集；对不可数族则不能机械套用“逐个几乎处处”。

推论与应用

给定 $F:M\to N$ ，若能构造有限维扰动 $\Phi(a,x)$ ，使某个参数恢复 $F$ 且总映射是淹没，那么任意参数邻域中通常都能选到横截切片。Euclidean 目标中的平移族 $\Phi(a,x)=F(x)+a$ 是原型：参数导数为恒等映射，所以总映射自动淹没。

该方法可使两子流形经过小扰动后横截，从而定义稳定交数；也可让微分截面横截零截面，得到 Morse 函数或非退化向量场零点。每次应用都必须核对扰动是否保持紧支撑、嵌入性、对称性及边界条件，而不能只引用“几乎每个参数”。

若一条紧参数路径避开坏参数，并且相应逆像到该路径的投影适当，则各横截逆像组成一条紧配边；适当性在此排除分支从无穷远进入。路径一旦穿过投影临界值，纤维拓扑便可能改变。上一节的二次族展示了最简单的改变：两个零点在临界参数合并，再转为空纤维。

参考资料

Morris W. Hirsch, Differential Topology, Springer, 1976, Ch. 3, parametric transversality.
Victor Guillemin and Alan Pollack, Differential Topology, Prentice-Hall, 1974, Ch. 2, transversality with parameters.
John M. Lee, Introduction to Smooth Manifolds, 2nd ed., Springer, 2013, Ch. 6, parametric transversality theorem.

形式陈述 ​

形式陈述