微分幾何學研究的主要物件之一。直觀上,曲線可看成空間質點運動的軌跡。曲線的更嚴格的定義是區間[αb)]到E3中的映射r:[αb)]→E3。有時也把這映射的像稱為曲線。具體地說,設Oxyz是歐氏空間E3中的笛卡兒直角坐標系,r為曲線C上點的向徑,於是有

上式稱為曲線 C的參數方程, t稱為曲線 C的參數,並且按照參數增加的方向自然地確定瞭曲線 C的正向(圖 1 )。曲線論中常討論正則曲線,即其三個坐標函數 x( t), y( t), z( t)的導數均連續且對任意 t不同時為零的曲線。對於正則曲線,總可取其弧長s作為參數,它稱為自然參數或弧長參數。弧長參數s用

來定義,它表示曲線 Cr( α)到 r( t)之間的長度,以下還假定曲線 C的坐標函數都具有三階連續導數,即曲線是 C 3階的。

曲 線 的 局 部 性 質

  曲線論的基本公式 設正則曲線C的參數方程為rr(s),s是弧長參數,p(s)是曲線C上參數為s即向徑為r(s)的一個定點。Q(s+Δs)為C上鄰近p的點,Q沿曲線C趨近於p時,割線pQ的極限位置稱為曲線Cp點的切線。過p點與切線垂直的平面稱為曲線Cp點的法平面。曲線Cp點的切線及C上鄰近點R確定一個平面σσ的極限位置稱為曲線Cp點的密切平面,它在p點的法線稱為曲線Cp點的次法線,曲線Cp點的切線和次法線決定的平面稱為曲線Cp點的從切平面。p點的法線稱為曲線Cp點的主法線(圖2)。

  以"·"表示關於弧長參數s的導數,並且設

那麼 b(s)= t(s)× n(s)分別是曲線 Cp(s)點的切線、主法線和次法線上的單位向量,並且 t(s)指向曲線 C的正向。 n(s)指向曲線凹入的一方。 t(s)、 n(s)和 b(s)按此順序構成右手系,且分別稱為曲線 Cp(s)點的切向量、主法向量和次法向量。{ r(s), t(s), n(s), b(s)}稱為曲線 Cp(s)點的弗雷內標架。

  曲線C的每一點都有弗雷內標架。為研究曲線上兩個鄰近點上弗雷內標架之間的變換關系,要討論t(s)、n(s)和b(s)關於s的導向量,它們可由標架向量線性表出,這就是下述曲線論的基本公式(弗雷內公式):

式中 k(s)和 τ(s)分別被稱為曲線 Cp(s)點的曲率和撓率。

  曲率 曲率

這裡 是切向量 t(s)和 t(s+Δs)之間的夾角。故曲率度量瞭曲線上相鄰兩點的切向量的夾角關於弧長的變化率。直線的曲率恒為0。圓周的曲率等於其半徑的倒數。當曲線 Cp(s)點的曲率 k≠0時,在 p(s)點的主法線上沿 n(s)的正向取點 Q,使得 p Q=1/ k,在 p點的密切平面上以 Q為中心,1/ k為半徑的圓稱為曲線 Cp點的曲率圓或密切圓, Q和1/ k分別稱為曲率中心和曲率半徑。密切圓是過曲線 Cp(s)點和鄰近兩點的圓的極限位置。

  撓率 撓率

,它的絕對值

度量瞭曲線上鄰近兩點的次法向量之間的夾角對弧長的變化率。平面曲線是撓率恒為零的曲線。空間曲線如不是落在一平面上,則稱為撓曲線。

  若p0(s0)點的曲率和撓率均不為零,取p0為原點,曲線的切線、主法線和次法線為坐標軸,在p0附近,曲線可近似地表示為:

所以曲線 Cp 0點鄰近的近似形狀如圖3所示。

  曲線論的基本定理 曲線的弧長s、曲率k(s)和撓率τ(s)是運動的不變量。反過來,曲線的曲率和撓率也完全決定瞭曲線的形態。具體地說,如果給定瞭兩個連續函數k(s)>0和τ(s),s∈[αb)],則存在以k(s)和τ(s)分別為其曲率和撓率的曲線,並且這些曲線經過空間的一個運動可以互相疊合。

        

特 殊 曲 線

  平面曲線 撓率恒為零的曲線為平面曲線。設Oxy為歐氏平面E2的笛卡兒直角坐標系,則平面曲線C的參數方程為rr(s)=(x(s),y(s)),s為弧長參數,弗雷內公式可寫成

