光滑曲线_微分几何笔记(2) —

第二周讲完了Klingenberg的第一章Curves，做一点微小的笔记。分成三个部分，本篇讲曲线的弧长参数；下一篇讲一般的Frenet标架及方程组；再下一篇讲二维三维空间曲线的curvature。

GTM51对入门者会难一些，因为直接从最一般的

维情况入手，再回头看二三维空间中的曲线，相比之下

Calculus and Analysis in Euclidean Space 这本UTM的Chapter 8 Parametrized Curves 算是相当新手友好的入门内容，由二三维曲线推广到一般情况。

借用宋老师的话，微分几何的本质是几何，主要通过微积分的手段，用数和函数来刻画几何图形的性质。可能在学习的时候会觉得明明很直观，几何画出来就是这样的，但是要用规范的严格语言说出来很困难。所以说也是一个打基础的课程，先学会怎样严格的表述，在这基础之上才能正确的使用微积分这个工具。

2.1 参数曲线(Parametrized Curves)

Definition 2.1.1 参数曲线是指一个光滑映射(smooth mapping)：

这里

且非空。更进一步，如果

，称这样的曲线是正则的(regular).

也就是说我们平时说的“曲线”，其实是一个映射，平时说“点在曲线上”，是指这一点，如

在这个映射的像集中。

我们一般都要求曲线是正则的，因为是光滑映射，所以导数不等于零

导数的范数不等于零，直观理解是这样的曲线是不会停下的，也因此我们可以用隐函数定理，反函数定理等。

如果

是不是开区间，定义的意思是，存在一个包含

的开区间

，使得

在

上是一个光滑映射，并且

，这样就解决了端点无定义的问题。

这里我们说的参数曲线都是“光滑”的，这个要求也太高了，不过现在考虑的都是很显然，一眼能够看明白的曲线，以后会逐步放宽。

Definition 2.1.2 i)切空间(Tangent Space): 对

，切空间是指所有以

为起点的

维向量所构成的空间，记作

ii)沿着曲线c的向量场(Vector field along

): 指一个可微映射

，

iii)切向量场(Tangent vector field of

): 指一个沿着 c 的向量场，其中在

处的向量由切向量

给出。

这里主要是规定向量的起点位于什么地方。切空间是相当于把

当成原点所建立的

空间，所有

中向量起于

. 沿着曲线的向量场是指在曲线的每一点上都"生长"着一些向量，比如下图中所示那样：

图1：生长在曲线上的向量场

接下来一节讲讲弧长参数曲线(parametrization by arc length)，用曲线的弧长做参数，这样做可以简化计算过程。

2.2 弧长参数曲线(Parametrization by Arc Length)

Definition 2.2.1 如果一个映射

是光滑的，而且其逆映射

也是光滑的，称映射

是

微分同胚(Diffeomorphism)

Definition 2.2.2(Equivalence of Curves) 两条曲线

和

之间如果存在一个微分同胚

，使得

，则称

是一个

参数变换(parameter transformation).并且如果

，称这样的参数变换是保持定向的(orientation preserving) .

由参数变换所得的曲线构成一个所有

中曲线的等价类（满足自反性(reflexive)，对称性(symmetric)和传递性(transitive)），给这个等价类起个名字叫做非参数化曲线(unparametrized curve).

其实我们可以把

看成是关于时间的集合，把

看成一个空间中随时间运动的轨迹，这样

就是速度，而

则是速率。通过不同的参数变换，改变了质点沿曲线运动一定长度所需要的时间（区间

的长度），从而改变了质点运动的速率。我们特别关注的，是其中以单位速度运动的参数曲线，也就是

的曲线。

Definition 2.2.3 (Arc length of a curve) 光滑曲线

上两点

之间的弧长为：

事实上，这个积分对于

及更好的曲线都是well-define的，但是对连续的曲线不一定对，因为存在在闭区间上长度无穷的连续曲线。

比如

在 x=0 附近非道路连通；

比如把

映射到

的皮亚诺曲线；

再比如可以构造出

