Thom横截性定理-Thom横截定理

一个自然的问题是：我们遇到一个映射，它可能并不与我们关心的子流形横截相交。那么，我们能否通过微小的调整（扰动）这个映射，使其达到横截相交呢？Thom横截性定理及其相关的一系列结果，给出了肯定而深刻的回答：不仅可以，而且几乎所有（在稠密且剩余集的意义上）的映射都是横截的，并且横截映射在微小扰动下保持横截性（结构稳定性）。这奠定了横截性作为“通有性质”的地位。

设 ( M ) 和 ( N ) 是光滑流形，( f: M to N ) 是一个光滑映射，( Z subset N ) 是一个光滑子流形。我们称映射 ( f ) 与子流形 ( Z ) 横截，记作 ( f pitchfork Z )，如果对于所有满足 ( f(x) = z in Z ) 的点 ( x in M )，都有： [ text{Im}(df_x) + T_z Z = T_z N. ] 这里，( df_x: T_x M to T_z N ) 是 ( f ) 在点 ( x ) 的微分（切映射），( T_z Z ) 是子流形 ( Z ) 在点 ( z ) 的切空间，( T_z N ) 是流形 ( N ) 在点 ( z ) 的切空间。“+”表示子空间的向量和。注意，当 ( f(x) notin Z ) 时，自动认为在点 ( x ) 处横截条件平凡满足。

特别地，如果 ( f ) 是一个子流形的包含映射（即 ( M subset N )，( f ) 为嵌入），那么 ( f ) 与 ( Z ) 横截等价于子流形 ( M ) 与子流形 ( Z ) 横截相交。此时条件简化为：对于任意交点 ( p in M cap Z )，有 ( T_p M + T_p Z = T_p N )。

• 横截交是子流形：若 ( f pitchfork Z )，则原像 ( f^{-1}(Z) ) 是 ( M ) 中的一个光滑子流形，其余维数等于 ( Z ) 在 ( N ) 中的余维数。这是研究方程解集结构的有力工具。
• 稳定性：横截性是稳定的，即如果 ( f pitchfork Z )，那么对 ( f ) 作足够小的光滑扰动后得到的新映射 ( tilde{f} )，仍然满足 ( tilde{f} pitchfork Z )。

并非所有映射都与给定的 ( Z ) 横截。
例如，一条曲线与另一条曲线相切。Thom横截性定理的核心价值在于，它告诉我们，在几乎所有情况下，我们都可以通过微小扰动获得横截性，并且横截映射本身构成了映射空间中的“绝大部分”。

Thom横截性定理最常用和强大的形式是参数版本。它考虑了一个依赖于参数的映射族。

设 ( M, N, S ) 为光滑流形（( S ) 视为参数空间），( Z subset N ) 为闭光滑子流形。令 ( F: S times M to N ) 是一个光滑映射，定义族映射 ( f_s: M to N ) 为 ( f_s(x) = F(s, x) )。如果 ( F ) 本身作为映射与 ( Z ) 横截（即 ( F pitchfork Z )），那么对于参数空间 ( S ) 中几乎所有的 ( s )，对应的映射 ( f_s ) 也与 ( Z ) 横截。更精确地说，使得 ( f_s pitchfork Z ) 的参数 ( s ) 的集合是 ( S ) 中的一个稠密开集（在适当拓扑下，通常是 ( C^infty ) 拓扑的剩余集）。

这个定理的威力在于，它将验证一个“无穷维”对象（映射 ( f_s ) 的横截性）的问题，转化为验证一个“有限维”对象（映射 ( F ) 的横截性）的问题。因为 ( F ) 的定义域 ( S times M ) 是有限维流形（假设 ( S ) 有限维），验证其与 ( Z ) 的横截性通常更容易。一旦验证了 ( F pitchfork Z )，结论自动成立。

定理的证明巧妙地运用了萨德定理（Sard's Theorem）和横截原像定理。其核心步骤可概括如下：

1. 考虑评估映射：由于 ( F pitchfork Z )，根据横截原像定理，原像 ( P = F^{-1}(Z) ) 是 ( S times M ) 中的一个光滑子流形。
2. 引入投影：考虑投影映射 ( pi: P to S )，定义为 ( pi(s, x) = s )。这个投影将参数和原像点关联起来。
3. 应用萨德定理：萨德定理指出，光滑映射的临界值集是零测集。分析发现，一个参数 ( s in S ) 使得 ( f_s ) 不与 ( Z ) 横截，当且仅当 ( s ) 是投影 ( pi: P to S ) 的临界值。
4. 得出通有性结论：也是因为这些，使得 ( f_s pitchfork Z ) 的参数 ( s ) 正好是 ( pi ) 的正则值集合。根据萨德定理，正则值集是稠密的；进一步的分析（通常涉及拓扑学中的Baire纲定理）可以证明，在 ( C^infty ) 拓扑下，横截参数集实际上是一个剩余集（包含稠密开集的可数交），从而在拓扑意义上是“大的”、“通有的”。

