ガウス曲率についての詳細
微分
幾何学における重要な概念の一つが、ガウス
曲率です。この
曲率は、
曲面上の特定の点において、その形状を理解するために必要な情報を提供します。具体的には、ガウス
曲率は、その点の主
曲率と呼ばれる二つの
曲率の積により定義されます。これにより、空間の埋め込み方法に依存せず、その
曲面の内部情報を解析することが可能になります。
定義
任意の
曲面の点において、
法線ベクトルと呼ばれる、その点に垂直なベクトルを見つけることができます。この
法線ベクトルを用いて法平面を定義し、その平面内の曲線が法切断と呼ばれ、この曲線の
曲率が法
曲率と呼ばれます。ほとんどの点では、異なる方向における法
曲率は異なるため、最大の法
曲率を主
曲率 κ1、最小の法
曲率を主
曲率 κ2 と表します。ガウス
曲率 K は、次のように定義されます。
$$K = κ_1 κ_2$$
このガウス
曲率の符号は、
曲面の形状的な特徴を示します。二つの主
曲率が同じ符号を持つ場合(κ1κ2 > 0)は、通常、正のガウス
曲率を持ち「楕円点」とされる点です。こうした点では、
曲面はドームのように形成され、全ての方向において
曲率が同じ符号となります。
一方、主
曲率の符号が異なっている場合(κ1κ2 < 0)は、ガウス
曲率が負とされ、この点が「双曲点」とされます。その形状は鞍点のようになり、異なる方向において切断を行った際の
曲率が異なる特徴を持ちます。さらに、もしどちらかの主
曲率が0である場合(κ1κ2 = 0)、ガウス
曲率は0となり、その点は「放物点」とされます。
議論
微分
幾何学において、
曲面上の二つの主
曲率は、その点におけるシェイプ作用素の固有値として捉えることができます。
陰函数定理により、
曲面を二変数関数のグラフとして表現することも可能です。この場合、点 p は臨界点となり、その勾配が0になる特徴を持っています。したがって、p におけるガウス
曲率は
ヘッセ行列の
行列式として表現されます。この
ヘッセ行列は、二次微分を含む
行列であり、
曲面上の形状を理解する手助けになります。
別のアプローチとして、ガウス
曲率は以下の関係で表すこともできます。
$$K = rac{ ext{det}(
abla_2
abla_1 -
abla_1
abla_2)}{ ext{det}g}$$
ここで、∇は共変微分であり、gは
計量テンソルです。
総曲率とガウス・ボネの定理
ある
曲面上のガウス
曲率の
面積分を総
曲率と呼ぶことができ、これは
オイラー標数との関係があります。具体的には、
測地線三角形において全
曲率は、内角の和からπを引いた値となります。
曲面が円環のように変形しても、その全
曲率は常に不変であり、これがガウス・ボネの定理です。
重要な定理
ガウスにより証明された
Theorema Egregiumは、
曲面のガウス
曲率がその
曲面自身の特性から決まることを示しています。これは、
曲面をどのように配置するかに依存せず、その本質的な性質を反映する重要な結果です。
このように、ガウス
曲率は
曲面の
幾何学的特性を把握するための強力なツールであり、現代の微分
幾何学においても広く利用されています。
曲面の変形を考慮すると、ガウス
曲率はその変化に対して不変であるため、局所的な特性の理解に不可欠です。
結論
最後に、ガウス
曲率は
曲面の形状や性質を理解するための基本的な要素であり、
数学の多くの分野において重要な役割を果たしています。