曲面上向量的平行移动可以推导出很多有意思的理论,最终可以推导出高斯-博内定理,在这之前我们来推导一些中间理论。
- 从平行移动到测地线和测地曲率
上一节我们介绍了曲面上切向量沿曲线
曲面上一条曲线
或者我们换另外一个说法:测地线的切向量是平行向量场。
曲面上的向量的平行移动是推导高斯-博内定理的基础,在推导出高斯-博内定理之前,我们需要来研究曲面上曲线的切向量的测地角度的变化。什么是“测地角度”呢?我们先来讲讲课本上说的“测地曲率”的概念:
我们之前讲述的用“曲面第二基本式”来求解的曲面上过点
我们可以用下图来(来自do Carmo的《Differential Geometry of Curves and Surfaces》)表示曲面上曲线的曲率:
其中:
令:
所以我们通过定义测地曲率,来求解曲面上任意曲线的曲率:
2. 从平行移动来计算曲面上曲线切向量的测地角度变化率
上面引入的“测地曲率”的概念,本质上就是曲面上曲线的单位切向量在切平面上的变化率。假如有一个二维生物沿着曲面上的一条曲线爬行,它的目光方向一直是曲线的切线方向,那么它爬完一段曲线之后,它的目光方向偏移了多少呢?这个偏移量就是切向量测地角的变化。
我们通过严格的证明来阐述测地角的变化:
2.1 设
证明:
我们不妨沿着曲线构建一个正交基:
因为
设曲面的法向量为
因为
同理:
对
那么:
因为
所以:
所以:
2.2 沿着上面的证明结论,我们可以继续推导,如果
2.3 继续推导,在曲面的参数化是正交的情况下(其实,黎曼证明了任意一个和平面disk同胚的曲面都有一个正交的uv坐标系),如果
证明:
参数化正交,意味着第一基本式的F为0。
因为
则:
根据2.1的结论:
其中:
所以:
又:
所以:
同理可证:
综上所知,标架
曲面上曲线的切向测地角变化率是: