微分
幾何学は、
曲面やその特性を研究する
数学の一分野であり、特に主
曲率は
曲面上の点での曲がり具合を計測する重要な概念です。
曲面の各点において、主
曲率はその点でのガウス写像の微分から導かれる2つの固有値として定義されます。この主
曲率は、
曲面が異なる方向にどれだけ曲がっているのかを示す指標となります。
主曲率の位置付け
3次元
ユークリッド空間における微分可能な
曲面を考えたとき、任意の点$p$で法ベクトルを選定できます。この法ベクトルから構成される法平面は、接平面に垂直であり、これにより
曲面の断面となる平面曲線、すなわち垂直截線が形成されます。断面曲線は、法平面の異なる選び方によって異なる
曲率を呈します。
ここで、主
曲率の一つを$k_1$、もう一つを$k_2$とし、これらは
曲面の最大と最小の曲がり具合を表します。
曲率そのものは、定義として接触円の
半径に反比例し、主
曲率が正の方向であれば
曲面はその方向に沿って曲がっていることを意味します。逆に、主
曲率が負であれば、
曲面はその方向に凹んでいることを示しています。
このような主
曲率の性質は、
レオンハルト・オイラーが示した結果とも関連が深く、主方向と呼ばれる法平面の方向の定義に影響を与えています。
主
曲率$k_1$と$k_2$の積は
ガウス曲率$K$に相当し、平均
曲率$H$はその平均$(k_1 + k_2)/2$として定義されます。特に、主
曲率の一方が0であるならば、
曲面は可展面であり、極小
曲面においては全ての点で平均
曲率が0となります。
第二基本形式と主曲率
曲面$M$を
ユークリッド空間内の一つの
曲面として、点$p
i M$での接ベクトルの正規直交基底$X_1$と$X_2$を固定することで、主
曲率は第二基本形式に関連する対称
行列の固有値として得られます。この
行列が対角
行列となるように$X_1$と$X_2$を選択する作業が主方向を形成します。この主
曲率や主方向は、お互いに密接に関連しており、通常は固有ベクトルと結び付けられます。
高次元における主曲率
高次元のリーマン多様体においても、主
曲率に関する定義は類似し、余次元が1の部分多様体での第二基本形式の固有値として定義されます。これにより、主
曲率の概念を高次元空間に拡張することが可能です。
曲面上の点の分類
曲面上の点は、その主
曲率の符号によって分類できます。具体的には、楕円点では両主
曲率が同符号、臍点では等しく、双曲点では異符号の主
曲率が確認され、放物点では一方の主
曲率が0となっています。また、平坦な臍点が存在する場合、主
曲率は両方とも0である必要があります。
曲率線は主方向に沿って接する曲線であり、各非臍点には2本の直交する
曲率線が存在します。臍点近くでは星状、レモン状、モンスター状といった様々な構成が見られます。これらの構造は、体積にメトリックを与えたり、特定のジオメトリック特性を理解するために役立ちます。
参考文献
- - Gaston Darbouxによる『Leçons sur la théorie génerale des surfaces』は、主曲率に関する詳細な理論を提供しています。
- - Heinrich Guggenheimerの『Differential Geometry』や、KobayashiとNomizuの『Foundations of Differential Geometry』など、多くの重要な資料があります。
このように、主
曲率およびその関連概念は、
曲面の
幾何学的特性を理解する上で重要な役割を果たしており、微分
幾何学の発展に寄与しています。