JOVANA
Explore Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

歐拉示性數會數洞

上一篇裡,咖啡杯化成了甜甜圈,距離也溶進了橡皮膜的視角。如今我們要找出在那一切拉扯下依然存留的第一個硬數字:任取一種把曲面切成頂點、邊、面的方式,算出 V − E + F,你總是得到同一個答案——一個悄悄數著洞的整數。讓我們看看它為何永不改變,又看見了什麼。

一條關於多面體的老公式,用新的眼睛看

拿起一個立方體。它有 8 個角、12 條邊、6 個平面。依「頂點減邊加面」這交錯的樣式相加:8 − 12 + 6 = 2。再試最簡單的角錐——四面體:4 個頂點、6 條邊、4 個面,得 4 − 6 + 4,又是 2。一個足球狀的形體、八面體、十二面體、一個壓扁的盒子、一顆多面的寶石——你叫得出名字的每一個凸多面體都回給你同一個 2。這頑固的答案就是歐拉多面體公式,V − E + F = 2,由歐拉於 1750 年注意到。究竟發生了什麼事,使這計數拒絕取決於你選了哪個立體?

這裡就是上一篇橡皮膜視角所解鎖的轉折。那些立體中每一個的表面,在拓樸上都是一個球面——把任一凸多面體吹脹,它就圓潤成一張球皮,毋須撕裂,所以它們彼此都是同胚的。這個 2 其實並不是關於立方體或角錐的事實;它是關於球面的事實,只是穿上了你恰好畫在它上面的那一套頂點、邊、面的外衣。一旦你把 V − E + F 看成底下那張曲面的性質、而非那個特定立體的性質,你便能問出那個大膽的問題:對甜甜圈,這計數給出什麼?

定義 chi,以及甜甜圈為何給出零

把這個計數升格成一個名字。對於把曲面分成頂點、邊、面的任一種方式,定義歐拉示性數 chi = V − E + F。如我們所見,球面 chi = 2。要找出環面——甜甜圈的表面——的值,我們只需在它上面畫一張誠實的網。把環面想成一張正方形紙片,其左緣黏到右緣、上緣黏到下緣;正是這道黏合,把一張平紙彎成管、再彎成環。在那張黏好的正方形上畫最簡單的格線、仔細數算,得到 V = 1、E = 2、F = 1,於是 chi = 1 − 2 + 1 = 0。

        a                 surface       chi = V - E + F
   +---------+
   |         |            sphere            2
  b|  torus  |b           torus             0
   |  (glued)|            2-hole surface    -2
   +---------+            g-hole surface   2 - 2g
        a

  square with left~right (b) and top~bottom (a) glued:
  V = 1   E = 2 (the two glued sides a and b)   F = 1
  chi = 1 - 2 + 1 = 0
把環面看成黏合的正方形:對邊被等同後塌縮成 V = 1、E = 2、F = 1,故 chi = 0。每多一個洞,chi 就掉 2。

於是球面得 2、環面得 0——它們是真正不同的曲面,而 chi 分辨得出。添上第二個洞,做成椒鹽卷餅狀的曲面,同樣的計數給出 chi = −2;三個洞的曲面給出 −4。這樣式精準無比:一個有 g 個洞的封閉可定向曲面,chi = 2 − 2g。這裡洞的數目,正是拓樸學家所謂的虧格 g,也是下一篇的主角。眼下,把這關係倒過來讀:知道了 chi,你便還原出 g = (2 − chi) / 2。歐拉示性數,名副其實地,是一台數洞機,只是披著點、線、面之算術的偽裝。

計數為何永不改變

