閉形式、恰當形式與龐加萊引理

對任一形式都能問的兩個問題

從上一篇你隨身揣著一個事實：外微分 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 沿圈住每個洞的環路積分。非零的答案意味著閉而不恰當——而它正在丈量那個洞。