ガウス・ボンネの定理

数学 > 幾何学 > 多様体論 > 微分幾何学、微分位相幾何学 > ガウスの曲面論（英語版） > ガウス・ボンネの定理

ガウス・ボンネの定理^[1](Gauss–Bonnet theorem)は、リーマン計量が定義された曲面における曲率の積分がその曲面のオイラー標数で表せる、という趣旨の定理である。これは曲面の局所的な微分幾何学的構造（曲率）の積分とその曲面の大域的な位相幾何学的構造（オイラー標数）とを結び付ける重要な定理である。

この定理はカルル・フリードリッヒ・ガウス(Carl Friedrich Gauss)が1827年に論文^[2]で測地線で囲まれた三角形の場合に対して証明し^[3]、ピエール・オシアン・ボンネが1848年に論文^[4]で一般の曲面に対して定理を示した^[3]。なおJacques BinetがBonnetとは独立に一般の場合を示していたが、Binetは成果を発表しなかった^[3]。

定理[編集]

多角形の場合[編集]

定理 (多角形に関するガウス・ボンネの定理^{[注 3]}) ― $A$ を $n$ 個の頂点を持つ（向きづけられた）多角形にリーマン計量を入れたものとする^{[注 1]}。このとき

\int _{A}KdV+\int _{\partial A}\kappa ds+\sum _{i=1}^{n}\varepsilon _{i}=2\pi

が成立する^[5]。ここで $K$ は $A$ の断面曲率であり、 $dV$ は $A$ の面積要素であり、 $\partialA$ は $A$ の辺に $A$ から定まる向きを入れたものであり、 $κ$ は $\partialA$ の曲率（測地線曲率（英語版）^{[訳語疑問点]}）であり、 $ds$ は線素であり、 $ε i$ は多角形 $A$ の $i$ 番目の頂点の外角の大きさである。 $κ$ は $A$ に対して内向きなとき正となるように符号付けする^{[注 2]}。

上記の定理で断面曲率（英: sectional curvature）は、リーマン計量 $g$ とリーマンの曲率テンソル $R$ を用いて $A$ の各点 $P$ に対し、

K_{P}:=g_{P}(R_{P}(e_{1},e_{2})e_{2},e_{1})

により定義される量である^[8]。ここで $e 1 、e 2$ は点 $P$ における $T P P$ の基底である。断面曲率が $e 1 、e 2$ の取り方によらずwell-definedである事は容易に確認できる。

向き付け可能なコンパクト2次元リーマン多様体の場合[編集]

与えられた向き付け可能な曲面 $M$ を三角形分割して上記の定理を適用する事により、任意の向き付け可能な2次元リーマン多様体に対し以下が成立する事がわかる：

定理 (向き付け可能曲面に対するガウス・ボンネの定理) ― $M$ をコンパクトで向き付け可能な $C \infty$ 級2次元部分リーマン多様体で縁 $\partialM$ が区分的になめらかなものとする。さらに $v_{1},\ldots ,v_{n}$ を $\partialM$ がなめらかではない点とし、 $ε i$ を $v i$ における $\partialM$ の外角とする。このとき、

\int _{M}KdV+\int _{\partial M}\kappa ds+\sum _{i=1}^{n}\varepsilon _{i}=2\pi \chi (M)

が成立する^[9]。ここで $χ (M)$ は $M$ のオイラー標数である。上式の記号の意味に関しては多角形に関するガウス・ボンネの定理と同様である。

$M$ が多角形であれば、 $χ (M)= 1$ であるので、上記の定理は前述した多角形に対するガウス・ボンネの定理の一般化になっている。

向き付け不能な場合[編集]

$M$ が向き付け不能であっても、面積要素による積分 $\int dV$ の代わりに向きを考えない面積要素による積分 $\int |dV|$ を用いる事で、ガウス・ボンネの定理を向き付け不能な曲面に対して一般化できる：

定理 (向き付け可能性を問わないガウス・ボンネの定理) ― $M$ をコンパクトな $C \infty$ 級2次元部分リーマン多様体で縁 $\partialM$ が区分的になめらかなものとする。さらに $v_{1},\ldots ,v_{n}$ を $\partialM$ がなめらかではない点とし、 $ε i$ を $v i$ における $\partialM$ の外角とする。このとき、

\int _{M}K|dV|+\int _{\partial M}\kappa ds+\sum _{i=1}^{n}\varepsilon _{i}=2\pi \chi (M)

が成立する^[10]。

任意の向き付け不能な多様体は向き付け可能な２重被覆（orientation covering）を持つので、上記の定理は前述した向き付け可能な場合から容易に従う。