的双射：

https://www.zhihu.com/question/301263376

把有限弧长的连续曲线，称为可求长曲线(rectifiable curve)

Definition 2.2.4 (Parametrization by arc length) 曲线

称为弧长参数化的，如果

，等价的说，

试想，现在我们通过改变曲线的参数，使得之前需要通过复杂的含绝对值积分才能得到的弧长，现在只需要做差就能够得到。通过这种方式，让计算变得如此简单，如果对后面计算曲率的过程有了解，就能感觉到这是一件非常令人振奋的事情，而且要是能把任意曲线都弧长参数化，那这事已经好的不能再好了。

直觉上来说这事肯定是对的，因为弧长参数化的直观理解就是以单位速度沿着曲线运动，这只要曲线本身的光滑程度够就行。

那既然是以单位速度沿着曲线运动，我只要以弧长为参数不就好了吗？这样用原来给定参数曲线的弧长来做参数，经过一个单位时间，等于经过一个单位弧长，等于沿弧长以单位速度运动。太妙了。

接下来是本篇笔记铺垫到现在，为了阐述的主要命题：

Proposition 2.2.5 每一个正则曲线(Regular Curve)都等价于一个弧长参数化曲线。

Proof . 存在性：假设

为一光滑曲线，我们想找一个

，满足 c(t) 和

的像集是一模一样的。为此我们需要找一个映射

. 之前我们考虑过，以 c 的弧长，来作为

的参数，也就是

，写成交换图的形式：

因为

(c is regular), 由反函数定理知道反函数存在且可导。这样，我们把交换图上边以

为参数的映射，转化成了下边以

为参数的映射，接下来只需要验证

，由隐函数求导法则以及变上限函数的导数：

两边同时取绝对值，就得到了结论，存在性得证，并且知道

. 唯一性是显然的，假设有两条参数曲线都满足条件导数为1，因为是正则曲线，所以其导数可以去掉绝对值，同时积分。这样可以看出，参数起始于同一点的弧长参数化曲线是唯一的，证毕。

2.3 一般参数曲线化成弧长参数曲线的例子

怎么把一般参数曲线化成弧长参数曲线，其实在上面命题的证明中已经构造出来了。

数学证明很多时候是构造性的，怎么证明，就怎么使用；而有的证明只是用严格话的语言论述，说明条件满足某些定义，这种证明算是在教我们该怎么“说话”。二者都是需要的，但是对于推动数学进展来说，更重要的是前者，因为启发性更强，毕竟，好的证明使我们更加聪明。

这里求

可能会是很困难的一步，因为

本来是个积分函数，且变量在积分上限，这就意味着很多时候，我们只能在形式上表示出来，并不能真正求出

（which mathematicians always say.）举两个能求出来弧长参数化曲线的例子：

Example 2.3.1

, given by

这个形式一看就跟圆脱不了关系，只是问题在于他不是以单位速度沿圆周运动的，那么将他弧长参数化之后，应该会变成标准圆的参数方程才对。

Solution: 先确定自变量的范围，这里

所以

最终的弧长参数化曲线为：

这也印证了我们的想法。

Example 2.3.2

, given by

这里的曲线称为摆线(cycloid)，且

取的是其中间的一段：

Solution:

因为在

上

函数导数恒不为0，反函数存在，所以最终：

我要知道结果会是这样，一开始我就不愿意求了。所以接下来的问题是有没有对一般非弧长参数适用的公式呢，这个问题将会在第四次笔记中讲到。

至此，曲线的参数化就讲完了，下一篇就初入微分几何的正题——Frenet标架。

参考：

[1] W. Klingenberg. A course in differential geometry. Translated from the German by David Hoffman. Graduate Texts in Mathematics, Vol. 51. Springer-Verlag, 1978.

[2] J. Shurman. Calculus and Analysis in Euclidean Space Undergraduate Texts in Mathematics, Springer-Verlag, 2016.

[3]厦门大学杨波老师的主页：http://math-faculty.xmu.edu.cn/display.aspx?tid=149