闭形式、恰当形式与庞加莱引理

对任一形式都能问的两个问题

从上一篇你随身揣着一个事实：外微分 d 把一个 k-形式变成一个 (k+1)-形式，而连用两次总得到零，即对任何东西连作两次 d 都是 0。手握 d，对一个形式 omega 自然冒出两个是非问题。第一：d omega = 0 吗？第二：omega 本身是否等于某个别的形式的 d？这并不是同一个问题，而本篇的全部内容，就活在二者之间的缝隙里。

给这两个性质起名字。若 d omega = 0，则形式 omega 是闭的——导数 d 把它杀掉，什么也不剩。若存在某个形式 alpha 使 omega = d alpha，则形式 omega 是恰当的——omega 本身就是 d 的输出，生而为一个导数。所以闭的意思是 d 在往上走时把 omega 送到零；恰当的意思是 omega 是某个低一阶之物的 d 而来。一个透过 d 向前看，另一个透过 d 向后看。戏剧性就在于：这两个概念如何、以及是否吻合。

你其实早在向量微积分那一级就见过这两个化了装的概念。一个保守场是梯度场 F = nabla f——这恰好就是 1-形式 omega = F . dr 为恰当的，势函数 f 扮演 alpha 的角色。而你当年用的判据「curl F = 0」或「交叉偏导相等」，恰恰就是 omega 为闭的陈述。所以「闭还是恰当」之问，正是你早已半自动解过的那个问题在所有维度上的成人版。形式只是让你对每一阶一并地、干净地问出它。

恰当蕴含闭——免费奉送

有一个方向是自动的，分文不取。设 omega 恰当，即 omega = d alpha 对某个 alpha 成立。那么 d omega = d(d alpha) = 0，因为连作两次 d 总是消失。所以每个恰当形式都是闭的，就这么定了，在每个维度、每个空间上都成立。没有要核对的假设，除了写出 d 本就需要的那点光滑性之外，也无需操心更多。单单一个事实 d 的平方 = 0 包办了一切：它正是把「恰当」变成「闭」的一个特例的引擎。

作为一个否定判据，这真的很有用。若你某次算出 d omega 得到非零的东西，便可立刻断定 omega 不恰当——根本不必去找势 alpha，因为它不可能存在。在向量微积分的翻译里这是日常一招：若 curl F 不是零向量，F 就不可能是梯度，于是别再找势函数了。「恰当蕴含闭」反过来读就是「不闭则不恰当」，这个逆否命题省下大量白费的力气。

庞加莱引理：在局部，闭即恰当

现在来看逆命题，但要带一个条件。庞加莱引理说：在一个可缩的区域上——也就是能在不离开它的前提下连续地收缩成一个点的区域，比如一个球、一个立方体、或整个 n 维空间——每个闭形式都是恰当的。所以在局部根本没有缝隙：若那里 d omega = 0，则 omega = d alpha，而这个 alpha 你真能造出来。「局部」二字是安全阀：任何良态区域在每点足够小的邻域里都是可缩的，所以这条引理在小范围内总成立。

证明并不神秘——它给你一份构造势的真正配方。对一个星形区域上的 1-形式，你只需把 omega 沿从中心到各点的直射线积分；得到的函数就是你想要的 alpha，对它求导便还原出 omega。这正是微积分基本定理在高维上的回响——在那里你把一个函数恢复成它导数的积分。对 k-形式做这件事的「同伦算子」，不过就是这种沿射线的积分，被逐阶系统地施行而已。

那个著名的洞：去心平面上的角形式

这里是人人都记得的那个例子，值得带在身上一辈子。在去掉原点的平面上，考虑 1-形式 omega = (-y dx + x dy)/(x^2 + y^2)。简短一算便知，在它有定义的每一处都有 d omega = 0，所以 omega 是闭的。它甚至看上去恰当：在一道切口之外，omega = d(theta)，其中 theta 是极角。麻烦在于 theta 并不是整个去心平面上一个单值的诚实函数——绕原点走一圈，它就跳变 2 pi。不存在整体的 alpha。所以 omega 闭而不恰当，而这道障碍恰恰就是那个缺失的点，那个洞。

omega = (-y dx + x dy) / (x^2 + y^2)     on the plane minus the origin

   d omega = 0  everywhere defined   ->  CLOSED

   Integrate omega around a loop:
     loop NOT enclosing the origin  ->  integral = 0      (looks exact here)
     loop enclosing the origin once ->  integral = 2 pi   (cannot be exact!)

   An exact form would integrate to 0 around EVERY closed loop.
   The nonzero 2 pi is the hole, detected.

环路积分就是探测器。绕一条不含原点的环它给出 0（与恰当性相容）；绕一条圈住原点的环它给出 2 pi。既然恰当形式必须在每条闭环上积分为零，这个 2 pi 就证明了 omega 闭而不恰当——并数出环路如何缠绕那个洞。

为什么环路积分能定夺？因为若 omega 恰当，omega = d alpha，则它绕任一闭环的积分等于「终点处的 alpha 减起点处的 alpha」——而在闭环上这两处是同一个点，所以答案只能是零。于是非零的环路积分就是一张「不恰当」的证书。这又是你熟悉的保守场故事：一个路径无关、绕环为零的场恰好就是梯度。去心平面正是这个故事头一回破裂之处，而形式精确地告诉你为什么。

缝隙即形状：上同调的初窥

退后一步，欣赏刚刚发生的事。闭形式容易找到；恰当形式是它们中严格的一个子集；而在可缩区域上，这两个集合恰好重合。所以它们唯一能不同的情形，就是区域不可缩——也就是它有洞。于是这份差额的大小，「闭形式模掉恰当形式」，就是一个你能用微积分算出来、却报告着纯粹形状之事实的数。那个商被称为德拉姆上同调，它是数学中最美的桥梁之一：微分这件感觉上局部而分析的事，最终竟数出了一个空间整体上的洞。

去心平面把这部词典演绎得淋漓尽致。它有一个本质的洞，相应地本质上就有一个「闭而不恰当」的 1-形式——我们的角形式 omega——其余每个这样的形式都是它的一个倍数再加上一个恰当部分。「有多少个独立的、闭而不恰当的 k-形式」字面上就在数 k 维的洞：一维的洞是你填不上的环路，二维的洞是像球面内部那样的空腔。你跑的微积分处处相同；变的是答案，而答案就是拓扑。

算 d omega。若它非零，则 omega 不闭，更谈不上恰当——到此为止，势不存在。
若 d omega = 0，则 omega 闭。现在追问定义域：它可缩吗（一个球、一个盒子、整个空间，没有洞）？
若定义域可缩，庞加莱引理保证 omega 恰当——通过把 omega 沿从选定中心出发的射线积分来构造 alpha。
若定义域有洞，直接检验恰当性：把 omega 沿圈住每个洞的环路积分。非零的答案意味着闭而不恰当——而它正在丈量那个洞。