Theorema Egregium(ラテン語。音訳:テオーレーマ・エーグレギウム[注 1]。直訳:卓越した定理[注 2])はカール・フリードリヒ・ガウスにより証明された定理で、曲面のガウス曲率が曲面の内在的な量(リーマン計量)のみで書ける事を主張する。
日本語では
「最も素晴らしい定理」[7]
「驚異の定理」[8][9]
「Gaussの基本定理」[10]
「抜群の定理」[11]
などと訳される事もあるが、egregiumには「驚異の」という意味はない[注 2]。英語では「Remarkable Theorem」(注目すべき定理)と意訳する事もある[12][13][14]。 「Theorema Egregium」という語はこの定理を示したガウスの原論文から来ている:Formula itaque art. praec, sponte perducit ad egregiumTHEOREMA. Si superficies curva in quamcunque aliam superficiem explicatur, mensura curuaturae in singulis punctis inuariata manet. ? Carl Friedrich Gauss、Disquisitiones generales circa superficies curvas[15]したがって前項の公式それ自身が導く、卓越した[注 2][注 3]定理. もし曲面が他の任意の曲面にどのように発展したとしても、各点における曲率の大きさは不変である。 ? カール・フリードリヒ・ガウス、曲面の一般的考察[16][17] Mを3次元ユークリッド空間 R 3 {\displaystyle \mathbb {R} ^{3}} 内の曲面とし、PをM上の点とする。点PにおいてMの「最も曲がっている方向」の曲がり具合と「最も曲がっていない方向」の曲がり具合の積を点PにおけるMのガウス曲率という。(ただし図のようにPが鞍点になっている場合は、逆方向の曲がりをマイナスの曲がり具合と解釈する。よってこの場合の「最も曲がっていない方向」とは「逆向きに最も曲がっている方向」である)。 しかし実はガウス曲率はMの「外の空間」である R 3 {\displaystyle \mathbb {R} ^{3}} とは無関係に計算できる、というのがTheorema Egregiumの趣旨である。具体的にはガウス曲率はMの距離空間としての構造(厳密にはリーマン計量)のみから計算できる。 したがって、 R 3 {\displaystyle \mathbb {R} ^{3}} 内でMを変形しても、その変形がMの距離構造を変えない限り、ガウス曲率は変わらない。例えばカテノイド
語源
概要鞍点
ガウス曲率はその定義より、 R 3 {\displaystyle \mathbb {R} ^{3}} におけるMの曲がり具合を利用して定義されている為、 R 3 {\displaystyle \mathbb {R} ^{3}} においてMがどのような形になっているかが一見重要に見える。
ヘリコイド(螺旋面)からカテノイド(懸垂面)に変形するアニメーション
このように「外の空間」とは無関係にMの情報だけを用いて計算できる量をMに内在的な(英: intrinsic)量であるという。Theorema Egregiumは、ガウス曲率がMの内在的な量である事を意味している。
Theorema Egregiumから得られる帰結として、平面上に地球の正確な歪みの無い地図を描くことはできない。
Theorema Egregiumを使うと、地球の地図を書くとき距離を歪ませない正確な地図は書けない事を示す事ができる[注 4][注 5]。実際、もし正確な地図が書けるなら、地球と地図(すなわち球面と平面)の距離構造は同一なので、Theorema Egregiumより両者のガウス曲率は等しくなければならないが、球面のガウス曲率は半径をRとすると1/R2であり、平面のガウス曲率は0である事が知られているので、これは矛盾である。
なお、ガウスがTheorema Egregiumなどの曲面論(ガウスの曲面論(英語版))を研究したきっかけは、国家の測量を依頼されたためであった。
ベルンハルト・リーマンはTheorema Egregiumに着目する事により、「外の空間」なしのn次元曲面、すなわちn次元リーマン多様体を定義し、これが今日の微分幾何学の研究の嚆矢となった。
さらにアルベルト・アインシュタインは、重力の座標変換則がリーマン多様体のそれとよく似ている事に着目し、宇宙をリーマン多様体の類似物(擬リーマン多様体)と見なすことで一般相対性理論を確立した。 Theorema Egregiumは以下のように定式化できる: 定理 ― R 3 {\displaystyle \mathbb {R} ^{3}} 内の曲面Mに対し、Mのガウス曲率はMの第一基本形式(およびその2階以下の偏微分)のみを用いて記述できる。 なお、第一基本形式は現代的な言い方では「リーマン計量」と呼ばれる。
厳密な定式化
古典的な定式化