定曲率の場合[編集]

任意の点における断面曲率が一定値 $c$ である2次元リーマン多様体を定曲率 $c$ の2次元リーマン多様体という。 $A$ が定曲率の多角形で、しかも $A$ の辺が測地線である場合は以下の系が従う：

系 (定曲率曲面の多角形) ― $c$ を実数とする。さらに $A$ を $n$ 個の頂点を持つ（向きづけられた）多角形にリーマン計量を入れたもので、 $A$ が定曲率 $c$ を持ち、さらに $A$ の各辺が測地線であるものとする。このとき次が成立する。ここで $area(A)$ は $A$ の面積である：

c\cdot \mathrm {area} (A)+\sum _{i=1}^{n}\varepsilon _{i}=2\pi

断面曲率 $c$ が $0$ であれば、上記の系は多角形の外角の和が $2π$ になるというユークリッド幾何学の古典的な定理に一致する。 $c = 1$ 、 $c =- 1$ の場合もそれぞれ球面幾何学（球面三角法）、双曲幾何学でよく知られた多角形の面積公式に一致する。

向き付け可能な縁無しコンパクトリーマン多様体 $M$ に対しても同様に

c\cdot \mathrm {area} (M)+\sum _{i=1}^{n}\varepsilon _{i}=2\pi \chi (M)

である事が導ける。 $M$ の種数が $g$ で縁がない場合、 $\chi (M)=2-2g$ なので、上記の事実と合わせると、コンパクト縁無し向き付け可能2次元リーマン多様体 $M$ が定曲率 $c$ を持つ場合、

{\begin{array}{ll}c>1&{\text{if }}g=0\\c=0&{\text{if }}g=1\\c<1&{\text{if }}g\geq 2\end{array}}

が成立する事がわかる。実はこの条件下、実際に定曲率構造が $M$ に入る事が知られている。すなわち $g =0$ の場合は単位球面、 $g =1$ の場合はユークリッド平面を格子で割ったトーラスとして曲率 $1$ 、 $0$ の計量が入る。また $g$ が $2$ 以上の場合には曲率 $-1$ の計量が入る（パンツ分解により具体的に構成できる）。ただし $g =1$ 、および $g ≧2$ の場合は定曲率構造は一意ではなく、「定曲率構造全体の空間」はモジュライ空間をなす。

$ℝ 3$ 内の曲面の場合[編集]

本節では、 $M$ が $ℝ 3$ 内の（ $C \infty$ 級の）曲面で、 $M$ には $ℝ 3$ の内積から定まるリーマン計量が入っている場合に対し、ガウス・ボンネの定理の幾何学的な意味を見る。

このために断面曲率の幾何学的意味を見る。まず、 $M$ が $ℝ 3$ 内の曲面の場合には $M$ の断面曲率はガウス曲率に一致する：

定理 (Theorema Egregium) ― $\mathbb {R} ^{3}$ の二次元部分多様体 $M\subset \mathbb {R} ^{3}$ に対し、点 $P$ におけるガウス曲率は点 $P$ における断面曲率と一致する^[11]。

ここで点 $P$ における曲面 $M$ のガウス曲率は、 $T P M$ の単位ベクトル $e$ に対し、 $M$ 上の測地線 $\mathrm {exp} (te)$ の $ℝ 3$ における曲率を $\kappa (e)$ としたとき、 $\kappa (e)$ が最大となるもの $\kappa (e_{1})$ と最小となるもの $\kappa (e_{2})$ の積で与えられる。

次に $M$ の各点 $P$ に対し、 $η P$ を $P$ における $M$ の単位法線とする。単位法線は符号をつける事で２本存在するが、 $M\subset \mathbb {R} ^{3}$ が向き付け可能な場合には、 $η P$ が $P$ に関して連続になるように選ぶ事ができる。

各点 $P \in M$ に対し、ベクトル $η P$ は長さ $1$ のベクトルなので、 $η P$ を原点中心の単位球 $S 2$ の元とみなす事ができる。このようにみなす事で定義できる写像

G~:~P\in M\mapsto \eta _{P}\in S^{2}

をガウス写像（英: Gauss map^[12]、英: Gauss spherical mapping^[13]）という。

ガウス写像はガウス曲率と以下の関係を満たす：

定理 (ガウス写像によるガウス曲率の意味付け) ― $M$ 、 $S 2$ の体積要素をそれぞれ $dV$ 、 $dV'$ とするとき、ガウス写像が誘導する写像

G^{*}~:~\bigwedge ^{2}T_{G(P)}^{*}S^{2}\to \bigwedge ^{2}T_{P}^{*}M

