ガウス・ボンネの定理
ガウス・ボンネの定理[1](Gauss–Bonnet theorem)は、リーマン計量が定義された曲面における曲率の積分がその曲面のオイラー標数で表せる、という趣旨の定理である。これは曲面の局所的な微分幾何学的構造(曲率)の積分とその曲面の大域的な位相幾何学的構造(オイラー標数)とを結び付ける重要な定理である。
この定理はカール・フリードリヒ・ガウスが1827年に論文[2]で測地線で囲まれた三角形の場合に対して証明し[3]、ピエール・オシアン・ボンネが1848年に論文[4]で一般の曲面に対して定理を示した[3]。なおジャック・フィリップ・マリー・ビネがボンネとは独立に一般の場合を示していたが、ビネは成果を発表しなかった[3]。
定理
編集多角形の場合
編集定理 (多角形に関するガウス・ボンネの定理[注 3]) ― Aをn個の頂点を持つ(向きづけられた)多角形にリーマン計量を入れたものとする[注 1]。このとき
が成立する[5]。ここでKはAの断面曲率であり、dVはAの面積要素であり、∂AはAの辺にAから定まる向きを入れたものであり、κは∂Aの曲率(測地的曲率[訳語疑問点])であり、dsは線素であり、εiは多角形Aのi番目の頂点の外角の大きさである。κはAに対して内向きなとき正となるように符号付けする[注 2]。
上記の定理で断面曲率(英: sectional curvature)は、リーマン計量gとリーマンの曲率テンソルRを用いてAの各点Pに対し、
により定義される量である[8]。ここでe1、e2は点PにおけるTPPの基底である。断面曲率がe1、e2の取り方によらずwell-definedである事は容易に確認できる。
向き付け可能なコンパクト2次元リーマン多様体の場合
編集与えられた向き付け可能な曲面Mを三角形分割して上記の定理を適用する事により、任意の向き付け可能な2次元リーマン多様体に対し以下が成立する事がわかる:
定理 (向き付け可能曲面に対するガウス・ボンネの定理) ― Mをコンパクトで向き付け可能なC∞級2次元部分リーマン多様体で縁∂Mが区分的になめらかなものとする。 さらに を∂Mがなめらかではない点とし、εiをviにおける∂Mの外角とする。このとき、
が成立する[9]。ここでχ(M)はMのオイラー標数である。 上式の記号の意味に関しては多角形に関するガウス・ボンネの定理と同様である。
Mが多角形であれば、χ(M)=1であるので、上記の定理は前述した多角形に対するガウス・ボンネの定理の一般化になっている。
向き付け不能な場合
編集Mが向き付け不能であっても、面積要素による積分 の代わりに向きを考えない面積要素による積分 を用いる事で、ガウス・ボンネの定理を向き付け不能な曲面に対して一般化できる:
定理 (向き付け可能性を問わないガウス・ボンネの定理) ― MをコンパクトなC∞級2次元部分リーマン多様体で縁∂Mが区分的になめらかなものとする。 さらに を∂Mがなめらかではない点とし、εiをviにおける∂Mの外角とする。このとき、
が成立する[10]。
任意の向き付け不能な多様体は向き付け可能な2重被覆(orientation covering)を持つので、上記の定理は前述した向き付け可能な場合から容易に従う。
定曲率の場合
編集任意の点における断面曲率が一定値cである2次元リーマン多様体を定曲率cの2次元リーマン多様体という。Aが定曲率の多角形で、しかもAの辺が測地線である場合は以下の系が従う:
系 (定曲率曲面の多角形) ― cを実数とする。さらにAをn個の頂点を持つ(向きづけられた)多角形にリーマン計量を入れたもので、Aが定曲率cを持ち、さらにAの各辺が測地線であるものとする。このとき次が成立する。ここでarea(A)はAの面積である:
断面曲率cが0であれば、上記の系は多角形の外角の和が2πになるというユークリッド幾何学の古典的な定理に一致する。c=1、c=-1の場合もそれぞれ球面幾何学(球面三角法)、双曲幾何学でよく知られた多角形の面積公式に一致する。
向き付け可能な縁無しコンパクトリーマン多様体Mに対しても同様に
である事が導ける。Mの種数がgで縁がない場合、 なので、上記の事実と合わせると、コンパクト縁無し向き付け可能2次元リーマン多様体Mが定曲率cを持つ場合、
が成立する事がわかる。実はこの条件下、実際に定曲率構造がMに入る事が知られている。すなわちg=0の場合は単位球面、g=1の場合はユークリッド平面を格子で割ったトーラスとして曲率1、0の計量が入る。またgが2以上の場合には曲率-1の計量が入る(パンツ分解により具体的に構成できる)。ただしg=1、およびg≧2の場合は定曲率構造は一意ではなく、「定曲率構造全体の空間」はモジュライ空間をなす。
ℝ3内の曲面の場合
編集本節では、Mがℝ3内の(C∞級の)曲面で、Mにはℝ3の内積から定まるリーマン計量が入っている場合に対し、ガウス・ボンネの定理の幾何学的な意味を見る。
このために断面曲率の幾何学的意味を見る。まず、Mがℝ3内の曲面の場合にはMの断面曲率はガウス曲率に一致する:
定理 (Theorema Egregium) ― の二次元部分多様体 に対し、点Pにおけるガウス曲率は点Pにおける断面曲率と一致する[11]。
ここで点Pにおける曲面Mのガウス曲率は、TPMの単位ベクトルeに対し、M上の測地線 のℝ3における曲率を としたとき、 が最大となるもの と最小となるもの の積で与えられる。
次にMの各点Pに対し、ηPをPにおけるMの単位法線とする。単位法線は符号をつける事で2本存在するが、 が向き付け可能な場合には、ηPがPに関して連続になるように選ぶ事ができる。
各点P∈Mに対し、ベクトルηPは長さ1のベクトルなので、ηPを原点中心の単位球S2の元とみなす事ができる。このようにみなす事で定義できる写像
をガウス写像(英: Gauss map[12]、英: Gauss spherical mapping[13])という。
ガウス写像はガウス曲率と以下の関係を満たす:
ガウス写像 が(写像が退化していない点に対して)n:1の写像になっているとき、nの事をガウス写像の写像度という[注 4]。上記の定理から、M上でガウス曲率を積分したものは、S2の面積に写像度をかけた値になる事が予想される。
上記の直観はド・ラームコホモロジーの一般論で正当化でき、以下の結論が従う:
すなわち、断面曲率KのM上の積分はガウス写像の写像度の4π倍に等しいが、ガウス・ボンネの定理は、このガウス写像の写像度がMのオイラー標数の1/2に等しい事を意味する。
組み合わせ論的な類似
編集ガウス・ボンネの定理にはいくつかの組み合わせ論的な類似が成り立つ。 を有限な 2次元擬多様体(pseudo-manifold)とし、 を頂点 を持つ三角形の数とすると、
が成り立つ。ここに最初の和は の内部の頂点を渡り、第二の和は境界上の頂点の和をとり、 は のオイラー標数を表す。
三角形を頂点の多い多角形に置き換えても、2-次元擬多様体に対しては同じ公式が成り立つ。n 頂点の多角形に対しては、式の中の 3 と 6 をそれぞれ n/(n-2) と 2n/(n-2) に置き換えればよい。例えば、四角形に対し、それぞれ式の中の 3 と 6 を 2 と 4 へと置き換えればよい。さらに特別な場合は、 が閉じた 2-次元のデジタル多様体(digital manifold)であれば、種数は、
となる[15]。ここに は曲面上で 個の隣接点を持つような曲面上の点の数を表している。
一般化
編集必ずしもコンパクトではない 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∞級の多様体であり、∂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が有限個の点を除いて非退化であればこの定義と同値である。
関連項目
編集- 部分リーマン多様体の接続と曲率:高次元の場合のガウス・ボンネの定理について記載
外部リンク
編集- Hazewinkel, Michiel, ed. (2001), “Gauss-Bonnet theorem”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Gauss–Bonnet Theorem at Wolfram Mathworld