查看“︁横截性”︁的源代码

[[数学]]中，'''横截性'''是描述空间如何[[交点|相交]]的概念，可以看做[[切线|切]]的反面，在[[一般位置]]中发挥作用。横截性形式化了[[微分拓扑]]中一般交的概念，是通过考虑交空间在交点的线性化定义的。

==定义==
[[Image:Sphere-transverse.svg|thumb|球面上的横截曲线]]
[[Image:Sphere-nontransverse.svg|thumb|球面上的非横截曲线]]
给定有限维[[光滑流形]]的两[[子流形]]，若在[[交集]]的每一点，其各自的切空间共同生成该点处[[环绕空间]]的[[切空间]]，则称这两个子流形'''横截相交'''。<ref>Guillemin and Pollack 1974, p.30.</ref>不交的流形是[[虚真论断|虚]]横截的。若流形维度互补（即维度之和等于[[环绕空间]]维度），则条件意味着环绕流形的切空间是两较小切空间的直和。横截交是[[余维数]]等于两流形余维数之和的子流形。若没有横截性条件，则交可能有某种[[奇点 (数学)|奇点]]，不是子流形。

具体来说，这意味着维度互补的横截子流形相交于孤立点（即0维流形）。若两子流形和环绕空间都有向，则交点也有向。0维的交的方向只是每个点的加号或减号。

给定流形''M''的两子流形<math>L_1,\ L_2</math>的横截交可以记作<math>L_{1} \pitchfork L_{2}</math>，这样横截性的定义是

:<math>L_{1} \pitchfork L_{2} \iff \forall p \in L_{1} \cap L_{2}, T_{p} M = T_{p} L_{1} + T_{p} L_{2}.</math>

==映射的横截性==
一对子流形的横截性可以轻易推广为子流形与到环绕流形映射的横截性、一对到环绕流形的映射的横截性，方法是看切空间沿像交点之预像的[[前推 (微分)|前推]]是否生成了环绕流形的整个切空间。<ref>Guillemin and Pollack 1974, p.28.</ref>若映射是[[嵌入]]，则等价于子流形的横截性。

==不同维度横截性的含义==
[[Image:Transversality-ambient.svg|thumb|left|横截性取决于环绕空间。如图所示的两条曲线嵌入平面时是横截的，但若嵌入3维空间，就不是横截的了]]

有横截映射<math>f_1: L_1 \to M,\ f_2: L_2 \to M</math>，其中<math>L_1, L_2</math>、''M''分别是<math>\ell_1, \ell_2</math>、''m''维流形。

则，横截性的意义因<math>M, L_1,\ L_2</math>的相对维度不同而有很大差异。<math>\ell_1 + \ell_2 = m </math>时，横截性与相切性之间的关系最清晰。

分3种情形讨论：
#<math>\ell_1 + \ell_2 < m </math>时，<math>L_1,\ L_2</math>切空间的像不可能在任何一点上张成''M''的切空间，于是<math>f_1,\ f_2</math>的交不可能是横截的。但非交流形虚真地满足这个条件，所以也可以说它们横截相交。
#<math>\ell_1 + \ell_2 = m</math>时，<math>L_1,\ L_2</math>切空间的像在交的每一点都可作直和，得到''M''的切空间。于是，其交由孤立的有符号点（即0维流形）组成。
#<math>\ell_1 + \ell_2 > m</math>时，和不必是直和。实际上如果<math>f_1,\ f_2</math>在交点处是[[浸入]]，就不能是直和，就像嵌入子流形的情形。若映射是浸入，其像之交将是<math>\ell_1 + \ell_2 - m</math>维流形。

==交积==
给定任意两光滑子流形，可以任意微量地扰动其中一个，从而使两者横截相交。这样的微扰不会影响流形或交的[[同调]]类。例如，若维度互补的流形横截相交，将其[[环绕同痕]]到另一个横截相交，交点数的符号和也不会改变（交点可以用模2计数，忽略符号，这样得到更粗的不变量）。这就产生了任意维度同调类的双线性交积，[[庞加莱对偶]]于[[上同调]]上的[[上积]]。与上积类似，交积也是[[超交换代数|分次交换]]的。

