在數學中,曲率(英語:curvature)即「彎曲度」[1],是描述幾何體彎曲程度的量;直觀地說,曲率是曲線偏離直線的量(程度),或是曲面偏離平面的量(程度)。
在不同的幾何學領域中,曲率的具體定義不完全相同。曲率可分為外在曲率和內蘊曲率,二者有重要的區別。前者的定義需要把幾何體嵌入到歐氏空間中,後者則是直接定義在黎曼流形上。
曲線的曲率通常是純量,但也可以定義曲率向量。對於更複雜的對象[註 1],曲率要用更複雜的線性代數來描述,例如一般的黎曼曲率張量。[註 2]
曲率有多種等價的定義
- 圓上每一點處的彎曲程度都相同,半徑越小彎曲得越厲害,所以可以用半徑的倒數來定量描述圓的彎曲程度。直線可以看作半徑無限大的圓,所以直線的曲率為0。對於任意形狀的曲線,每一點處的彎曲程度一般是不同的。對曲線上任一點,在其附近再找上的兩個點,這三點總能確定一個圓(三點共線時確定一條直線,但可以把直線看作半徑無限大的廣義的圓)。當無限接近於點時,相應的圓也有一個極限,這個極限圓就是在點處最接近曲線的圓,稱為密切圓。密切圓的曲率就是曲線在點處的曲率。
- 柯西這樣定義密切圓和曲率:對曲線上任一點,在其附近再找上的兩個點,分別過作出曲線的法線,兩條法線會有一個交點。當無限接近於點時,相應的交點有一個極限,以這個極限點為圓心,過點作圓,就是曲線在點處的密切圓,密切圓的半徑的倒數就是曲率。
- 當曲線上一點沿著曲線以單位速率運動時,過這一點處的切線的方向在轉動。曲線彎曲程度越高,切線旋轉得越快。設曲線的參數方程為,其中s是弧長參數。則是單位切向量。設切向量與的夾角為,則曲率
對於一個以參數化形式給出的平面曲線
由此可知,反函數的曲率與原函數相同(具有對稱性)。,其曲率為
對於隱式給出的平面曲線 ,其曲率為
最後的公式也給出了在歐幾里得空間中的超曲面的平均曲率(可以差一個常數)。
對於一個以參數化形式給出的空間曲線其曲率為
對於嵌入在歐幾里得空間R3中的二維曲面,有兩種曲率存在:高斯曲率和平均曲率。為計算在曲面給定點的曲率,考慮曲面和由在該點的法向量和某一切向量所確定的平面的交集。這個交集是一個平面曲線,所以有一個曲率;如果選擇其它切向量,這個曲率會改變,並且有兩個極值-最大和最小曲率,稱為主曲率 k1 和k2,極值方向稱為主方向。這裡我們採用在曲線向和曲面選定法向的相同方向繞轉的時候把曲率置為正數,否則為負的約定。
曲線沒有內蘊的曲率,只有外在的曲率(即只有把曲線嵌入到具體的空間中才能定義曲率)。相比之下,曲面可以有不依賴於嵌入的內蘊曲率。高斯曲率,以高斯命名,等於主曲率的乘積。它的量綱為長度-2,對於球面、橢球、雙葉雙曲面的一葉、橢圓拋物面為正,對於偽球面、 單葉雙曲面、雙曲拋物面為負,對平面、圓柱面為0。它決定了曲面是局部凸(正的時候)還是局部鞍形(負的時候)。
上面給出的高斯曲率的定義是外在的,因為它用了曲面在 R3中的嵌入,法向量,外部平面等等。但是高斯曲率實際上是曲面的內在屬性,也就是它不依賴於曲面的特定嵌入;直觀的講,這意味著活在曲面上的螞蟻可以確定高斯曲率。例如,生活在球面上的螞蟻能夠測量三角形的內角和,發現它大於180度,表明這個曲面是正曲率的。而生活在圓柱面上的螞蟻則不會發現對歐氏幾何的任何背離。
形式地說,高斯曲率只依賴於曲面的黎曼度量。這就是高斯著名的絕妙定理,在他研究地理測繪和地圖製作時發現。
高斯曲率在一點P的內在定義的一種:想像把一隻螞蟻綁在一條長為的短線一端,線的另一端綁在P。這隻螞蟻在線拉直的時候繞P點跑並測量繞P點的一圈的周長C(r)。如果曲面是平的,則有。在彎曲的曲面上,C(r)的公式不同,P點的高斯曲率 K可以這樣計算:
高斯曲率在整個曲面上的積分和曲面的歐拉示性數有密切關聯;參見高斯-博內定理。
平均曲率等於主曲率的算術平均數(k1+k2)/2。量綱為長度-1。平均曲率和曲面面積的第一變分密切相關。特別的,像肥皂膜這樣的極小曲面平均曲率為0,而肥皂泡平均曲率為常數。不像高斯曲率,平均曲率依賴於嵌入,例如,圓柱和平面是局部等距的,但是平面的平均曲率為0,而圓柱的非零。
形狀算子是與曲率相關的一個概念,是切空間到自身的線性算子。主曲率是形狀算子的特徵值,事實上形狀算子與第二基本形式關於切平面的一對正交基的矩陣表示相同。於是高斯曲率等於形狀算子的行列式,而平均曲率等於形狀算子的跡的一半。
上文提到曲線沒有內蘊曲率,而曲面則可以。更一般地,三維以上的空間都可以有內蘊曲率。曲率的內蘊定義與非歐幾何緊密相關,許多數學家與科學家懷疑實際的物理空間可能也是彎曲的。在描述引力和宇宙學的廣義相對論中,這個想法推廣為「時空的彎曲」;在相對論中時空是偽黎曼流形。
儘管任意彎曲的空間的描述是很複雜的,局部各向同性和齊性的空間可以只用高斯曲率來描述,就像曲面那樣;從數學上來說這些是很強的條件,但從物理上來說是合理的假設[註 3]。正曲率對應曲率半徑的倒數平方,例如球面或超球面。雙曲幾何是負曲率的彎曲空間的例子。零曲率的空間或時空稱為平坦的。例如,歐氏空間是平坦的空間,而閔可夫斯基空間是平坦的時空。可以給環面和圓柱面賦予平坦的度量,但它們的拓撲是不同的。
存档副本. [2023-02-19]. (原始內容存檔於2023-02-19).