這裡 n r是單位法向量,使 t(s)到 n r(s)的有向角為 /2。 k r(s)稱為相對曲率, k r>0和 k r<0分別表示曲線向左轉和向右轉(圖4)。

  螺線 C為撓曲線,若其曲率和撓率具有固定比值,稱為螺線。它的特征是切線與一固定方向作成定角。特別,如果曲率和撓率均為非零常數,那麼C是圓柱螺線,即它在圓柱面上且與直母線作固定角。它是質點繞一條直線(螺旋軸)等速旋轉且又沿這軸線方向等速移動時的軌跡。

  貝特朗曲線 撓曲線C若滿足λk(s)+μtau;(s)=1,其中λμ為常數且λ>0,稱為貝特朗曲線。這樣的曲線可與另一條曲線

建立一一對應關系,使在對應點的主法線重合。反之,這個性質也是曲線成為貝特朗曲線的充分條件。這樣的 C 中的每一條都稱為另一條的侶線。兩條貝特朗侶線在其對應點的切線作固定角。

  漸縮線與漸伸線 曲線C1的切線為另一條曲線C2的法線,則C1稱為C2的漸縮線或漸屈線,C2稱為C1的漸伸線或漸開線。可以證明與齒廓曲線為漸伸線的齒輪相嚙合的齒輪的齒廓曲線也是漸伸線,通常齒輪的齒廓曲線都采用圓的漸伸線。

曲 線 的 整 體 性 質

   以曲線的全部或確定的一段作為研究對象時,就得到曲線的整體的幾何性質。設曲線C的參數方程為r=r(s),s∈[αb)],s為弧長參數,若其始點和終點重合r(α)=r(b)),這時曲線是閉合的,稱為閉曲線。若它在這點的切向量重合,即r′(α)=r′(b)),且自身不再相交,則稱為簡單閉曲線。對於正則閉曲線C,把它的切向量t(s)的始點放在原點,t(s)的終點軌跡是單位球面上的一條閉曲線,它稱為曲線C的切線像或切線標形。C的切線像的長度為

等式右方是閉曲線 C的曲率 k(s)沿 C的積分,自然就稱為曲線 C的全曲率,以 表示。正則閉曲線的全曲率等於其切線像的長度。關於正則閉曲線的全曲率的界限有下述二定理。

  芬切爾定理 正則閉曲線C的全曲率

2 ,且等號僅當 C為平面凸閉曲線時成立。這定理給出瞭正則閉曲線的全曲率的下限,白正國將此定理推廣到分段光滑的閉曲線。

  法裡-米爾諾定理 簡單正則有結空間閉曲線(圖5

)的全曲率 4

  閉曲線C的撓率τ(s)沿自身的積分

自然就稱為 C的全撓率。球面上閉曲線的全撓率等於零,反之,如果非平面的曲面上任意閉曲線的全撓率都等於零,那麼這曲面為球面或其一部分。

  設C為平面正則閉曲線,則當點繞C一周時,曲線C的切線像t(s)將在單位圓周上繞若幹圈,這個圈數ir(以逆時針向環繞時圈數為正,順時針向時為負)稱為C的旋轉指標(圖6

),可算得

這裡 k r(s)是 C的相對曲率。切線回轉定理表明:平面簡單正則閉曲線的旋轉指標 i r等於±1。

  將平面上一條定長的細繩首尾相接而構成一條簡單閉曲線,它把平面分成以其為公共邊界的二個部分,它所圍成的區域的面積為最大時,其形狀是圓周。有如下更精確的結論:設曲線C是長度為L的平面正則簡單閉曲線,AC所圍區域的面積,那麼L2-4

A≥0,並且等號當且僅當 C是圓周時成立。上述不等式有過種種的推廣,這類問題叫做等周問題。對於平面曲線,與空間曲線論基本定理相仿,它的形態由其相對曲率 k r(s)所確定,故 k r(s)的極值自然是令人感興趣的。相對曲率 k r(s)的逗留點,即 的點稱為曲線的頂點,對於凸閉曲線,即位於其上每一點的切線的一側的曲線,成立著名的四頂點定理:平面凸閉曲線至少有四個頂點,因為橢圓隻有四個頂點,所以這個結論不能再改進。此外,還可以利用柯西-克羅夫頓公式來計算平面正則曲線的長度(見 積分幾何學)。

  

參考書目

 蘇步青等編:《微分幾何》,人民教育出版社,北京,1979。

 吳大任編:《微分幾何講義》,第4版,人民教育出版社,北京,1981。

 M.P.Do Carmo,Differential Geometry of Curves and Surface,Prentice-Hall,Englewood Cliffs,New Jersey,1976.