微分幾何学において、曲面上のある点でのガウス曲率（ガウスきょくりつ、又は）とは、与えられた点での主曲率κ1 と κ2 の積である。曲面上の距離だけに依存する量で、空間への等長的な埋め込み方法にはよらない。1827年にTheorema Egregiumを発表したカール・フリードリッヒ・ガウス (Carl Friedrich Gauss) の名前に因んで名付けられた。
定義
曲面の任意の点において、曲面に対して垂直な法線ベクトル (normal vector) を見つけることができる。法線ベクトルを含む平面を (normal plane) と呼ぶ。法平面と曲面の交差は、 (normal section) と呼ばれる曲線を形成し、この曲線の曲率が (normal curvature) である。ほとんどの曲面上のほとんどの点に対し、異なる切断ごとに異なる曲率となる。これらの最大値と最小値を主曲率といい、, と表す。ガウス曲率 (Gaussian curvature) は 2つの主曲率の積 である。
ガウス曲率の符号は、曲面を特徴付けるために使うことができる。 2つの主曲率が同符号 であれば、ガウス曲率は正であり、その点は楕円点と呼ばれる。そのような点では、曲面はドームのようになっていて、局所的に接平面の片側に位置する。全ての断面曲率が同じ符号となる。 2つの主曲率が異なる符号を持つとき 、ガウス曲率は負であり、その点は双曲点と呼ばれる。そのような点では、曲面は鞍点の形をしている。2つの方向で断面曲率が 0 となり、 (asymptotic direction) を与える。 主曲率のうちの1つが 0、つまり であれば、ガウス曲率は 0 であり、その点は放物点と呼ばれる。
ほとんどの曲面は、正のガウス曲率（楕円点）の領域と負のガウス曲率の領域を持ち、これらは放物線と呼ばれるガウス曲率が 0 となる点の曲線により分離される。
議論 微分幾何学において、曲面上の与えられた点での 2つの主曲率は、その点での (shape operator) の固有値である。これらの固有値は、与えられた点で異なる方向に曲面がどれくらい曲がっているかを測る。陰函数定理により、曲面は 2変数の函数 f のグラフとして表現される。そこで、点 p を臨界点、すなわち f の勾配が 0 となる点とすることができる（このことは、適切な合同変換によって常に可能である）。従って、p での曲面のガウス曲率は、（ヘッセ行列の固有値の積である） f のヘッセ行列の行列式である（ヘッセ行列は、二階微分の 2 × 2 行列である）。この定義から、ただちにカップ型およびキャップ型と、鞍点 (saddle point) の違いを理解することができる。
別の定義
であることも分る。ここに は共変微分であり、g は計量テンソルである。
R3 の中の正則曲面上の点 p において、ガウス曲率は、
によっても与えられる。ここに S は(shape operator)である。
ガウス曲率の有用な公式は、(isothermal coordinates)で書かれたラプラシアンの項で書かれたリウヴィル方程式である。
全曲率
ガウス曲率の曲面上のある領域における面積分を全曲率 (total curvature) と呼ぶ。測地線三角形の全曲率は、内角の和から を引いた値に等しい。曲率が正の曲面上の三角形の内角の和は よりも大きいことに対し、負の曲率の曲面上の三角形の内角の和は よりも小さい。ユークリッド平面のような曲率 0 の曲面上では、三角形の内角の和はちょうど となる。
このことを一般化した結果が、ガウス・ボネの定理である。
重要な定理
Theorema egregium
ガウスのTheorema Egregiumは、曲面のガウス曲率が曲面自身の上の長さを測ることから決定することができることを述べた定理である。実際、第一基本形式(first fundamental form)の考え方の全体として理解され、第一基本形式とその一階と二階の偏微分として表される。同値なことであるが、R3 の中の曲面の第二基本形式(second fundamental form)の行列式はそのように表現することができる。この定理の特筆すべき点は、R3 の中の曲面 S のガウス曲率の「定義」が、曲面の空間内の位置に依存しているにもかかわらず、最終的な結果であるガウス曲率自体は、周囲の空間を何ら参照することなしに、曲面の内在的な計量 (intrinsic metric) のみによって決定されることである。つまり、これは曲面自体が持っている本質的な性質である。特に、ガウス曲率は、曲面の等長な変形の下に不変である。
現代の微分幾何学において 曲面は 2次元微分可能多様体(differentiable manifold)であると、抽象的にみなす。(classical theory of surfaces)の観点からは、そのような抽象的な曲面は R3 へ埋め込まれ(embedded)、第一基本形式により与えられるリーマン計量を持っている。R3 の中に曲面 S が埋め込まれていることを想定する。局所等長性(local isometry)は、S ∩ U への制限が像の上において等長(isometry)となるような R3 の開領域微分同相写像 f: U → V である。従って、Theorema Egregium では次のように記述されている。
R3 に埋め込まれた滑らかな曲面のガウス曲率は、局所等長変換の下に不変である。
例えば、円筒形のガウス曲率は 0 であり、「捩れていない」（平坦である）チューブも同様であるPorteous, I. R., Geometric Differentiation. Cambridge University Press, 1994. ISBN 0-521-39063-X。一方、半径 R の球面は正の定数曲率 R−2 を持ち、平坦な平面が曲率 0 を持ち、これら 2つの曲面は局所的にさえ等長ではない。このように、球面の一部でさえ、平面表現(planar representation) は距離を混乱させてしまう。従って、いかなる地図の投影法も完全ではない。
ガウス・ボネの定理
ガウス・ボンネの定理は、曲面の全曲率をオイラー標数へと結びつけ、局所的幾何学的性質と大域的なトポロジカルな性質とを重要な関係をもたらす。
定曲率の曲面 ミンディングの定理 ('s theorem) (1839) は、同じ定数曲率 K を持つすべての曲面は局所的に等長であるという定理である。ミンディングの定理の結果、曲率 0 の定曲率曲面はある平面領域を曲げることにより構成することができる。そのような曲面を可展曲面と呼ぶ。ミンディングは、正の定曲率を持つ (closed surface) は必然的にリジッドであるかという問いも発していた。 リーベンマンの定理(Liebmann's theorem) (1900) はミンディングの問いに答え、正のガウス曲率を持つ R3 の中の正則（C2 級の) 閉曲面は、球面だけであることをしめした。標準的な証明は、極端な主曲率となる点は非正なガウス曲率を持つという(Hilbert's lemma)を使う.。 (Hilbert's theorem) (1901) は、負の定数曲率を持つ R3 の中の解析的な（Cω 級）曲面は存在しないという定理である。実際、R3 の中への C2 級の埋め込みに対しては成立するが、C1-級の曲面に対しては成立しない。擬球面(pseudosphere)は、特異点であるカスプは除いて、負の定数曲率のガウス曲率を持つHilbert theorem. Springer Online Reference Works.。
別の公式 R3 の中の曲面のガウス曲率は、第二基本形式 (second fundamental form) と第一基本形式 (first fundamental form) の行列式の比率として表すことができる。
ブリオスキの公式 (Brioschi formula) は、第一基本形式の項だけでガウス曲率を表すことができる。
直交なパラメータ化 (つまり、F = 0) に対し、ガウス曲率は、
である。
函数 z = F(x, y) のグラフとして表せる曲面に対し、ガウス曲率は、
である。
曲面 F(x,y,z) = 0 のガウス曲率は、Gaussian Curvature on Wolfram MathWorld
である。
ユークリッド計量に共形な計量を持つ曲面、すなわち F = 0 かつ E = G = eσ である曲面のガウス曲率は、（Δ を通常のラプラス作用素として）
と表すことができる。
ガウス曲率は、測地線円の周囲と平面内の円との極限での差異であるBertrand–Diquet–Puiseux theorem。
ガウス曲率は、測地線円板と平面内の円板との極限での差異である。
ガウス曲率は、クリストッフェル記号により表すことができる。
高次元の場合
をリーマン多様体の部分多様体とする。がにおいて余次元1であれば、第二基本形式が2階のテンソル（すなわち行列）になり、第二基本形式の固有値として主曲率を定義でき、全ての主曲率の積としてガウス曲率が定義できる。
ガウス曲率はが偶数次元であればに内在的な量であり、リーマン曲率のオイラー形式と一致する。が奇数次元の場合もガウス曲率は符号を除いて内在的な量である。
関連項目
主曲率 断面曲率 (Mean curvature) ガウス写像(Gauss map)
参考文献
外部リンク
Curvature in two spacelike dimensions