“对三维空间中的参数曲面,第一基本形式把诱导度量具体写为 $E,du^2+2F,du,dv+G,dv^2$,并从链式法则推导换坐标矩阵 $J^T\mathsf gJ$。圆柱与球面算例给出不依赖…”
形式陈述
对一张正则参数曲面
其中
由于
若
两个非零参数速度
因此参数坐标中的普通夹角一般不是曲面上的实际夹角。
直觉
地图的经纬网格标出位置,却不保证每一格一样大、两条轴始终垂直。矩阵
推导与换坐标
由链式法则,
速度坐标同时变为
数值不变。这是“度量与坐标无关”的具体内容,绝不是说换坐标后矩阵的各个元素不变。由叉积恒等式或 Gram 行列式,
换坐标后行列式乘上
例子与边界
圆柱:换成真实横向里程
故
球面:纬线的刻度随位置变化
用
经线从余纬
有交叉项的刻度也可以完全平坦
平面参数
两条参数轴在曲面上的夹角余弦为
推论与应用
第一基本形式本身不选法向,法向反转对它没有影响;它决定曲线长度、角度和不带符号面积。在每张光滑片上,这正是Riemann 度量的具体坐标表示。抽象度量不必先由给定的三维嵌入获得。
若两曲面的对应点在同一参数下有相同第一基本形式,则对应域内的每条曲线路长相同,见局部等距。这不迫使它们在空间中保同一曲率方向:圆柱与平面已经有相同度量,但形算子不同。要描述法向如何转动,必须再加入第二基本形式。
参考资料
- Theodore Shifrin,Differential Geometry,April 2021,Ch. 2 §1,pp. 39–41:第一基本形式、曲线长度、局部等距及圆柱展开。
- Manfredo P. do Carmo,Differential Geometry of Curves and Surfaces,Prentice-Hall,1976,Ch. 2 §5:第一基本形式与面积。公式在本页从链式法则直接推导。