第一基本形式
在微分几何中,第一基本形式(first fundamental form)是三维欧几里得空间中一个曲面的切空间中内积,由 R3 中标准点积诱导。它使得曲面的曲率和度量性质(比如长度与面积)可与环绕空间一致地计算。
主曲率
在微分几何中,在曲面给定点的两个主曲率(principal curvatures)衡量了在给定点一个曲面在这一点的不同方向怎样不同弯曲的程度。
在三维欧几里得空间中可微曲面的每一点 p,可选取一个单位法向量。在 p 的一个法平面是包含该法向量以及与曲面相切的惟一一个方向的平面,在曲面上割出一条平面曲线。这条曲线在 p 的不同法平面上一般有不同曲率。在 p 的主曲率,记作 k1 与 k2,是这些曲率的最大与最小值。
这里一条曲线的曲率由定义是密切圆半径的倒数。当曲线转向与平面给定法向量相同方向时,曲率取正值,否则取负值。当曲率取最大与最小值的两个法平面方向总是垂直的,这是欧拉在1760年的一个结论,称之为主方向。从现代的观点来看,这个定理来自谱定理因为它们可以作为对应于高斯映射微分的一个对称矩阵的本征向量。对主曲率和主方向的系统研究由达布使用达布标架完成。
两个主曲率的乘积 k1k2 是高斯曲率 K,而平均值 (k1+k2)/2 是平均曲率 H。
如果在每一点至少有一个主曲率是零,则高斯曲率是零,这种曲面是可展曲面。对极小曲面,平均曲率在每一点是零。
目录[隐藏] |
[编辑] 正式定义
设 M 是欧几里得空间中一个曲面,第二基本形式为 II(X,Y)。固定一点 p∈M,以及在 p 点切空间的一个标准正交基 X1、X2。则主曲率是如下对称矩阵的本征值
如果选取 X1 与 X2 使得矩阵 [IIij] 是一个对角矩阵,则它们称为主方向。如果曲面已定向,则通常要求 (X1, X2) 与给定的定向相同。
若没有一个特定的标准正交基,主曲率是形算子的本征值,而主方向是本征向量。
[编辑] 推广
对高维欧几里得空间中超曲面,主曲率可类似地定义。主曲率是第二基本形式在一个标准正交基下矩阵 II(Xi,Xj) 的本征值,主方向是对应的本征向量。
类似地,如果 M 是黎曼流形 N 中一个超曲面,则主曲率是其第二基本形式的本征值。如果 k1, ..., kn 是点 p ∈ M 的 n 个主曲率而 X1, ..., Xn 是对应的标准正交本征向量(主方向),则 M 在 p 的截面曲率为
[编辑] 曲面上点的分类
- 在椭圆型(elliptical)点,两个主曲率有同样的符号,而曲面是局部凸的。
- 在脐点(umbilic point),两个主曲率相等而任意切向量可作为主方向。这通常出现于离散点。
- 在双曲型(hyperbolic)点,主曲率的符号相反,曲面局部是鞍形。
- 在抛物型(parabolic)点,一个主曲率是零。抛物型点通常位于分离椭圆型点与双曲型点的一条曲线上。
- 在平脐点(flat umbilic point)两个主曲率都是零。一般曲面没有平脐点,猴鞍面具有离散平脐点。
[编辑] 曲率线
曲率线(lines of curvature 或 curvature lines)是总与一个主方向相切的曲线,它们是主方向场的积分曲线。过每个非脐点有两条曲率线,它们相交成直角。
在一个脐点附近曲率线有三类布局:星形(star)、柠檬形(lemon)以及檬星形(monstar,源于 lemon-star)[1]。为了纪念达布,这些点也称为达布脐点,他最先在他1896年的课程(Vol. 4, p455)中做了系统性研究。
- 脐点附近的曲率线布局
在这些布局中,红色曲线是一类主方向的曲率线,而蓝色曲线是另一类的。
当一条曲率线对同一个主曲率有一个局部极值,则此曲线有一个脊点(ridge point)。曲面上曲线的脊点称为脊。脊曲线经过脐点。对星形布局有 3 条或 1 条脊线经过脐点,对 monstar 与 lemon 只有一条脊线经过[2]。
![\left[I\!I_{ij}\right] = \begin{bmatrix} I\!I(X_1,X_1)&I\!I(X_1,X_2)\\ I\!I(X_2,X_1)&I\!I(X_2,X_2) \end{bmatrix}.](http://upload.wikimedia.org/math/3/0/2/302cc63d9d4fb070f1e59e8b4aec521e.png)
