ガウス・ボネの定理とは - わかりやすく解説 Weblio辞書

ガウス・ボネの定理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/03/16 03:25 UTC 版)

原文と比べた結果、この記事には多数の（または内容の大部分に影響ある）誤訳があることが判明しています。情報の利用には注意してください。正確な表現に改訳できる方を求めています。

ガウス・ボンネの定理を適用できる複素領域の例、測地線曲率の符号を表している。

微分幾何学において、ガウス・ボンネの定理^[1](Gauss–Bonnet theorem)、あるいはガウス・ボンネの公式(Gauss–Bonnet formula)は、（曲率の意味で）曲面の幾何学と（オイラー標数の意味での）曲面のトポロジーと結びつける重要な定理である。命名はこの定理に最初に気づいたが出版しなかったカール・フリードリッヒ・ガウス(Carl Friedrich Gauss)と、1848年に特殊な場合について出版したピエール・オシアン・ボンネ（英語版）(Pierre Ossian Bonnet)にちなんでいる。

定理の内容

$M$

プロジェクト数学

ガウス・ボンネの定理

(ガウス・ボネの定理から転送)

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/08/28 23:59 UTC 版)

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

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

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

定理

多角形の場合

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

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

プロジェクト数学

脚注

出典

^ #小林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)$

ガウス・ボネの定理とは？わかりやすく解説