原文と比べた結果、この記事には多数の（または内容の大部分に影響ある）誤訳 があることが判明しています。情報の利用には注意してください。 正確な表現に改訳できる方を求めています。
左から右へ、負のガウス曲率を持つ曲面（双曲面 ）、ガウス曲率が 0 の曲面（円筒形 ）、正のガウス曲率を持つ曲面（球面 ）。 微分幾何学 において、曲面 上のある点でのガウス曲率 （ガウスきょくりつ、英 : Gauss curvature 又は英 : Gaussian curvature ）とは、与えられた点での主曲率 κ 1 と κ 2 の積である。曲面上の距離だけに依存する量で、空間への等長的な埋め込み 方法にはよらない。1827年 にTheorema Egregium を発表したカール・フリードリッヒ・ガウス (Carl Friedrich Gauss) の名前に因んで名付けられた。
主曲率の方向に法平面を持つ鞍点曲面 （英語版 ） 曲面の任意の点で、曲面に対して垂直である法線ベクトル (normal vector)を見つけることができる。法線ベクトルを含む平面を法平面 （英語版 ） 法切断 （英語版 ） 法曲率 （英語版 ） 主曲率 といい、κ1 , κ2 と表す。ガウス曲率 (Gaussian curvature)は 2つの主曲率の積 Κ = κ1 κ2 である。
ガウス曲率の符号は、曲面を特徴付けることに使うことができる。
主曲率の双方が同符号 κ1 κ2 > 0 であれば、ガウス曲率は正であり、曲面は楕円点を持っているという。そのような点では、曲面はドームのようになっていて、局所的に接平面が曲面の同じ側へ来る。全ての断面曲率が同じ符号となる。
主曲率が異る符号を持つ κ1 κ2 < 0 と、ガウス曲率は負であり、曲面は双曲点を持っているという。そのような点では、曲面は鞍点の形をしている。2つの方向に断面曲率が 0 となり、漸近方向 （英語版 ）
主曲率のうちのひとつが 0、つまり κ1 κ2 = 0 であれば、ガウス曲率は 0 であり、曲面は放物点を持っているという。 殆どの曲面は、正のガウス曲率（楕円点）の領域を持ち、負のガウス曲率の領域は放物線 と呼ばれるガウス曲率が 0 となる点の曲線により分離される。
微分幾何学 において、曲面 上の与えられて点での 2つの主曲率 は、その点でのシェイプ作用素 （英語版 ） 固有値 である。これらの固有値は、与えられた点で異る方向に曲面がどれくらい折れ曲がっているかを測る。陰函数定理 により、2変数の函数 f のグラフとして曲面が表現される。そこでは、点 p は臨界点、すなわち f の勾配が 0 となる。（このことは、常に適切な厳密な運動によって可能となる。）従って、p での曲面のガウス曲率は、（ヘッセ行列の固有値の積である） f のヘッセ行列 の行列式である。（ヘッセ行列は、二階微分の 2 × 2 行列であることを思い起こしてほしい。）この定義からは、ただちに、cup型／cap型 と 鞍点(saddle point)の違いを理解することができる。
K
=
⟨ ⟨ -->
(
∇ ∇ -->
2
∇ ∇ -->
1
− − -->
∇ ∇ -->
1
∇ ∇ -->
2
)
e
1
,
e
2
⟩ ⟩ -->
det
g
,
{\displaystyle \mathrm {K} ={\frac {\langle (\nabla _{2}\nabla _{1}-\nabla _{1}\nabla _{2})\mathbf {e} _{1},\mathbf {e} _{2}\rangle }{\det g}},}
であることも分る。ここに
∇ ∇ -->
i
=
∇ ∇ -->
e
i
{\displaystyle \nabla _{i}=\nabla _{{\mathbf {e} }_{i}}}
共変微分 であり、g は計量テンソル である。
R 3 p において、ガウス曲率は、
K
(
p
)
=
det
(
S
(
p
)
)
,
{\displaystyle K(\mathbf {p} )=\det(S(\mathbf {p} )),}
によっても与えられる。ここに S はシェイプ作用素 （英語版 ）
ガウス曲率の有用な公式は、等温座標 （英語版 ） リウヴィル方程式 である。
負の曲率の曲面上の三角形の内角の和は平面上の三角形の内角の和よりも小さい。 ガウス曲率の曲面上のある領域の面積分 を全曲率 (total curvature)と呼ぶ。測地線 三角形 の全曲率は、π から内角の和を引いた値と等しい。曲率が正の曲面上の三角形の内角の和は π よりも大きいことに対し、負の曲率の曲面上の三角形の内角の和は π よりも小さい。ユークリッド平面 のような曲率 0 の曲面上では、三角形の内角の和はちょうど π となる。
∑ ∑ -->
i
=
1
3
θ θ -->
i
=
π π -->
+
∬ ∬ -->
T
K
d
A
.
{\displaystyle \sum _{i=1}^{3}\theta _{i}=\pi +\iint _{T}K\,dA.}
このことを一般化した結果が、ガウス・ボネの定理 である。
Theorema egregium
ガウスのTheorema Egregium は、曲面のガウス曲率が曲面自身の上の長さを測ることから決定することができることを述べた定理である。実際、第一基本形式 (first fundamental form)の考え方の全体として理解され、第一基本形式とその一階と二階の偏微分 として表される。同値なことであるが、R 3 の中の曲面の第二基本形式 (second fundamental form)の行列式 はそのように表現することができる。この定理の注目すべき驚異の点は、R 3 の中の曲面 S のガウス曲率の「定義」が、曲面の空間内の位置に依存しているにもかかわらず、最終的な結果であるガウス曲率自体は、周囲の空間を何ら参照することなしに、曲面の内在的な計量 (intrinsic metric)を決定することである。つまり、これは曲面自体が持っている本質的な性質である。特に、ガウス曲率は、曲面の等長 な変形の下に不変である。
現代の微分幾何学 において 曲面 は 2次元微分可能多様体 (differentiable manifold)であると、抽象的にみなす。曲面の古典論 （英語版 ） R 3 へ埋め込まれ (embedded)、第一基本形式により与えられるリーマン計量 を持っている。R 3 の中に曲面 S が埋め込まれていることを想定する。局所等長性 (local isometry)は、S ∩ U への制限が像の上において等長 (isometry)となるような R 3 の開領域微分同相写像 f : U → V である。従って、Theorema Egregium では次のように記述されている。
R 3 に埋め込まれた滑らかな曲面のガウス曲率は、局所等長変換の下に不変である。例えば、円筒形 のガウス曲率は 0 であり、「捩れていない」（平坦である）チューブも同様である[ 1] R の球面 は正の定数曲率 R −2 を持ち、平坦な平面が曲率 0 を持ち、これら 2つの曲面は局所的にさえ等長ではない。このように、球面の一部でさえ、平面表現(planar representation) は距離を混乱させてしまう。従って、いかなる地図の投影法 も完全ではない。
ガウス・ボンネの定理は、曲面の全曲率をオイラー標数 へと結びつけ、局所的幾何学的性質と大域的なトポロジカルな性質とを重要な関係をもたらす。
ミンディングの定理 (Minding （英語版 ） K を持つすべての曲面は局所等長 であるという定理である。ミンディングの定理の結果、曲率 0 の定数曲率曲目はある平面を折り返すことにより構成することができる。そのような曲面を可展曲面 と呼ぶ。ミンディングは、正の定数曲率を持つ閉曲面 (closed surface)は必然的にリジッドかとの問いも発していた。リーベンマンの定理 (Liebmann's theorem) (1900) はミンディングの問いに答え、正のガウス曲率を持つ R 3 の中の正則（C 2 級の) 閉曲面は、球面 だけであることをしめした[ 2] ヒルベルトの補題 （英語版 ） [ 3] ヒルベルトの定理 （英語版 ） R 3 の中の解析的な（C ω R 3 の中への C 2 級の埋め込みに対しては成立するが、C 1 -級の曲面に対しては成立しない。擬球面 (pseudosphere)は、特異点であるカスプ は除いて、負の定数曲率のガウス曲率を持つ[ 4]
R 3 の中の曲面のガウス曲率は、第二基本形式 (second fundamental form)と第一基本形式 (first fundamental form)の行列式 の比率として表すことができる。
K
=
det
I
I
det
I
=
L
N
− − -->
M
2
E
G
− − -->
F
2
.
{\displaystyle K={\frac {\det II}{\det I}}={\frac {LN-M^{2}}{EG-F^{2}}}.}
ブリオッキの公式 (Brioschi formula)は、第一基本形式の項だけでガウス曲率を表すことができる。
K
=
|
− − -->
1
2
E
v
v
+
F
u
v
− − -->
1
2
G
u
u
1
2
E
u
F
u
− − -->
1
2
E
v
F
v
− − -->
1
2
G
u
E
F
1
2
G
v
F
G
|
− − -->
|
0
1
2
E
v
1
2
G
u
1
2
E
v
E
F
1
2
G
u
F
G
|
(
E
G
− − -->
F
2
)
2
{\displaystyle K={\frac {{\begin{vmatrix}-{\frac {1}{2}}E_{vv}+F_{uv}-{\frac {1}{2}}G_{uu}&{\frac {1}{2}}E_{u}&F_{u}-{\frac {1}{2}}E_{v}\\F_{v}-{\frac {1}{2}}G_{u}&E&F\\{\frac {1}{2}}G_{v}&F&G\end{vmatrix}}-{\begin{vmatrix}0&{\frac {1}{2}}E_{v}&{\frac {1}{2}}G_{u}\\{\frac {1}{2}}E_{v}&E&F\\{\frac {1}{2}}G_{u}&F&G\end{vmatrix}}}{(EG-F^{2})^{2}}}}
直交 なパラメータ化F = 0) に対し、ガウス曲率は、
K
=
− − -->
1
2
E
G
(
∂ ∂ -->
∂ ∂ -->
u
G
u
E
G
+
∂ ∂ -->
∂ ∂ -->
v
E
v
E
G
)
{\displaystyle K=-{\frac {1}{2{\sqrt {EG}}}}\left({\frac {\partial }{\partial u}}{\frac {G_{u}}{\sqrt {EG}}}+{\frac {\partial }{\partial v}}{\frac {E_{v}}{\sqrt {EG}}}\right)}
である。
函数 z = F(x, y) のグラフとして表せる曲面に対し、ガウス曲率は、
K
=
F
x
x
⋅ ⋅ -->
F
y
y
− − -->
F
x
y
2
(
1
+
F
x
2
+
F
y
2
)
2
{\displaystyle K={\frac {F_{xx}\cdot F_{yy}-F_{xy}^{2}}{(1+F_{x}^{2}+F_{y}^{2})^{2}}}}
である。
曲面 F(x,y,z) = 0 のガウス曲率は、[ 5]
K
=
[
F
z
(
F
x
x
F
z
− − -->
2
F
x
F
x
z
)
+
F
x
2
F
z
z
]
[
F
z
(
F
y
y
F
z
− − -->
2
F
y
F
y
z
)
+
F
y
2
F
z
z
]
− − -->
[
F
z
(
− − -->
F
x
F
y
z
+
F
x
y
F
z
− − -->
F
x
z
F
y
)
+
F
x
F
y
F
z
z
]
2
F
z
2
(
F
x
2
+
F
y
2
+
F
z
2
)
2
{\displaystyle K={\frac {[F_{z}(F_{xx}F_{z}-2F_{x}F_{xz})+F_{x}^{2}F_{zz}][F_{z}(F_{yy}F_{z}-2F_{y}F_{yz})+F_{y}^{2}F_{zz}]-[F_{z}(-F_{x}F_{yz}+F_{xy}F_{z}-F_{xz}F_{y})+F_{x}F_{y}F_{zz}]^{2}}{F_{z}^{2}(F_{x}^{2}+F_{y}^{2}+F_{z}^{2})^{2}}}}
である。
ユークリッド計量と共形な計量を持つ曲面は、従って、F = 0 であり E = G = eσ である曲面のガウス曲率は、（Δ を通常のラプラス作用素 として）
K
=
− − -->
1
2
e
σ σ -->
Δ Δ -->
σ σ -->
,
{\displaystyle K=-{\frac {1}{2e^{\sigma }}}\Delta \sigma ,}
と表すことができる。
ガウス曲率は、測地線円の周囲 と平面内の円との極限での差異である[ 6]
K
=
lim
r
→ → -->
0
+
3
2
π π -->
r
− − -->
C
(
r
)
π π -->
r
3
{\displaystyle K=\lim _{r\to 0^{+}}3{\frac {2\pi r-C(r)}{\pi r^{3}}}}
ガウス曲率は、測地線円板 と平面内の円板との極限での差異である[ 6]
K
=
lim
r
→ → -->
0
+
12
π π -->
r
2
− − -->
A
(
r
)
π π -->
r
4
{\displaystyle K=\lim _{r\to 0^{+}}12{\frac {\pi r^{2}-A(r)}{\pi r^{4}}}}
K
=
− − -->
1
E
(
∂ ∂ -->
∂ ∂ -->
u
Γ Γ -->
12
2
− − -->
∂ ∂ -->
∂ ∂ -->
v
Γ Γ -->
11
2
+
Γ Γ -->
12
1
Γ Γ -->
11
2
− − -->
Γ Γ -->
11
1
Γ Γ -->
12
2
+
Γ Γ -->
12
2
Γ Γ -->
12
2
− − -->
Γ Γ -->
11
2
Γ Γ -->
22
2
)
{\displaystyle K=-{\frac {1}{E}}\left({\frac {\partial }{\partial u}}\Gamma _{12}^{2}-{\frac {\partial }{\partial v}}\Gamma _{11}^{2}+\Gamma _{12}^{1}\Gamma _{11}^{2}-\Gamma _{11}^{1}\Gamma _{12}^{2}+\Gamma _{12}^{2}\Gamma _{12}^{2}-\Gamma _{11}^{2}\Gamma _{22}^{2}\right)}
M をリーマン多様体 M M がM 余次元1であれば 、第二基本形式 が2階のテンソル（すなわち行列 ）になり、第二基本形式の固有値として主曲率 を定義でき、全ての主曲率の積としてガウス曲率が定義できる。
M が偶数次元であれば M に内在的な量であり、リーマン曲率のオイラー形式と一致する。M が奇数次元の場合もガウス曲率は符号を除いて内在的な量である。
^ Porteous, I. R., Geometric Differentiation . Cambridge University Press, 1994. ISBN 0-521-39063-X
^ Kühnel, Wolfgang (2006). Differential Geometry: Curves - Surfaces - Manifolds . American Mathematical Society. ISBN 0-8218-3988-8 ^ Gray, Mary (1997), “28.4 Hilbert's Lemma and Liebmann's Theorem” , Modern Differential Geometry of Curves and Surfaces with Mathematica (2nd ed.), CRC Press, pp. 652–654, ISBN 9780849371646 , https://books.google.co.jp/books?id=-LRumtTimYgC&pg=PA652&redir_esc=y&hl=ja ^ Hilbert theorem . Springer Online Reference Works.^ Gaussian Curvature on Wolfram MathWorld ^ a b Bertrand–Diquet–Puiseux theorem
^ Struik, Dirk (1988). Lectures on Classical Differential Geometry . Courier Dover
Publications. ISBN 0-486-65609-8
![{\displaystyle K={\frac {[F_{z}(F_{xx}F_{z}-2F_{x}F_{xz})+F_{x}^{2}F_{zz}][F_{z}(F_{yy}F_{z}-2F_{y}F_{yz})+F_{y}^{2}F_{zz}]-[F_{z}(-F_{x}F_{yz}+F_{xy}F_{z}-F_{xz}F_{y})+F_{x}F_{y}F_{zz}]^{2}}{F_{z}^{2}(F_{x}^{2}+F_{y}^{2}+F_{z}^{2})^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f240989097301d681597c0efd95c5082cdd6ff3)
