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

紐結初探

在一段繩圈上打個結,把兩端融在一起,然後問那唯一誠實的拓樸問題:不剪斷它,你能解開嗎?本篇將說明這個聽來簡單的問題為何困難、萊德邁斯特如何把它馴成三個動作,以及著色與交叉數如何證明一個三葉結真的打了結。

紐結是什麼——又不是什麼

拿起一段繩圈,在上面打一個普通的單結,再把兩端融在一起,讓結沒法從末端滑脫。那個封了口、纏成一團的繩圈,就是數學意義下的紐結:一個坐落在尋常三維空間裡、可能與自己糾纏的圓。把兩端封起來正是關鍵所在。只要繩子還有自由的末端,你總能把某一端穿回去而解開任何結,所以開放的繩子在拓樸上索然無味;唯有閉合的圈才能困住一個貨真價實的糾纏。如此說來,一個紐結就是一個——最簡單的閉曲線——可是有趣的資訊不在圓本身,而在這個圓如何被擺放在空間裡。

這是一個微妙而重要的轉變,所以讓我們對它誠實。單就它自身來看,每一個紐結都是同一個空間:任何打了結的圈,無論纏得多兇,都不過是一個圓,並與那個渾圓未結的圓同胚,因為就內在而言,圓就是圓。因此「打了結」並不是這個圈自己擁有的性質;它是嵌入的性質——是這個圈如何穿行於周遭空間的方式,連同那個空間不准你做的事。紐結理論研究的圓,採用比同胚更嚴格的相同:兩個紐結算作同一個紐結,唯有當你能把一個穿過空間滑成另一個,亦即連續地把繩子拖來拖去、卻從不讓它穿過自己。

畫出紐結:圖解與交叉

我們沒法拿一團真繩子做數學,所以第一步是把它壓平到紙上。把紐結的影子投到一個平面上,你就得到一張紐結圖:一條閉曲線,在少數幾個點處與自己交錯,每個交叉處畫一道小小的斷口,記下哪一股是、哪一股是。那「上/下」的記帳,是這張平面圖唯一不可丟失的東西——它正是我們壓平時所拋棄的第三維的全部記憶。抹掉上下的資料,你就分不出一個紐結與它的鏡像,甚至分不出它與無結圈。

最簡單而確實打了結的圖,是三葉結:一個圈以整齊的三重花樣自我交錯三次,像一個多扭了一圈的椒鹽脆餅。畫成沒有任何交叉的純圓,則是無結圈——裡頭根本沒打結的圈。介於兩者之間,一個只有一或兩個交叉的單圈,總能被揉平還原成無結圈;你沒法用少於三個交叉困住一個真正的結。三葉結的三個交叉,是「打了結」的最低價碼,這就是為什麼它是每張結表上的頭一個結,也是本篇一再回頭援引的範例。

      ___              The TREFOIL needs 3 crossings.
     /   \             At each crossing one strand is
    |     |            drawn broken (it passes UNDER);
  --+--.  |            the unbroken strand passes OVER.
    |  '--+--
    |     |            0 crossings  ->  the UNKNOT
     \___/             1 or 2       ->  still the unknot
                       3 crossings  ->  first real knot
一張紐結圖把紐結記成一條平面閉曲線,外加每個交叉處的上下資料。三個交叉是能真正打結所需的最少數目。

三個萊德邁斯特動作

困難就此攤開來看。一個紐結有無窮多張圖,因為你總能晃動繩子,重畫成更多或更少的交叉。所以當兩張圖看來不同時,你面對的正是我們在同胚那裡遇過的同一種惱人的不對稱:一旦你找到正確的一串晃動,要顯示它們是同一個紐結很容易;但要顯示它們不同,似乎得檢查無窮多種重畫。突破來自萊德邁斯特的一條定理:同一個紐結的任兩張圖,都能用有限的一串、僅僅三個局部動作接起來,外加不改變任何交叉的尋常滑移。

  1. 動作 I(扭轉):在一股繩子上加一個扭結,或拉出一個——在繩子自己繞過自己一次之處,增加或移除一個自交叉。
  2. 動作 II(戳推):把一股繩子滑過另一股,使兩個交叉一起出現;或抽回它,使兩個交叉一起抵消。
  3. 動作 III(滑越):把一股繩子滑過另外兩股相交的那一點,交叉的數目不變,只是重新安排了誰靠近誰。

萊德邁斯特定理改變了整盤棋。它把一個關於三維連續運動的問題——把真繩子拖來拖去而不自我穿越——化成一個關於平面圖、有限而組合的問題:你能否只用動作 I、II、III,從這張圖走到那張圖?這正是這一階一再遞給我們的同一種解放:把「檢查無窮多種變形」換成「檢查答案在幾個生成動作下不變」。如今紐結不變量的食譜自己寫了出來:從一張圖造出任何一個量,再證明它在三個動作各自之下都不改變。

三著色:三葉結確實打結的一個證明

讓我們真的造一個這樣的不變量,看著它把三葉結釘死。規則叫可三著色性。取這張圖,看它的——從一個下穿交叉跑到下一個下穿交叉的那些不間斷的曲線段。試著把每條弧塗上三種顏色之一,使兩個條件成立:至少有兩種不同顏色出現某處,而且在每個交叉處,相會的三條弧要麼同一色、要麼三色俱異。能容許這樣一種塗法的圖,就稱為可三著色的。

現在親手測試這兩個結。無結圈的純圓是單獨一條弧;只有一條弧,你就只能用一種顏色,於是「至少兩色」這條規則失敗——無結圈可三著色。三葉結恰有三條弧,若你給每條弧各自一色,那麼三個交叉中的每一個都同時看見全部三色,這正是規則所允許的——三葉結三著色。兩個結在這項性質上不一致,所以它們不可能是同一個結。三葉結是真的解不開:這是「結確實存在」的誠實而有限的證明,而它從頭到尾一次也沒提到第三維。

從迴圈到紐結,以及誠實的前沿

可三著色性是眾多紐結不變量裡最溫和的一個,而它並不完美:它沒法分辨每一對相異的結,也沒法單憑自己把三葉結和它自己的鏡像分開——然而那兩個三葉結確實是不同的結,這個事實需要一個更銳利的工具。更深的不變量回頭連向上一篇。與其研究打了結的圈本身,不如研究把這個結從三維空間挖掉後剩下的空間——也就是紐結補集——並取它的基本群,觀察周遭空氣裡的迴圈能否被收過那條消失的繩子。

這正是你剛學過的迴圈同倫,如今拿來問一個被戳了洞的空間,而它強得驚人:補集的基本群足以把無結圈和每一個非平凡的結分開,也足以把三葉結和它的鏡像分開。誠實的難處在於,計算並比較這些群是貨真價實、要求很高的代數——遠超一個入門階所能執行的。我們能忠實地描述這個不變量是什麼、以及它為何管用,而不假裝那計算是一行就能寫完的;完整的機器確實屬於日後的課程。

退一步,看看整一階的形狀。你從同胚與橡皮膜觀點起步,學會用歐拉示性數數洞,依虧格把曲面分類,再藉迴圈用基本群捕捉洞。紐結正是這一切交會之處:一個結是一個馴良的圓,分辨它靠的不是任何內在之物,而是它如何坐落在空間裡;而你分辨兩個結的辦法,再一次,是找一個它們不一致的不變量。同一套策略,更銳利的舞台——而且是一片開放的前沿,因為把所有紐結完全分類,時至今日仍是一個活躍而確實困難的問題。