回到平面,彎曲帶上正負號
前幾篇導引住在空間裡,那裡的福雷內標架需要切向量、主法向量與副法向量,才能釘住一條漫遊的曲線,而撓率量度它扭出某個平面的程度。平面曲線扭不出平面——它無處可去——所以撓率乾脆為零,副法向量也成了那支無趣的常向量,直直指出紙面之外。這聽來像損失,卻替我們換來更好的東西。在二維裡,與切線垂直的合理方向恰好只有一個(向左轉),一勞永逸地選定它,就能讓曲率不只記得曲線彎了多少,還記得彎向哪邊。
構造如下。取一條單位速率的平面曲線,配上單位切向量 T(s)。把這切向量逆時針旋轉四分之一圈,得到唯一選定的法向量 N(s)——每次都取同一個左手側。我們先前建立的尋常曲率 kappa 永遠是正的,是個純大小。但現在我們能讀出一個有號曲率,記作帶小下標的 kappa 或就寫 kappa_s:當曲線朝這個選定法向量偏(向左轉)時它等於正的 kappa,當曲線背離它(向右轉)時等於負的 kappa。定義關係 T'(s) = kappa_s N(s),就是平面曲線的整個福雷內–塞雷故事,濃縮成一條誠實的式子。
轉角:切線指向何方?
因為曲線是單位速率,單位切向量 T(s) 不過是一支長度為 1、隨你前行而轉動的箭頭。平面上一支長度為 1 的箭頭,由一個數就能完全描述:它與固定東向所夾的角 theta(s),使得 T(s) = (cos theta(s), sin theta(s))。把 T(s) 想成綁在移動點上的羅盤指針,theta(s) 就是它讀出的方位。當你沿曲線漫步,指針緩緩轉動,向左偏時 theta(s) 往上走,向右偏時往下走。
現在對這方位微分。有號曲率恰好就是方位轉動的速率:kappa_s(s) = theta'(s)。這是平面上曲率最乾淨的意義——它是你以單位速率行進時,羅盤指針的角速率。一條直路讓指針靜止,theta'(s) = 0,故 kappa_s = 0。一個急的左彎讓指針快速擺動,kappa_s 為大正值;急的右彎則為大負值。你用幾何定義出的有號曲率,與你藉觀察一個角而定義的這個轉動速率,是同一個數。
unit-speed plane curve T(s) = ( cos theta(s) , sin theta(s) ) heading angle theta signed curvature kappa_s(s) = theta'(s) (turning rate) total turning over s from a to b: theta(b) - theta(a) = integral from a to b of kappa_s(s) ds
把迴圈封閉:旋轉數
當曲線是封閉的——它回到起點並順滑地接合,像一條賽道——特別的事就發生了。繞行一整圈後你回到家,面向你出發時的那個方向,所以羅盤指針無論一路如何遊蕩,最終必定與起始方向平行。位置回來了;方位也必須回來,但可能是在轉過了某個整數圈之後。那個整數正是本篇的主角:旋轉指數,也叫旋轉數。
精確地說:繞一整圈時方位 theta 改變了 2 pi 乘以整數 n,那個整數 n 就是旋轉指數。它計算切向量每圈所轉的淨整數圈——右轉抵消左轉。逆時針描一個簡單橢圓,切向量掃過一圈,n = 1。同一個橢圓順時針跑,n = -1。開一個八字形,一葉把你向左轉、另一葉把你向右繞回,兩者抵消得 n = 0。旋轉指數是從一整趟連續的轉動旅程中,蒸餾出的一個堅實整數。
在這裡,有號曲率的積分名副其實。沿封閉曲線把 kappa_s ds 一路加總,就把每一片轉動加了起來,而那恰好是方位的總變化:kappa_s 在整個迴圈上的積分等於 2 pi 乘以 n。左邊是個順滑的解析量——彎曲的積分——右邊卻只能是整數乘以 2 pi。一個連續的累積被釘在一個離散值上。這份張力,解析被逼著落在整數上,正是你初次真切嚐到局部曲率如何掌控整體形狀的滋味。
旋轉定理:簡單迴圈必恰好轉一圈
八字形與自己相交,正因如此它的轉動才能抵消。禁掉這點——堅持要簡單封閉曲線,一條絕不自我相交、清清楚楚把內外分開的單一迴圈——這份自由就消失了。轉切線定理,也就是霍普夫旋轉定理(德文 Umlaufsatz,「繞行定理」,由 Heinz Hopf 於 1935 年證明)斬釘截鐵地說:對一條簡單封閉平面曲線,旋轉指數恰為正一或負一,正負號只看你是逆時針還是順時針描它。沒有任何簡單迴圈能轉兩圈或零圈。它必恰好作出一個淨旋轉。
為何非如此不可?誠實的答案是,完整證明需要一番細緻的論證——霍普夫自己的證法用了兩點之間弦所成的角,當兩點都沿迴圈滑動時,它是定義在一個三角形上、不能跳變的連續映射——而這些細節超出了這個入門階段。但那念頭是可掌握的。簡單迴圈有明確的內部;當你沿它的邊界行走、始終把內部留在固定的一手側,你的方位永遠不會「卡住」或被解開,因為迴圈從不相交來容許它這麼做。單一的圈圍恰好准許一次纏繞。我們忠實地陳述這結果,也誠實地說:它滴水不漏的證明,要留待更後面的課程。
凸性,以及通往曲面的門
kappa_s 的正負號讀出迴圈的局部幾何。當 kappa_s 一路保持同一個固定號——比方對逆時針迴圈始終非負——曲線就只往一個方向彎,從不反向,而這恰好意味著所圍區域是一個凸集:一顆蛋、一個橢圓、一個體育場形。當有號曲率變號時,邊界就有了反曲點與凹陷,一處它瞬間反向彎曲的地方。所以一路記下的曲率正負號,是整體性質「這區域是凸的嗎?」的忠實局部偵測器。
退一步看清整個念頭的形狀,因為這是一個你將一再相遇的範本。一個純粹局部的量度——切線在每一瞬間如何轉、有號曲率——沿一條封閉曲線積分後,產生了一個整體的、拓樸的不變量,即整數旋轉指數,它對曲線任何順滑的扭動都視而不見。把局部積分起來;落出一個剛硬的整體整數。這正是前方那條最深刻定理的同一節奏。
那個目的地有個名字。當下一階把曲線提升到曲面,高斯–博內定理將把曲面的曲率在整個封閉曲面上積分,發現答案是 2 pi 乘以歐拉示性數 chi = V - E + F——一個數洞、而非數幾何的拓樸整數。你方才遇見的旋轉定理,正是那部傑作的一維預演:同一樁驚人的契約——把一個東西如何彎曲、繞滿整圈地加總起來,永遠只能得出一個整數,而彎曲本身無力改變它。