毛球定理：球面、向量场与一个证明

看到宝宝头发上的一个旋，3Blue1Brown 的旁白想起了毛球定理。非正式地说，如果一个球长满毛，就无法连续地把毛全部梳平，总会至少有一点的毛没有方向可躺。

沿某个轴绕圈梳理，会在两个极点形成旋涡。定理保证至少有一个问题点，但旁白提出一个谜题：能否巧妙地将问题点减少到恰好一个？

这个名字虽然有趣，数学本身却有实际应用。旁白首先考虑一个动画问题：让三维飞机模型沿任意路径飞行时保持合适的姿态。

飞行方向决定机头朝哪里，却没有决定飞机绕机头到机尾的轴旋转多少。选择一个垂直于朝向的机翼方向，就能确定剩下的自由度。

所有可能的朝向组成一个球面。为每个朝向连续地选择一个垂直的机翼方向，相当于为球面上的每一点指定一个非零切向量。

切向量位于球面在该点的切平面内。切向量场为每个点指定一个切向量；图中虽然只能画出有限样本，向量场实际覆盖整个连续球面。

毛球定理说，二维球面上的每个连续切向量场都至少有一个零向量。因此，在飞机动画中，如果坚持每个机翼方向都非零，就必定在某处出现不连续。

一种简单选择是尽量让机身顶部朝上，得到的向量场却在竖直方向失效。为了制作稳定的动画，程序员需要使用瞬时朝向以外的信息，例如轨迹的其他特征。

对于地球周围连续的风场，定理意味着至少有一点的贴地风速分量为零。风仍可能有竖直分量，这个例子也依赖连续性和球形地球的理想化假设。

类似的论证适用于理想化的无线电波：其电场和磁场垂直于传播方向。在远处的球面上，连续切向量场必须在某处为零，因此非零信号不能在所述意义上对每个方向都完全相同。

旁白回到谜题。旋涡或源点与汇点的例子常有两个零点，容易让人猜测是否总需要两个；但恰好只有一个零点的向量场确实存在。

球极投影将去掉北极的球面映射到一个平面：从北极发出的射线穿过球面，再与平面相交。平面上的每个点都对应球面上除北极之外的唯一一点。

从平面上一个始终向右、处处非零的常向量场出发，再把运动投影回球面。得到的球面向量场在北极之外处处非零，并可在北极补上一个零向量。

理解投影向量的一种方法是追踪平面上匀速向右移动的粒子，再取它们在球面上投影的速度。这些路径形成在北极相切的圆，北极处的速度为零。

为了说明连这一个零点也无法消除，旁白使用数学家 Senia Sheydvasser 分享的反证法：先假设存在一个处处非零的连续切向量场。

在点 p，假设的切向量与半径确定一个经过原点的平面，从而确定一个大圆。让 p 沿初始向量方向绕大圆走半圈，就会到达对跖点 −p。

这个点移动时并不是沿整个向量场流动：它的路径完全由起点的向量确定。连续且处处非零的向量场会让球面各点的路径连续变化，而且所有路径都避开原点。

动画无法真正展示这个不可能存在的向量场，因此使用前面只有一个零点的例子，并去掉北极。这样可以展示球面其余部分的运动，同时避开不可能处理的点。

各点移动时，曲面可以穿过自身。动画调整半径并扩大缺口，让运动更容易观察。假设中最重要的两个性质是定向反转和避开原点。

为了在变形过程中定义内外，可以给曲面附上坐标标签。在一个点处，取经度和纬度增加的有序方向，用右手定则选定一个有向法向量。

坐标标签随着曲面移动。在规则点处，这两个有序切向方向决定法向量，即使曲面弯曲或折叠，也可以用它来追踪定向。

最终映射把每个 p 送到 −p。在该映射下，两个坐标切向方向都反向，但有向法向量由朝外变为朝向原点：对跖映射反转了球面的定向。

旁白把它与经典的球面外翻动画区分开来：后者允许曲面自相交，但要求外翻过程中没有折痕或尖点。这里的矛盾依赖另一项限制：曲面上任何一点都不能穿过原点。

设想原点有一个不可压缩的喷泉，每秒向各个方向均匀喷出一升水。通量衡量单位时间穿过有向曲面的带符号水量：向外穿过记正，向内穿过记负。

对于最初的球面，总通量为每秒 +1 升。只要变形时不穿过水源，弯曲或折叠曲面都不会改变带符号的净通量：穿过重叠折面的进出流量按符号相互抵消。

把曲面完全移到水源一旁，净通量会变成零，但在变形过程中必须让曲面穿过原点。有向通量记录了曲面以其定向包围源点的情况。

如果假设的运动最终达到对跖映射，有向法向量会朝内，通量就变成每秒 −1 升。但由于整个过程避开原点，通量又必须保持最初的 +1。

这个矛盾排除了假设中的连续非零切向量场。旁白指出，要让通量论证完全严格还需要补充细节，并建议用多元微积分和散度定理完成相关练习。

最后的问题是其他维度。圆上可以有连续且处处非零的切向量场；维度规律的表述取决于“维数”指球面本身还是它所在的空间。

在偶数维欧几里得空间中的球面上，这样的向量场存在；在奇数维空间中的球面上则不存在。等价地说，奇数维球面存在处处非零切向量场，而偶数维球面不存在。

在偶数维环境空间中，对跖映射保持定向；在奇数维环境空间中，它反转定向。这提示了为何上述证明适用于后一种情况。旁白留下一个谜题：在偶数维环境空间中构造这样的向量场。