关于奇点指标和的证明问询：李《拓扑流形》习题8-10相关

我来一步步帮你完成这个证明，先从李《拓扑流形》习题8-10的背景入手梳理清楚：

核心概念回顾 #

• 平面向量场：定义为连续映射 v: ℝ² → ℝ²
• 孤立奇点：满足 v(p) = 0 的点 p，且存在包含 p 的开集 U，使得 v⁻¹(0) ∩ U = {p}（简单说就是周围足够小的区域里只有这一个零点）
• 奇点的指标：在 U 内取一条环绕 p 的小圆 C，考虑映射 v: C → ℝ² - {0}，这个映射的环绕数就是奇点 p 的指标

证明：紧区域内奇点指标和等于边界环绕数 #

咱们假设要证明的是：若平面向量场 v 在紧区域 D（边界为光滑简单闭曲线 ∂D）内仅有有限个孤立奇点 p₁,p₂,...,pₙ，且在 ∂D 上 v 处处非零，则所有奇点的指标和等于 v 在 ∂D 上的环绕数。

步骤1：构造挖去奇点的区域 #

对每个孤立奇点 pᵢ，取一个足够小的闭圆盘 Dᵢ，满足：

• Dᵢ 完全包含在 D 的内部
• 所有 Dᵢ 互不相交
• v 在 Dᵢ 的边界 Cᵢ（小圆）上处处非零

这样我们得到一个新的区域 D' = D - ∪int(Dᵢ)，这个区域的边界由两部分组成：外边界 ∂D，以及每个 Dᵢ 的边界 Cᵢ（注意这里 Cᵢ 的方向是反向的，因为作为 D' 的内边界，其定向和原圆盘边界相反）。

步骤2：利用环绕数的同伦不变性 #

在区域 D' 上，向量场 v 处处非零，因此映射 v: ∂D' → ℝ² - {0} 可以同伦到一个非零常值映射（因为区域内没有零点，映射可以连续形变到常值）。而常值映射的环绕数为0，所以 v 在 ∂D' 上的环绕数为0。

步骤3：拆分环绕数计算 #

∂D' 的环绕数等于外边界 ∂D 的环绕数加上每个反向 Cᵢ 的环绕数：

wind(v, ∂D') = wind(v, ∂D) + Σwind(v, -Cᵢ)

这里 -Cᵢ 表示反向的圆周，而环绕数的性质告诉我们：wind(v, -Cᵢ) = -wind(v, Cᵢ)，而根据奇点指标的定义，wind(v, Cᵢ) 就是奇点 pᵢ 的指标 ind(pᵢ)。

结合步骤2的结论 wind(v, ∂D') = 0，代入得：

0 = wind(v, ∂D) + Σ(-ind(pᵢ))

整理后就是：

Σind(pᵢ) = wind(v, ∂D)

特殊情况：整个平面的奇点指标和 #

如果考虑整个 ℝ² 上的向量场，且仅有有限个孤立奇点，我们可以把 ℝ² 紧化为球面 S²（单点紧化）。若向量场在无穷远处趋近于某个非零常向量，那么无穷远点可以看作一个指标为0的“奇点”，此时所有奇点的指标和等于球面的欧拉示性数2——这其实是Poincaré-Hopf定理在平面上的特殊形式。

内容的提问来源于stack exchange，提问作者Hempelicious