形式陈述 ​
设
该映射的拓扑度称
右端是Euler 示性数。
若零点非退化,即局部坐标中 Jacobian
全局可定向性并非闭流形版本的必要假设。局部坐标反向会同时改变球面的定义域和目标坐标,指数在共轭下保持;若采用微分形式、带符号交数或积分证明,常为记号方便先选流形定向,不可把证明工具误写成定理范围。
带边界版本需明确方向:若
直觉
每个孤立零点周围,归一化向量场把一圈方向送到一圈方向;指数统计它绕了多少次。局部可以出现旋涡、源、汇或鞍点,定理说所有局部绕转的代数总账由流形本身的 Euler 示性数预先决定,与具体选择的向量场无关。
证明可把零截面与向量场截面的交数解释为切丛 Euler 类在基本类上的取值;非定向流形须同时使用定向局部系统中的 Euler 类与基本类,所得配对仍是整数。也可把向量场逐胞腔延伸时的最终障碍识别为 Euler 示性数。用Morse 函数给出的梯度场时,Morse 引理使指标为
代数符号至关重要。两个新零点可以在扰动中成对产生,但它们的指数通常一正一负,总和不变;只数零点个数会随向量场改变,无法成为拓扑不变量。
例子与边界
在
这也推出毛球障碍:球面上不可能有处处非零切向量场,否则左端为空和
标准竖直环面上的高度 Morse 函数有四个临界点:一个极小和一个极大各贡献
边界方向可在区间上复算。取
若零点不是孤立的,局部球面未必能逐点分隔各零点,本条指数和没有直接定义;可在紧邻域上定义总指数或先作受控扰动,但需证明没有零点穿越边界。
推论与应用
若紧闭流形满足
对 Morse 梯度场,定理给
其中
在动力系统中,指数可排除某些平衡点配置;在叶状结构和特征类理论中,向量场零点代表切丛 Euler 类。带边界、非紧或有对称约束的问题仍可建立相应指数公式,但必须加入边界项、无穷远指数或等变修正,不能把它们隐藏在闭流形版本里。
参考资料
- John Milnor, Topology from the Differentiable Viewpoint, Princeton University Press, 1997, §6, vector fields and the Poincaré–Hopf theorem.
- Victor Guillemin and Alan Pollack, Differential Topology, Prentice-Hall, 1974, Ch. 3, intersection theory and vector-field index.
- Raoul Bott and Loring W. Tu, Differential Forms in Algebraic Topology, Springer, 1982, Ch. IV, Euler class and Poincaré–Hopf.