Theorema Egregium

数学 > 幾何学 > 多様体論 > 微分幾何学 > リーマン多様体 > 部分リーマン多様体の接続と曲率 > Theorema Egregium Theorema Egregium（ラテン語。音訳：テオーレーマ・エーグレギウム。直訳：卓越した定理）はカール・フリードリヒ・ガウスにより証明された定理で、曲面のガウス曲率が曲面の内在的な量（リーマン計量）のみで書ける事を主張する。 日本語では 「最も素晴らしい定理」 「驚異の定理」 「Gaussの基本定理」 「抜群の定理」 などと訳される事もあるが、egregiumには「驚異の」という意味はない。英語では「Remarkable Theorem」（注目すべき定理）と意訳する事もある。 「Theorema Egregium」という語はこの定理を示したガウスの原論文から来ている： Formula itaque art. praec, sponte perducit ad egregium THEOREMA. Si superficies curva in quamcunque aliam superficiem explicatur, mensura curuaturae in singulis punctis inuariata manet. — Carl Friedrich Gauss、Disquisitiones generales circa superficies curvas したがって前項の公式それ自身が導く、卓越した 定理. もし曲面が他の任意の曲面にどのように発展したとしても、各点における曲率の大きさは不変である。 — カール・フリードリヒ・ガウス、曲面の一般的考察 Mを3次元ユークリッド空間 R 3 {\displaystyle \mathbb {R} ^{3}} 内の曲面とし、PをM上の点とする。点PにおいてMの「最も曲がっている方向」の曲がり具合と「最も曲がっていない方向」の曲がり具合の積を点PにおけるMのガウス曲率という。（ただし図のようにPが鞍点になっている場合は、逆方向の曲がりをマイナスの曲がり具合と解釈する。よってこの場合の「最も曲がっていない方向」とは「逆向きに最も曲がっている方向」である）。 ガウス曲率はその定義より、 R 3 {\displaystyle \mathbb {R} ^{3}} におけるMの曲がり具合を利用して定義されている為、 R 3 {\displaystyle \mathbb {R} ^{3}} においてMがどのような形になっているかが一見重要に見える。 しかし実はガウス曲率はMの「外の空間」である R 3 {\displaystyle \mathbb {R} ^{3}} とは無関係に計算できる、というのがTheorema Egregiumの趣旨である。具体的にはガウス曲率はMの距離空間としての構造（厳密にはリーマン計量）のみから計算できる。 したがって、 R 3 {\displaystyle \mathbb {R} ^{3}} 内でMを変形しても、その変形がMの距離構造を変えない限り、ガウス曲率は変わらない。例えばカテノイド（英語版）（＝懸垂面）とヘリコイド（英語版）（＝螺旋面）は見た目は大きく異なるが、両者の距離構造は同じなので、ガウス曲率は変わらない。 このように「外の空間」とは無関係にMの情報だけを用いて計算できる量をMに内在的な(英: intrinsic)量であるという。Theorema Egregiumは、ガウス曲率がMの内在的な量である事を意味している。 Theorema Egregiumを使うと、地球の地図を書くとき距離を歪ませない正確な地図は書けない事を示す事ができる。実際、もし正確な地図が書けるなら、地球と地図（すなわち球面と平面）の距離構造は同一なので、Theorema Egregiumより両者のガウス曲率は等しくなければならないが、球面のガウス曲率は半径をRとすると1/R2であり、平面のガウス曲率は0である事が知られているので、これは矛盾である。 なお、ガウスがTheorema Egregiumなどの曲面論（ガウスの曲面論（英語版））を研究したきっかけは、国家の測量を依頼されたためであった。 ベルンハルト・リーマンはTheorema Egregiumに着目する事により、「外の空間」なしのn次元曲面、すなわちn次元リーマン多様体を定義し、これが今日の微分幾何学の研究の嚆矢となった。 さらにアルベルト・アインシュタインは、重力の座標変換則がリーマン多様体のそれとよく似ている事に着目し、宇宙をリーマン多様体の類似物（擬リーマン多様体）と見なすことで一般相対性理論を確立した。 Theorema Egregiumは以下のように定式化できる： 定理 ―  R 3 {\displaystyle \mathbb {R} ^{3}} 内の曲面Mに対し、Mのガウス曲率はMの第一基本形式（およびその2階以下の偏微分）のみを用いて記述できる。 なお、第一基本形式は現代的な言い方では「リーマン計量」と呼ばれる。 具体的には第一基本形式を I = E d u 2 + 2 F d u d v + G d v 2 . {\displaystyle I=E\,du^{2}+2F\,du\,dv+G\,dv^{2}.\,} とするとき、ガウス曲率Kはブリオスキの公式（英語版） K = det | − 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 | − det | 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 {\det {\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}}-\det {\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}}}} により記述できる。ここでEuはEのu-偏微分を表す。 リーマン多様体の言葉を使うと、Theorema Egregiumを以下のように再定式化できる。 M ⊂ R 3 {\displaystyle M\subset \mathbb {R} ^{3}} を R 3 {\displaystyle \mathbb {R} ^{3}} のC∞級部分多様体とし、Mに R 3 {\displaystyle \mathbb {R} ^{3}} の内積から誘導されるリーマン計量gを入れ、gが定めるレヴィ・チヴィタ接続（共変微分）を∇とし、リーマンの曲率テンソルRを R ( X , Y ) Z := ∇ X ∇ Y Z − ∇ Y ∇ X Z − ∇ [ X , Y ] Z {\displaystyle R(X,Y)Z:=\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z} により定義する。 各点 P ∈ M {\displaystyle P\in M} に対し、TPMのgに関する正規直交基底 e 1 , e 2 {\displaystyle e_{1},e_{2}} を選び、PにおけるMの断面曲率を S e c P := g ( e 1 , R ( e 1 , e 2 ) e 2 ) {\displaystyle \mathrm {Sec} _{P}:=g(e_{1},R(e_{1},e_{2})e_{2})} により定義する。断面曲率は e 1 , e 2 {\displaystyle e_{1},e_{2}} の選び方によらずwell-definedである事が知られている。 このときTheorema Egregiumは以下のように再定式化できる： 定理 (Theorema Egregiumの再定式化) ―  R 3 {\displaystyle \mathbb {R} ^{3}} の二次元部分多様体 M ⊂ R 3 {\displaystyle M\subset \mathbb {R} ^{3}} に対し、点Pにおけるガウス曲率は点Pにおける断面曲率と一致する。 断面曲率はMに内在的な量（リーマン計量）のみから定義したので、断面曲率はMに内在的な量である。よって上記の定理はガウス曲率がMに内在的である事を示している。 Mをリーマン多様体Mの部分多様体とする。MがMにおいて余次元1であれば、第二基本形式が実数値の双線形写像になり、第二基本形式の固有値・固有ベクトルとして主曲率 κ 1 , … , κ m {\displaystyle \kappa _{1},\ldots ,\kappa _{m}} およびそれに対応する主方向 e 1 , … , e m {\displaystyle e_{1},\ldots ,e_{m}} が定義できる。さらに全ての主曲率の積としてガウス曲率 K = κ 1 ⋯ κ m {\displaystyle K=\kappa _{1}\cdots \kappa _{m}} が定義できる。（なおガウス曲率は第二基本形式の行列式に等しい）。 このとき、以下が成立する： 系 (断面曲率と主曲率の関係) ― i≠jを満たす任意のi, j ∈{1,...,m}に対し、以下が成立する： S e c ( e i , e j ) = S e c ¯ ( e i , e j ) + κ i κ j {\displaystyle \mathrm {Sec} (e_{i},e_{j})={\overline {\mathrm {Sec} }}(e_{i},e_{j})+\kappa _{i}\kappa _{j}} ここで S e c P ( ⋅ , ⋅ ) {\displaystyle \mathrm {Sec} _{P}(\cdot ,\cdot )} 、 S e c ¯ P ( ⋅ , ⋅ ) {\displaystyle {\overline {\mathrm {Sec} }}_{P}(\cdot ,\cdot )} はそれぞれM、Mの断面曲率である。 Mが曲率cの定曲率空間であれば、 S e c ( e i , e j ) = c + κ i κ j {\displaystyle \mathrm {Sec} (e_{i},e_{j})=c+\kappa _{i}\kappa _{j}} であり、 S e c P ( e i , e j ) {\displaystyle \mathrm {Sec} _{P}(e_{i},e_{j})} がMに内在的な量であることも言える： 定理 (Theorema Egregiumの一般化) ―  M ¯ c {\displaystyle {\bar {M}}_{c}} を曲率cの定曲率空間とし、 M ⊂ M ¯ c {\displaystyle M\subset {\bar {M}}_{c}} をその余次元1の部分多様体とし、さらにPをMの点とする。さらに線形写像 ρ   :   ∧ 2 T M P → ∧ 2 T M P {\displaystyle \rho ~:~\wedge ^{2}TM_{P}\to \wedge ^{2}TM_{P}} を g ( ρ ( X ∧ Y ) , Z ∧ W ) = g ( R ( X , Y ) W , Z ) {\displaystyle g(\rho (X\wedge Y),Z\wedge W)=g(R(X,Y)W,Z)} により定義する。 このとき、ρの固有値の集合は { κ i κ j + c ∣ i , j ∈ 1 , … , m ,  s.t.  i ≠ j } {\displaystyle \{\kappa _{i}\kappa _{j}+c\mid i,j\in 1,\ldots ,m,{\text{ s.t. }}i\neq j\}} に一致する。ここでmはMの次元であり、 κ 1 , … , κ m {\displaystyle \kappa _{1},\ldots ,\kappa _{m}} は点Pにおける主曲率である。 また κ 1 , … , κ m {\displaystyle \kappa _{1},\ldots ,\kappa _{m}} に対応する主方向を e 1 , … , e m {\displaystyle e_{1},\ldots ,e_{m}} とすると、 κ i κ j + c {\displaystyle \kappa _{i}\kappa _{j}+c} に対応する固有ベクトルは e i ∧ e j {\displaystyle e_{i}\wedge e_{j}} である。 よって特に以下が従う： 系 (偶数次平均曲率の内在性、偶数次元のガウス曲率の内在性) ― 記号を前述の定理と同様に取るとき M ¯ c {\displaystyle {\bar {M}}_{c}} におけるMのガウス曲率KはMの次元mが偶数ならMに内在的な量である。 一方、奇数次元のガウス曲率はMに内在的な量ではないが、以下が成り立つことが知られている： 系 (符号を除いたガウス曲率の内在性) ― 記号を前述の定理と同様に取る。Mの次元mが奇数であっても、 M ¯ c {\displaystyle {\bar {M}}_{c}} におけるMのガウス曲率Kは符号を除いて内在的な量である 以上の事から、mが偶数の場合には M ¯ c {\displaystyle {\bar {M}}_{c}} におけるMのガウス曲率をリーマン曲率で書きあらわす事ができる。 M ¯ c {\displaystyle {\bar {M}}_{c}} が曲率0の場合は、具体的にはリーマン曲率から定まるオイラー形式がガウス曲率と一致する。 このオイラー形式はガウス・ボンネの定理の高次元化にも役に立ち、オイラー形式を積分したものがオイラー数に一致する、という形で高次元のガウス・ボンネの定理を記述できる。 詳細は部分リーマン多様体の接続と曲率の項目を参照されたい。 ^ “Latin dictionaries”. 2023年5月19日閲覧。 ^ 山下太郎. しっかりと学ぶ初級ラテン語. ベレ出版. pp. 9-13. ISBN 978-4860643669  ^ a b “羅和辞典 改訂版 発音”. Japan knowledge. 2023年6月7日閲覧。 ^ 谷栄一郎「ラテン語の発音と表記について」『奈良県立商科大学研究季報』第5巻第4号、1995年3月、27-34頁、CRID 1050282813785990912、ISSN 09159371、2024年2月6日閲覧。  ^ “古典語初級（ラテン語）”. 東京大学. 2023年6月21日閲覧。 ^ a b 水谷 智洋, ed (2009/3/25). 羅和辞典 <改訂版> LEXICON LATINO-JAPONICUM Editio Emendata. 研究社. ISBN 978-4767490250 の「theorema」の項、「egregium」の項、および「egregius」の項 ^ #小林77 p.92. ^ “幾何概論 II 講義ノート（2012 年度，井上尚夫)”. 熊本大学. 2023年5月19日閲覧。 ^ “曲面に関連するシンプレクティック群の表現と 幾何学的不変量”. 東京大学. 2023年5月19日閲覧。 ^ 安藤 直也 (熊本大学大学院自然科学研究科). “曲面の幾何学 —Hopf の定理およびその証明—”. p. 18. 2023年6月7日閲覧。 ^ 武隈良一「19世紀前半における独仏の数学」『小樽商大人文研究』第17巻、小樽商科大学、1959年1月、4頁、CRID 1050001338412448128、hdl:10252/3504、ISSN 0482-458X。  ^ Yin Li. “The Gauss-Bonnet-Chern Theorem on Riemannian Manifolds” (PDF). 2023年5月18日閲覧。 ^ “Differential Geometry III, Term 2 (Section 10)”. Durham University. 2023年5月19日閲覧。 ^ “Lectures 16-17: Gauss's Remarkable Theorem”. Alberta University. 2023年5月19日閲覧。 ^ #Goettingen 12章、太字引用者 ^ #Project Gutenberg 12章の下記の文章を重訳した。ただしtheorema egregiumの箇所(remarkable theoremの箇所)はラテン語から直接訳した。 Thus the formula of the preceding article leads of itself to the remarkable THEOREM. If a curved surface is developed upon any other surface whatever, the measure of curvature in each point remains unchanged. ^ 論文名の和訳『曲面の一般的考察』は下記に従った：阿賀岡 芳夫. “リーマン多様体の等長埋め込み論外史”. 筑波大学. p. 3. 2023年5月20日閲覧。 ^ a b #Carmo p.131. ^ a b c #Dajczer p.47. ^ 「¯」で長母音を「˘」で短母音を表すと「thĕōrēma ēgrĕgĭum」である。ラテン語の発音は基本的には文字をそのまま読めば良い。ただし「th」に関してはギリシア語の借入なので、古典ギリシア語と同様帯気音[tʰ]と発音するのが本来だが実際には[t]と発音する事も多かった。よってTheorema Egregiumを音訳すると「テオーレーマ・エーグレギウム」となる。なお、Theoremaのアクセントは前から2番目の「e」のところ、Egregiumのアクセントは語頭の「E」の位置にある。アクセントが強勢アクセントなのか高低アクセントなのかは未解決であるが強勢アクセントだったという説が有力である。 ^ a b c ラテン語で「Theorema」は「 1. 議論、問題、2. 定理、3. 意見、見解、4. 見ること、観察」という意味のギリシャ語源の中性名詞であり、「egregium」は形容詞「egregius」が中性単数主格の名詞につくときの格変化で、意味は「1. すぐれた、卓越した 2. 名誉ある」である。 ^ より直訳に近いのは、「前項の公式はそれ自身が卓越した定理を導く」であるが、「定理」の部分が定理の表題を兼ねているので、この訳文にした。 ^ ここでいうのは地図上の任意の二点間の距離を保つ地図が書けない、という事である。与えられた一点からの距離を保つ地図であれば実現可能で正距方位図法（リーマン多様体の言葉で言えば正規座標（英語版））がこれにあたる。 ^ ガウス曲率は断面曲率に一致する（後述）ので、平面、および球面の断面曲率を直接計算する事でもこの事実を証明でき、この場合は証明にTheorema Egregiumを必要としない。ただし、ガウス曲率が断面曲率に等しいという知見自身はTheorema Egregiumにより得られたものである。 ^ 一般のm次元リーマン多様体の場合は、正規直交基底 e 1 , e 2 {\displaystyle e_{1},e_{2}} の貼る平面と別の正規直交基底 e 1 ′ , e 2 ′ {\displaystyle e'_{1},e'_{2}} の貼る平面が同一であれば、これらの基底の定義する断面曲率は同一である。今は2次元のリーマン多様体Mを考えているので、この条件は常に満たされる。 ^ a b 本定理でいる「内在的」の意味に注意する必要がある。実際、Mの内在的な量から直接計算される c + κ i κ j {\displaystyle c+\kappa _{i}\kappa _{j}} から κ i κ j {\displaystyle \kappa _{i}\kappa _{j}} を求めるには、cを知らねばならず、積 κ i κ j {\displaystyle \kappa _{i}\kappa _{j}} はcに依存して決まる。よって κ i κ j {\displaystyle \kappa _{i}\kappa _{j}} から求まる偶数次平均曲率やガウス曲率の平方等もcに依存して決まる量である。 本定理で言う「内在的」はcをfixしたとき、任意に埋め込み写像 f   :   M → M ¯ c {\displaystyle f~:~M\to {\bar {M}}_{c}} を取ると、fから定まる主曲率の積の集合 { κ i f κ j f } {\displaystyle \{\kappa _{i}{}^{f}\kappa _{j}{}^{f}\}} （やそこから定まる偶数次平均曲率、、ガウス曲率の平方等）は、fが M ¯ c {\displaystyle {\bar {M}}_{c}} への埋め込み写像である限り、fに依存しない、という意味である。 ^ すなわちガウス曲率の自乗K2がMに内在的な量である。 小林昭七『曲線と曲面の微分幾何』裳華房〈基礎数学選書 17〉、1977年8月20日。ASIN B000J8X6V8。ISBN 4-7853-1119-3。  Manfredo P. do Carmo Francis Flaherty訳 (1994/2/24). Riemannian Geometry. Mathematics: Theory & Applications. Birkhauser Boston. ISBN 978-0817634902  Loring W. Tu (2017/6/15). Differential Geometry: Connections, Curvature, and Characteristic Classes. Graduate Texts in Mathematics. 275. Springer. ISBN 978-3319550824  Manfredo P. do Carmo Francis Flaherty訳 (1994/2/24). Riemannian Geometry. Mathematics: Theory & Applications. Birkhauser Boston. ISBN 978-0817634902  Marcos Dajczer, Ruy Tojeiro (2019/8/2). Submanifold Theory Beyond an Introduction. Universitext. Springer. ISBN 978-1-4939-9644-5  ラテン語： Carl Friedrich Gauss (1827 Oct. 8). “Disquisitiones generales circa superficies curvas”. 2023年5月20日閲覧。 英訳 ウェブ Carl Friedrich Gauss. “General Investigations of Curved Surfaces of 1827 and 1825,”. プロジェクト・グーテンベルク. 2023年5月20日閲覧。 Karl Friedrich Gauss, General Investigations of Curved Surfaces of 1827 and 1825, (1902) The Princeton University Library. 書籍 Carl Friedrich Gauss (Author), Adam Hiltebeitel (Translator), James Morehead (Translator), General Investigations Of Curved Surfaces Unabridged (Paperback), Wexford College Press, 2007, ISBN 978-1-929148-77-6. Carl Friedrich Gauss (Author), Peter Pesic (Editor), General Investigations of Curved Surfaces (Paperback), Dover Publications, 2005, ISBN 978-0-486-44645-5. カール・フリードリヒ・ガウス 曲率 曲面 微分幾何学 Theorema Egregium on Mathworld