Theorema Egregium

Theorema Egregiumについて

Theorema Egregium（卓越した定理）とは、数学者カール・フリードリヒ・ガウスによって発表された重要な定理であり、曲面の性質について深い洞察を提供しています。この定理は、曲面におけるガウス曲率がその曲面の内在的量、すなわちリーマン計量のみに依存することを示しています。これは、曲面がどのように変形しても、そのガウス曲率が変わらないことを意味します。

言葉の由来

「Theorema Egregium」という言葉は、ガウスの原論文から派生しています。この定理の意義は、曲面の特性を外部の要素に頼らずに扱える点にあります。英語においては「Remarkable Theorem」とも訳されますが、その靄呪的な響きには注意が必要です。実際、ラテン語の「egregium」は、「驚異の」という意味を持ちません。

ガウス曲率の定義

曲面Mを3次元ユークリッド空間R³内の曲面とし、Pをその上の点とします。点Pにおいて、曲面の「最も曲がっている方向」と「最も曲がっていない方向」の曲がり具合の積が、Pにおけるガウス曲率を定義します。Pが鞍点の場合には、逆向きの曲がりを考慮しなければなりません。

この定義は一見、曲面の外部、すなわちR³内の形状に依存しているように思えますが、Theorema Egregiumの要点は、ガウス曲率が曲面Mの内在的構造から計算可能であることです。要するに、曲面Mの物理的な形状を変えても、その距離構造が変わらない限り、ガウス曲率は不変であるということです。

曲面の変形とガウス曲率

例えば、カテノイド（懸垂面）とヘリコイド（螺旋面）は外見上は全く異なりますが、両者の距離構造は同じです。このため、両者のガウス曲率は同じで、外部の空間に依存しない内在的特性を示しています。この定理は、地球の地図作りの際にも応用され、歪みのない正確な地図を描けないことを説明しています。実際に、もし球面と平面の距離構造が同じであれば、Theorema Egregiumにより両者のガウス曲率も等しくなければならず、これは矛盾を生じさせます。球面のガウス曲率が1/R²（Rは半径）であるのに対し、平面のそれは0であるため、正確なマッピングが不可能であることが明らかです。

定理の影響と発展

ガウスが曲面の研究に取り組んだ背景には、国家の測量依頼が大いに影響しています。後に、数学者ベルンハルト・リーマンはこの定理に着目し、「外の空間」を持たないn次元曲面、すなわちn次元リーマン多様体を定義しました。この動きは、微分幾何学の研究の基礎となりました。

さらに、アルベルト・アインシュタインは、重力の座標変換においてリーマン多様体の性質を利用し、一般相対性理論を確立しました。ガウスとリーマンの研究は、それぞれの時代において数学と物理学の新たな道を開いたのです。

定理の再定式化

Theorema Egregiumは、現代的な言葉で再定式化することも可能です。リーマン多様体においても、ガウス曲率が内在的な量であることを示すことができます。特に、曲面Mの断面曲率がその曲面の内在的な性質であることを確認します。これは、曲面が変形した場合でも、ガウス曲率が変わらないことを再確認するものです。

高次元における展開

高次元のリーマン多様体においても、ガウス曲率は同様に定義されますが、異なる次元に応じてさまざまな特性を持ちます。例えば、余次元1の部分多様体では、主曲率を用いてガウス曲率を計算します。さらに、特定の条件下では、曲面のガウス曲率をリーマン曲率を通じて表現することが可能であることも確認されています。

このように、Theorema Egregiumは、曲面の基本的な性質を理解するための強力なツールであり、数学的・物理的な理論の発展に寄与し続けています。これは、曲面や多様体、さらには重力理論の基礎に深く関わっているのです。

もう一度検索