chi 的全部力量都繫於一個承諾:V − E + F 不取決於你如何切割曲面。若兩個人把同一個環面切得截然不同,他們仍必須都落到 0,否則這數字毫無意義。為使這份信任站得住腳,我們固定一種乾淨的切法——三角剖分,意思不過是用三角形的面鋪滿曲面、彼此沿邊相接,每個三角形都是一塊誠實的圓盤。現在看看對一個三角剖分的任何單一改動,會對計數做什麼。

  1. 在現有一條邊的中點加一個新頂點。那把一條邊分成兩條(E 加 1),並添一個頂點(V 加 1)。對 V − E + F 的改變是 +1 − 1 = 0。沒有變化。
  2. 在一個三角形內部加一個新頂點,並把它連到三個角。那添了 1 個頂點、3 條邊,並把 1 個面變成 3 個(故 F 加 2)。改變是 +1 − 3 + 2 = 0。沒有變化。
  3. 跨過一個面畫一條新邊,把它一分為二。那添了 1 條邊與 1 個面:改變 +0 − 1 + 1 = 0。同樣沒有變化。
  4. 由於同一曲面的任何兩個三角剖分,都能透過一串有限多次的這類細分步驟(及其逆步驟)互相轉化,而沒有任何一步撼動 V − E + F,兩個三角剖分便必定給出完全相同的數。

每個基本步驟都被設計成讓那交錯的總和原封不動——一個頂點到來時,總是搭配著恰好足夠的邊與面把自己抵銷掉。這正是立方體與四面體——同一個球面的兩種網——都報出 2 的真正原因:你可以把其中一個細分成另一個,而計數從不退縮。所以 chi 是曲面本身的性質,而非畫在它上面的任何圖樣的性質——它是一個貨真價實的拓樸不變量,對任何兩個同胚的曲面都相同。

讓這不變量上工

一個不變量靠著分辨形狀來證明自己的價值。假設有人遞給你兩個封閉曲面,發誓它們暗地裡是同一個——一個可以不經切割就拉伸成另一個。把每一個三角剖分,對兩者都算出 chi。若數字不同,這宣稱當場斃命:球面(chi = 2)絕不可能與環面(chi = 0)同胚,而你如今握有一行字的證明,不再只是「球與甜甜圈不一樣」的感覺。這就是 chi 在一個拓樸空間裡的日常工作:一張廉價、可計算的「不同」憑證。

還有一套可愛的、用來造曲面的算術。要把兩個曲面黏成一個,從每個各挖掉一個小圓盤,再沿兩個新的邊界圓把它們縫起來——這就是連通和,記作 S_1 # S_2。歐拉示性數依一條簡單規則組合:chi(S_1 # S_2) = chi(S_1) + chi(S_2) − 2,因為每挖掉一個圓盤就賠上一個面,而那道縫又把共用的頂點與邊以恰好減去固定 2 的方式併攏。把兩個環面相黏:0 + 0 − 2 = −2,正是雙孔曲面,恰如我們數洞所預測。chi 的記帳與洞的記帳,是同一本帳。

誠實地說,chi 是什麼,又指向何方

讓我把我們做了什麼、沒做什麼說清楚。我們定義了 chi,並用那些細分步驟證明它在「連繫同一曲面兩個三角剖分」的局部編輯下保持不變。更深的事實——每個合理的曲面都能被三角剖分、以及任兩個三角剖分都由那些步驟的有限鏈相連——是貨真價實的定理,其仔細的證明屬於正式的拓樸課,而非這一階。我們誠實地把它們當作承重的事實來使用,同時清楚說明:它們完整的論證住在我們之上。你該完全信任的,是它的意義與計算:chi = V − E + F,對任何網都一樣,經由 2 − 2g 數出洞來。

也別過度解讀這個數。一個曲面並非只是它的歐拉示性數而已——chi 拋掉了極其大量的資訊,只留下一個整數。兩個 chi 相同的曲面,仍可能在可定向性上有別,正如環面與克萊因瓶方才所示;而帶邊界的曲面、或超過二維的曲面,需要更豐富的不變量。chi 是一整族拓樸數中第一個、也最親切的一個;它是門戶,而非整棟房子。

即便如此,這一個整數是整階的樞紐。緊接的下一篇,把 chi 與可定向性放在一起,用它們分類每一個封閉曲面——僅憑一個數與一個是非題,就得出形狀的完整目錄。再往上攀,chi 會在最意想不到的地方重現:在曲面那一階,你或許會遇上高斯—博內定理,封閉曲面的總曲率——一個純然幾何的積分——竟等於 2 pi 乘上同一個 chi。那個從桌上一個立方體起步的小小算術 V − E + F,成了幾何與拓樸最終相會的橋。