这个证明揭示了参数横截性定理与萨德定理之间的深刻联系，将横截性的通有性归结为更基本的“正则值通有”的事实。对于备考者来说呢，理解这一逻辑链条是掌握该定理精髓的关键。易搜职考网建议，在深入学习时，应亲手演算一些低维例子，以直观把握从 ( F ) 的横截性到 ( f_s ) 横截性的传递过程。

作为参数定理的直接推论，我们得到更常被引用的基本形式：

设 ( M, N ) 为光滑流形，( Z subset N ) 为闭子流形。考虑所有从 ( M ) 到 ( N ) 的光滑映射构成的集合 ( C^infty(M, N) )，赋予 ( C^infty ) 拓扑（ Whitney 拓扑）。那么，与 ( Z ) 横截的映射构成的子集 ( { f in C^infty(M, N) mid f pitchfork Z } ) 是一个剩余集，从而是稠密的。并且，该集合是开的（这意味着横截映射具有稳定性）。

这个定理可以通过构造一个包含所有映射的“万有参数族”来从参数定理推出。它直接肯定了：在映射空间中，你可以通过任意小的扰动，使任何一个非横截的映射变成横截的，而且一旦横截，小的扰动不会破坏这个性质。

Thom横截性定理及其推论在数学和科学中有极其广泛的应用。
下面呢列举几个重要方向：

• 微分拓扑中的一般位置论证：在证明流形的嵌入、浸入定理时，经常需要将子流形移动到“一般位置”，使其彼此横截相交。
  例如，证明两个闭子流形可以在微小形变后横截相交，从而它们的交是一个结构良好的子流形。
• 奇点理论：这是Thom横截性定理最重要的应用领域之一。考虑映射的“奇点”（即微分不满秩的点）集合。可以将各种退化类型的奇点定义为更大的Jet空间中的特定子流形。然后，将Thom横截性定理应用于映射的Jet延拓，可以证明“对于通有的映射，其奇点类型只能是某些简单的、余维数不高的类型”。这为复杂映射的局部结构分类提供了理论保证。
• 突变理论：勒内·Thom创立突变理论，其数学核心正是Thom横截性定理。他将系统的势函数视为参数族，将参数空间中导致势函数临界点结构发生突变的点构成的集合（突变集）描述为某些奇点集在特定映射下的原像。利用横截性定理，他证明了在低维参数情况下（通常≤4），通有的突变只有有限的几种基本类型（如折叠、尖点、燕尾等），从而对自然界中不连续变化现象进行了深刻的分类。
• 代数几何与复几何的类比：在复几何中，有相应的Bertini型定理，描述了超平面截面的一般性质，其精神与横截性定理相通。
• 数学物理中的应用：在规范场论和量子场论的路径积分表述中，需要考虑模空间（如瞬子模空间）的几何。这些模空间经常被定义为某个无穷维空间上方程的解集，而横截性定理（或与之相关的Fredholm理论）被用来证明这些模空间是光滑流形，即验证相关算子是横截的。

Thom横截性定理之所以是里程碑，在于它将“横截性”提升到了“通有性质”的高度。在数学中，一个性质被称为是通有的，如果在一个给定的空间中，具有该性质的点（或对象）构成一个剩余集。剩余集是可数多个稠密开集的交，在完备度量空间（如 ( C^infty(M, N) ) 在Whitney拓扑下）中，根据Baire纲定理，它本身是稠密的。这意味着：

1. 存在性：横截映射非常“多”，稠密分布。
2. 可达性：任何一个映射都可以被任意接近的横截映射逼近。
3. 鲁棒性：横截映射在微小扰动下性质保持不变（开集性质）。

这为数学家和科学家提供了巨大的信心：在研究一个系统时，我们可以安全地假设所处理的映射或几何配置处于横截（即非退化、一般）状态，因为任何退化情形都可以通过微调消除，且一般状态是稳定的。这种思想是现代微分动力学、奇点分析乃至许多工程优化理论的基础预设之一。

对于学习者，掌握Thom横截性定理可能面临几个难点：

• 抽象层次的提升：从有限维流形的横截相交，跃升到无穷维映射空间的通有性分析，需要适应函数空间拓扑（如Whitney拓扑）的思维方式。
• 技术细节的繁复：严格的证明涉及Jet丛、横截原像定理、萨德定理的无穷维推广（如Smale的无穷维萨德定理）等复杂工具。
• 从存在性到构造性的距离：定理告诉我们横截扰动存在，但并未直接给出具体的扰动方法。在实际应用中，往往需要结合具体问题设计扰动。

关联的核心概念包括：萨德定理、横截原像定理、Whitney拓扑、Baire纲定理、Jet空间与Thom分裂引理、以及结构稳定性概念。建议的学习路径是先扎实掌握有限维流形上的横截性概念和性质，然后通过参数定理这个“桥梁”，理解如何将问题有限维化，最后再接触映射空间中的通有性结果。易搜职考网的专业课程体系正是按照这种由浅入深、从具体到抽象的逻辑进行设计，帮助考生系统构建微分拓扑的知识网络，将诸如Thom横截性定理这样的难点转化为明晰的得分点。