ガウス・ボネの定理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/03/16 03:25 UTC 版)
原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳があることが判明しています。情報の利用には注意してください。 |
微分幾何学において、ガウス・ボンネの定理[1](Gauss–Bonnet theorem)、あるいはガウス・ボンネの公式(Gauss–Bonnet formula)は、(曲率の意味で)曲面の幾何学と(オイラー標数の意味での)曲面のトポロジーと結びつける重要な定理である。命名はこの定理に最初に気づいたが出版しなかったカール・フリードリッヒ・ガウス(Carl Friedrich Gauss)と、1848年に特殊な場合について出版したピエール・オシアン・ボンネ(Pierre Ossian Bonnet)にちなんでいる。
定理の内容
- ^ 小林昭七 『曲線と曲面の微分幾何』裳華房〈基礎数学選書 17〉、1977年8月20日、173頁。ASIN B000J8X6V8。ISBN 4-7853-1119-3。
- ^ Chen L and Rong Y, Linear Time Recognition Algorithms for Topological Invariants in 3D, arXiv:0804.1982, ICPR 2008
外部リンク
- Hazewinkel, Michiel, ed. (2001), "Gauss-Bonnet theorem", Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。
- Gauss–Bonnet Theorem at Wolfram Mathworld
ガウス・ボンネの定理
(ガウス-ボネの定理 から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/11/08 07:53 UTC 版)
ガウス・ボンネの定理[1](Gauss–Bonnet theorem)は、リーマン計量が定義された曲面における曲率の積分がその曲面のオイラー標数で表せる、という趣旨の定理である。これは曲面の局所的な微分幾何学的構造(曲率)の積分とその曲面の大域的な位相幾何学的構造(オイラー標数)とを結び付ける重要な定理である。
出典
- ^ #小林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∞級の多様体であり、∂Aは区分的になめらかであり、∂Aがなめらかでない部分を多角形の頂点とみなす。∂Aは区分的になめらかなので、各頂点において右方微分と左方微分が定義でき、(A上のリーマン計量で角度を定義したとき)右方微分と左方微分のなす角を外角と定義する。
- ^ すなわち、を∂Aに沿った曲線(を弧長パラメータでパラメとライズしたもの)とし、をAに対して内向きな∂Aの単位法線とするとき、と定義する。
- ^ この多角形のバージョンのガウス・ボンネの定理をlocal Gauss-Bonnet Theorem、オイラー標数を使った一般のバージョンをglobal Gauss-Bonnet Theoremと呼んで区別するもの[6]や、多角形のバージョンをGauss-Bonnet Formula、一般のバージョンをGauss-Bonnet Theoremと呼んで区別するもの[7]がある。
- ^ 写像度の定義はいくつかあるが、ここで述べた定義はG上でヤコビ行列が退化している点が有限個である場合の定義である。 より厳密には、写像度を以下のように定義する。S2上の点yを1つfixし、G-1(y)の各点をとする。そして各xiの近傍でガウス写像Gが向きを保つときは+1、向きを反転するときは-1として和を取ったものをGの写像度という。
なお、Gが退化していない任意のyに対して上記のように定義した写像度はyに依存せず同じ値になるので、写像度はwell-definedである。
写像度の別定義としてGがコホモロジーに誘導する写像で1の像G*(1)の値として定義する、というものがある。
前述した定義は、Gが有限個の点を除いて非退化であればこの定義と同値である。
- 1 ガウス・ボンネの定理とは
- 2 ガウス・ボンネの定理の概要
- 3 ℝ3内の曲面の場合
- 4 組み合わせ論的な類似
- 5 一般化
- 6 参考文献
- 7 関連項目