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に内在的である事を示している。