设是 ()中的嵌入超曲面,其上诱导度量记为。假设对上任意一点,存在局部坐标以及光滑函数使得。证明:对上任意一点, 某个主曲率的重数至少为。进一步假设非脐点集合是非空的,证明:上由重数的主方向构成的分布是可积的。
证:
1.证明某个主曲率的重数至少为
1.1 局部坐标和度量形式
- 由于是中的嵌入超曲面,假设在点处存在局部坐标.使得诱导度量可以写成,其中是光滑函数。
1.2 主曲率分析
在点处,考虑第二基本形式。由于度量是共形平坦的,因此可以认为在点附近是局部共形于一个平面。对共形平坦的度量,其主曲率有特殊的性质。
在点处的主曲率可以通过计算第二基本形式的特征值来获得。
因为度量是共形平坦的,主曲率矩阵在这个点可以对角化为形如的形式,其中至少有个相同的值(因为共形变换不会改变主曲率的数量和分布)。
因此,在点处,至少存在一个主曲率的重数为。
2.证明非脐点集合上由重数的主方向构成的分布是可积的
2.1 非脐点的定义及说明
- 非脐点是指在该点处主曲率不全相等的点。设是在某点的主曲率,若存在使得,则该点为非脐点。
2.2 构造分布
- 在非脐点集合上,由重数的主方向构成的分布定义为,其中是对应于重数的主曲率的主方向。
2.3 证明分布是可积的
根据弗罗贝尼乌斯定理,需要证明对于任意两个属于分布的向量场,它们的对易子也属于分布。
设和。其中是光滑函数.是对应于重数的主方向。
计算:
- 由于是主方向向量,且这些方向在非脐点处是平行于某个超平面且不依赖于具体的坐标选择,因此仍然在这个超平面内。
因此,对易子表示为中的向量的线性组合:
其中是某些光滑函数,这表明。