は、

G^{*}(dV'_{G(P)})=K_{P}dV_{P}

を満たす。ここで $K P$ は点 $P$ における $M$ のガウス曲率である^[12]。

ガウス写像 $G~:~M\to S^{2}$ が（写像が退化していない点に対して） $n$ ： $1$ の写像になっているとき、 $n$ の事をガウス写像の写像度という^{[注 4]}。上記の定理から、 $M$ 上でガウス曲率を積分したものは、 $S 2$ の面積に写像度をかけた値になる事が予想される。

上記の直観はド・ラームコホモロジーの一般論で正当化でき、以下の結論が従う：

定理 ― $M\subset \mathbb {R} ^{3}$ が連結でコンパクトで縁がなければ、ガウス写像 $G~:~M\to S^{2}$ の写像度 $\mathrm {deg} (G)$ は

\mathrm {deg} (G)={\int _{M}G^{*}(dV') \over \int _{S^{2}}dV'}={\int _{M}KdV \over 4\pi }

に等しい^[14]。

すなわち、断面曲率 $K$ の $M$ 上の積分はガウス写像の写像度の $4π$ 倍に等しいが、ガウス・ボンネの定理は、このガウス写像の写像度が $M$ のオイラー標数の1/2に等しい事を意味する。

組み合わせ論的な類似[編集]

ガウス・ボンネの定理にはいくつかの組み合わせ論的な類似が成り立つ。 $M$ を有限な 2次元擬多様体（英語版）(pseudo-manifold)とし、 $\chi (v)$ を頂点 $v$ を持つ三角形の数とすると、

\sum _{v\in {\mathrm {int} }{M}}(6-\chi (v))+\sum _{v\in \partial M}(3-\chi (v))=6\chi (M)

が成り立つ。ここに最初の和は $M$ の内部の頂点を渡り、第二の和は境界上の頂点の和をとり、 $\chi (M)$ は $M$ のオイラー標数を表す。

三角形を頂点の多い多角形に置き換えても、2-次元擬多様体に対しては同じ公式が成り立つ。n 頂点の多角形に対しては、式の中の 3 と 6 をそれぞれ n/(n-2) と 2n/(n-2) に置き換えればよい。例えば、四角形に対し、それぞれ式の中の 3 と 6 を 2 と 4 へと置き換えればよい。さらに特別な場合は、 $M$ が閉じた 2-次元のデジタル多様体（英語版）(digital manifold)であれば、種数は、

g=1+(M_{5}+2M_{6}-M_{3})/8,\

となる^[15]。ここに $M_{i}$ は曲面上で $i$ 個の隣接点を持つような曲面上の点の数を表している。

一般化[編集]

必ずしもコンパクトではない 2-次元多様体への一般化は、コーン・ヴォッセンの不等式（英語版）(Cohn-Vossen's inequality)である。

ガウス・ボンネの定理は偶数次元のリーマン多様体に一般化でき、チャーン・ガウス・ボンネの定理と呼ばれる。この定理は曲率から定まる「オイラー形式」の積分がその多様体のオイラー標数に一致する、という形で記述される。最初の証明はカール・アレンドエルファー（英語版）^{[訳語疑問点]}(Carl Allendoerfer)とアンドレ・ヴェイユ(André Weil)によって1943年に得られたが^[16]、この証明は非常に複雑なものであった^[16]。

1944年、S. S. チャーン（陳省身）はたった6ページの論文でチャーン・ガウス・ボンネの定理を示した^[16]。チャーンはさらにこの証明のアイデアを発展させ、チャーン・ヴェイユ理論を確立した。この理論はベクトルバンドルの曲率を特性類と結びつけるもので、この理論を使うことでチャーン・ガウス・ボンネの定理は「ファイバーの次元が偶数の計量ベクトルバンドルのオイラー形式が表すド・ラームコホモロジー類はオイラー類に等しい」という形に一般化される。接バンドルに対するこの定理が前述のチャーン・ガウス・ボンネの定理に一致する。

なおガウス・ボンネの定理の奇数次元への一般化は、自明なものになってしまい、チャーンは奇数次元の場合はオイラー形式が恒等的に0になってしまう事を示している^[17]。奇数次元閉多様体のオイラー標数が常に0になるので、以上のことから奇数次元のガウス・ボンネの定理は「0の積分は0」というものになってしまう。

チャーン・ガウス・ボンネの定理の非常に広汎な一般化としてアティヤ・シンガーの指数定理があり、この定理はチャーン・ガウス・ボンネの定理のみならず、ヒルツェブルフ・リーマン・ロッホの定理やヒルツェブルフの符号数定理（英語版）の一般化にもなっている。

参考文献[編集]

小林昭七『曲線と曲面の微分幾何』裳華房〈基礎数学選書 17〉、1977年8月20日。ASIN B000J8X6V8。ISBN 4-7853-1119-3。
Marco Abate, Francesca Tovena (2011/10/6). Curves and Surfaces. UNITEXT. Springer. ISBN 978-8847019409
Chenchang Zhu. “THE GAUSS-BONNET THEOREM AND ITS APPLICATIONS”. カリフォルニア大学バークレー校. 2023年3月16日閲覧。
Hung-Hsi Wu (1997/9/23). Historical development of the Gauss-Bonnet theorem. Science in China Series A: Mathematics vol. 51, No.4. Springer
Loring W. Tu (2017/6/15). Differential Geometry: Connections, Curvature, and Characteristic Classes. Graduate Texts in Mathematics. 275. Springer. ISBN 978-3319550824
Marcel Berger (2003/6/15). A Panoramic View of Riemannian Geometry. Springer. ISBN 978-3540653172
John M. Lee (1997/9/23). Riemannean Manifolds An introduction to curvature.. Graduate Texts in Mathematics. 176. Springer. ISBN 978-0387983226
Manfredo P. do Carmo Francis Flaherty訳 (1994/2/24). Riemannian Geometry. Mathematics: Theory & Applications. Birkhauser Boston. ISBN 978-0817634902
Yin Li. “The Gauss-Bonnet-Chern Theorem on Riemannian Manifolds” (PDF). 2023年5月18日閲覧。

プロジェクト数学

ポータル数学

脚注[編集]

出典[編集]

^ #小林77 p.173.
^ C. F. Gauss『Disquisitiones generales circa superficies curvas』1827年。
^ ^a ^b ^c #Wu p.1.
^ O. Bonnet (1848). “Mémoire sur la thé orie géné rale des surfaces”. J. de l’Ecole Poly-technique (Tome 19, Cahier 32): 1-146.
^ #小林77 p.128.
^ #Berger pp.112,138.
^ #Lee pp.164,167.
^ #Tu p.92.
^ #Abate p.319
^ #Gilkey p.126
^ #Carmo p.131.
^ ^a ^b #Lee p.151.
^ #Carmo p.129
^ #Zhu pp.1-2.
^ Chen L and Rong Y, Linear Time Recognition Algorithms for Topological Invariants in 3D, arXiv:0804.1982, ICPR 2008
^ ^a ^b ^c #Li p.4.
^ #Li p.17.

注釈[編集]

^ すなわち $A$ は2次元円盤と位相同型なC∞級の多様体であり、 $\partialA$ は区分的になめらかであり、 $\partialA$ がなめらかでない部分を多角形の頂点とみなす。 $\partialA$ は区分的になめらかなので、各頂点において右方微分と左方微分が定義でき、（ $A$ 上のリーマン計量で角度を定義したとき）右方微分と左方微分のなす角を外角と定義する。
^ すなわち、 $P(s)$ を $\partialA$ に沿った曲線（を弧長パラメータでパラメとライズしたもの）とし、 ${\vec {n}}$ を $A$ に対して内向きな $\partialA$ の単位法線とするとき、 $\kappa =g({\tfrac {d^{2}P}{ds^{2}}},{\vec {n}})$ と定義する。
^ この多角形のバージョンのガウス・ボンネの定理をlocal Gauss-Bonnet Theorem、オイラー標数を使った一般のバージョンをglobal Gauss-Bonnet Theoremと呼んで区別するもの^[6]や、多角形のバージョンをGauss-Bonnet Formula、一般のバージョンをGauss-Bonnet Theoremと呼んで区別するもの^[7]がある。
^ 写像度の定義はいくつかあるが、ここで述べた定義は $G$ 上でヤコビ行列が退化している点が有限個である場合の定義である。より厳密には、写像度を以下のように定義する。 $S 2$ 上の点 $y$ を $1$ つfixし、 $G -1 (y)$ の各点を $x_{1},\ldots ,x_{m}\in M$ とする。そして各 $x i$ の近傍でガウス写像 $G$ が向きを保つときは $+1$ 、向きを反転するときは $-1$ として和を取ったものを $G$ の写像度という。
なお、 $G$ が退化していない任意の $y$ に対して上記のように定義した写像度は $y$ に依存せず同じ値になるので、写像度はwell-definedである。
写像度の別定義として $G$ がコホモロジーに誘導する写像 $G^{*}~:~H^{*}(S^{2};\mathbb {Z} )\approx \mathbb {Z} \to H^{*}(M;\mathbb {Z} )\approx \mathbb {Z}$ で $1$ の像 $G * (1)$ の値として定義する、というものがある。
前述した定義は、 $G$ が有限個の点を除いて非退化であればこの定義と同値である。

外部リンク[編集]

[1] #小林77 p.173.

[2] C. F. Gauss『Disquisitiones generales circa superficies curvas』1827年。

[:0-3] #Wu p.1.

[4] O. Bonnet (1848). “Mémoire sur la thé orie géné rale des surfaces”. J. de l’Ecole Poly-technique (Tome 19, Cahier 32): 1-146.

[6] #小林77 p.128.

[8] #Berger pp.112,138.

[9] #Lee pp.164,167.

[11] #Tu p.92.

[12] #Abate p.319

[13] #Gilkey p.126

[Carmo131-14] #Carmo p.131.

[Lee151-15] #Lee p.151.

[Carmo129-16] #Carmo p.129

[Zhu1-2-18] #Zhu pp.1-2.

[19] Chen L and Rong Y, Linear Time Recognition Algorithms for Topological Invariants in 3D, arXiv:0804.1982, ICPR 2008

[:1-20] #Li p.4.

[21] #Li p.17.

[5] すなわち $A$ は2次元円盤と位相同型なC∞級の多様体であり、 $\partialA$ は区分的になめらかであり、 $\partialA$ がなめらかでない部分を多角形の頂点とみなす。 $\partialA$ は区分的になめらかなので、各頂点において右方微分と左方微分が定義でき、（ $A$ 上のリーマン計量で角度を定義したとき）右方微分と左方微分のなす角を外角と定義する。

[7] すなわち、 $P(s)$ を $\partialA$ に沿った曲線（を弧長パラメータでパラメとライズしたもの）とし、 ${\vec {n}}$ を $A$ に対して内向きな $\partialA$ の単位法線とするとき、 $\kappa =g({\tfrac {d^{2}P}{ds^{2}}},{\vec {n}})$ と定義する。

[10] この多角形のバージョンのガウス・ボンネの定理をlocal Gauss-Bonnet Theorem、オイラー標数を使った一般のバージョンをglobal Gauss-Bonnet Theoremと呼んで区別するもの^[6]や、多角形のバージョンをGauss-Bonnet Formula、一般のバージョンをGauss-Bonnet Theoremと呼んで区別するもの^[7]がある。

[17] 写像度の定義はいくつかあるが、ここで述べた定義は $G$ 上でヤコビ行列が退化している点が有限個である場合の定義である。より厳密には、写像度を以下のように定義する。 $S 2$ 上の点 $y$ を $1$ つfixし、 $G -1 (y)$ の各点を $x_{1},\ldots ,x_{m}\in M$ とする。そして各 $x i$ の近傍でガウス写像 $G$ が向きを保つときは $+1$ 、向きを反転するときは $-1$ として和を取ったものを $G$ の写像度という。
なお、 $G$ が退化していない任意の $y$ に対して上記のように定義した写像度は $y$ に依存せず同じ値になるので、写像度はwell-definedである。
写像度の別定義として $G$ がコホモロジーに誘導する写像 $G^{*}~:~H^{*}(S^{2};\mathbb {Z} )\approx \mathbb {Z} \to H^{*}(M;\mathbb {Z} )\approx \mathbb {Z}$ で $1$ の像 $G * (1)$ の値として定義する、というものがある。
前述した定義は、 $G$ が有限個の点を除いて非退化であればこの定義と同値である。

[1]

[2]

[3]

[4]

[注 3]

[注 1]

[5]

[注 2]

[8]

[9]

[10]

[11]

[12]

[13]

[注 4]

[14]

[15]

[16]

[17]

[6]

[7]

表話編歴微分幾何学において定義される様々な曲率の概念
曲線の微分幾何学（英語版）	曲率捩率フルネ・セレの公式曲率半径 (応用)（英語版）アフィン曲率（英語版）全曲率（英語版）全絶対曲率（英語版）
リーマン幾何学	リーマン多様体の曲率（英語版）リーマン曲率テンソルリッチ曲率スカラー曲率断面曲率
部分リーマン多様体の曲率	主曲率ガウス曲率平均曲率（英語版）ダルブー標高（英語版）ガウス・コダッチ方程式（英語版）第一基本形式第二基本形式第三基本形式（英語版） Theorema Egregium
接続の曲率（英語版）	曲率形式捩率テンソル余曲率（英語版）ホロノミー（英語版）