==横截交的例子==
最简单的非平凡例子是[[曲面]]上的弧。[[当且仅当]]两弧交点不是切点，即在曲面切平面内的切线不同时，两弧是横截相交的。

3维空间中，横截曲线不会相交。曲线会与曲面横截相交于点，曲面会彼此横截相交于曲线。与曲面相切于一点的曲线（如位于曲面上的曲线）不会横截相交。

下面是更特殊的例子：假设''G''是[[单李群]]，<math> \mathfrak{g} </math>是其李代数。由雅各布森-莫洛佐夫定理，所有幂零元<math> e \in \mathfrak{g} </math>都可包含于<math> \mathfrak{sl_2}</math>三元组<math> (e, h, f) </math>中。<math> \mathfrak{sl_2} </math>的表示论说明<math> \mathfrak{g} = [\mathfrak{g}, e] \oplus \mathfrak{g}_f </math>。空间<math> [\mathfrak{g}, e] </math>是伴随轨道<math> \rm{Ad}(G)e </math>在''e''处的[[切空间]]，于是[[仿射空间]]<math> e + \mathfrak{g}_f </math>与''e''的轨道横截相交。空间<math> e + \mathfrak{g}_f </math>也称作“Slodowy切片”。

==应用==
===最优控制===
在利用[[变分法]]或相关的[[庞特里亚金最大化原理]]的领域，横截性条件常用于控制优化问题解的类型。例如，它是以下形式问题的解曲线的必要条件：

:<math>{\rm min}\int {F(x, y, y^\prime)} {\rm d}x</math>，其中曲线端点不固定。
在很多此类问题中，解曲线都要横截穿过[[零倾]]（nullcline）线或其他描述终止条件的曲线。

===解空间的光滑性===
[[萨德定理]]的假设是映射横截性的特例。用萨德定理可以证明，维度互补的子流形之间，或子流形与到空间的映射之间的横截交是光滑子流形。例如，若将有向流形[[切丛]]的光滑[[截面 (范畴论)|截面]]（即[[向量场]]）视为基到总空间的映射，并与零截面（无论视作映射还是子流形）横截相交，则截面的零集（即向量场的奇点）形成基的光滑0维子空间（即有符号点集）。符号与向量场的指标一致，因此符号之和（即零集的基类）等于流形的欧拉特征。更一般地说，对于有限维有向光滑闭流形上的[[向量丛]]，横截于截面的零集是余维数等于丛之秩的基的子流形，其同调类[[庞加莱对偶]]于丛的[[欧拉类]]。

一个及其特殊的情形是：若实数到实数的可微函数在零点有非零的导数，则称之为简单零点，图像在此处横截于''x''轴；零导数意味着曲线的水平切线，与''x''轴的切空间一致。

举个无限维的例子，[[复微分形式|d-bar算子]]是[[黎曼曲面]]到[[殆复流形]]的映射空间上某[[巴拿赫空间]]丛的一个截面，其零集包含全纯映射。若可以证明d-bar算子横截于零截面，则此[[模空间]]将是光滑流形。这些因素在[[伪全纯曲线]]与[[格罗莫夫–威滕不变量|格罗莫夫–威滕理论]]中起着基础性作用（注意此例中，为处理[[巴拿赫空间]]，横截性的定义必须细化！）。

==另见==
*[[横截性定理]]

==注释==
{{Reflist}}

==参考文献==
* {{cite journal |first=René |last=Thom |title=Quelques propriétés globales des variétés differentiables |journal=[[Commentarii Mathematici Helvetici|Comment. Math. Helv.]] |volume=28 |year=1954 |issue=1 |pages=17–86 |doi=10.1007/BF02566923 |s2cid=120243638 }}
* {{cite book |last1=Guillemin |first1=Victor |last2=Pollack |first2=Alan |year=1974 |title=Differential Topology |url=https://archive.org/details/differentialtopo0000guil |publisher=Prentice-Hall |isbn=0-13-212605-2 }}
*{{cite book |title = Differential Topology|author-link=Morris Hirsch|first = Morris|last = Hirsch|publisher=Springer-Verlag|year=1976|isbn = 0-387-90148-5}}

{{DEFAULTSORT:横截性}}
[[Category:微分拓扑学]]
[[Category:变分法]]
[[Category:几何]]