主曲率

微分幾何学において、曲面上の与えられた点での 2つの主曲率（しゅきょくりつ、）は、その点でのガウス写像(Gauss map)の微分の 2つの固有値である。それらは、曲面がその点で別々な方向へどれくらい曲がっているかを測る。
要旨.
3次元ユークリッド空間の中の微分可能な曲面の各々の点 "p" では、法ベクトル(normal vector)を選ぶことができる。"p" での(normal plane)は、法ベクトルを含んだ平面であり、従って、曲面の唯一の接方向を含み、(normal section)と呼ばれる平面曲線で曲面の断面を作る。この曲線は、一般には、点 "p" で異る法平面に対し異る曲率を持つ。"p" での主曲率(principal curvatures)は、"k"1 と "k"2 と書くことにすると、この曲率の最大値と最小値である。
ここに曲線の曲率は、定義により(osculating circle)の半径に反比例する。曲率は、曲面の選択された法線として曲線が同じ方向にあるときに正となり、そうでない場合は負となる。"k"1 が "k"2 が等しくないとき、曲率が極大値や極小値を取るような法平面の方向は、常に垂直である。この事実はレオンハルト・オイラー(Leonhard Euler) (1760) の結果であり、主方向(principal directions)と呼ばれる。現代的な観点からは、対称テンソルの(principal axes) - 第二基本形式(second fundamental form)であるので、この定理はスペクトル定理から従う。主曲率と主方向の系統的な解析は、ジャン・ガストン・ダルブー(Gaston Darboux)により(Darboux frame)を使って研究された。
2つの主曲率の積 "k"1"k"2 がガウス曲率 "K" であり、平均 ("k"1 + "k"2)/2 が(mean curvature) "H" である。
すくなくとも主曲率の片方が 0 であれば、ガウス曲率は 0 となり、曲面は可展面である。(minimal surface)に対し、平均曲率はすべての点で 0 である。
定義.
"M" を第二基本形式(second fundamental form) formula_1 を持つユークリッド空間内の曲面とし、点 "p"∈"M" と "p" での接ベクトルの正規直交基底(orthonormal basis) "X"1 と "X"2 と固定すると、主曲率は対称行列
の固有値である。
"X"1 と "X"2 を行列 formula_3 が対角行列となるように選ぶと、選び方を主方向(principal directions)と呼ぶ。曲面が向き付け可能であれば、与えられた向きに関して正の向きであるようにペア ("X"1, "X"2) を取る。
特別な直交基底を参照することなしに、主曲率は(shape operator)の固有値であり、主方向は固有ベクトルである。
一般化.
高次元のユークリッド空間内の超曲面に対し、主曲率は同じような方法で定義することができる。主曲率は、接空間の直交基底で第二基本形式 formula_4 の行列の固有値である。主方向は対応する固有ベクトルである。
同様に、"M" をリーマン多様体 "N" の中の超曲面とすると、主曲率は第二基本形式の固有値である。"k"1, ..., "k"n を点 "p" ∈ "M" での "n" 個の主曲率とし、"X"1, ..., "X""n" を対応する直交固有ベクトル（主方向）とすると、"p" での "M" の断面曲率は、formula_5 であるすべての formula_6 に対し、
である。
曲率の線.
曲率の線(lines of curvature)、あるいは、曲率線(curvature lines)は、主方向に常に接している曲線である（曲率の線は主方向の場の積分曲線(integral curve)である）。各々の非臍点を通して曲率線は 2本あり、直交している。
臍点の近くでは、曲率線は典型的には、次の 3つの構成をとる。星状、レモン状、モンスター状（レモン状から導出される）。これらの点も、ダルブーの臍点と呼ばれ、ジャン・ガストン・ダルブー (Gaston Darboux)が、1896年に最初に系統的に研究したことによっている（彼の講義のVol. 4, p 455）。
これらの図は、赤色の曲線が主方向の曲率線の族であり、青色がもうひとつの主方向の線の曲率線である。
曲率線が同じ主曲率の局所的に極値を持つと、曲線は(ridge point)と呼ぶ。峰点は曲面上では曲線を形成し、峰と呼ばれる。星状の場合とモンスター状の場合には、それぞれ 3本か 1本の峰線が臍点を通る。レモン状の場合は、一本の峰線のみが臍点を通る。