贡献者: Giacomo
未完成:增加线性代数的预备知识
1. 一般欧几里得空间中曲线的概念
把 $\mathbb{R}^n$ 视作一个向量空间,任意取定一个坐标系(等价于向量空间的一组基),我们可以把向量值函数 $f$ 分为 $n$ 个标量值函数,简称为 $f$ 的分量。
定义 1 参数曲线
令 $I = (a, b)$ 是实数轴 $\mathbb{R}$ 上的一个开区间,则称连续函数$f:I\to \mathbb{R}^n$ 为 $\mathbb{R}^n$ 中的一条(连通的)参数曲线(curve)(若 $I = [a, b]$ 是一个闭区间则称 $f$ 为从 $f(a)$ 到 $f(b)$ 的道路(path)),$f$ 的值域 $f(I) \subseteq \mathbb{R}^n$ 被称为参数曲线的轨迹。此处连续是指函数的 $n$ 个分量都是 $\mathbb{R}\to\mathbb{R}$ 的连续函数。如果 $f$ 是一个单射,则被称为简单参数曲线。
你可能自然会想确认,由 $f$ 的分量定义的连续性,和取定坐标系的方式是否有关?答案是无关的。我们可以用另一种方式来理解此处的 “连续”:取集合 $I$ 与 $\mathbb{R}^n$,配上通常的拓扑——即 $I$ 取 $\mathbb{R}$ 的子拓扑,$\mathbb{R}^n$ 取 $\mathbb{R}$ 的乘积拓扑——所得到的拓扑空间,那么 $f$ 就是拓扑空间之间的映射,其连续性取决于拓扑意义上的连续性,和具体坐标系的选择就无关了。
要强调的一点是,即便两条参数曲线的轨迹一样,它们也不一定是同一条参数曲线。比如说,取 $f, g:\mathbb{R}\to\mathbb{R}^2$ 这两个函数,定义为 $f(t)= \begin{pmatrix}\cos t\\\sin t\end{pmatrix} $ 和 $g(t)= \begin{pmatrix}\cos 2t\\\sin 2t\end{pmatrix} $,那么尽管它们的轨迹都是平面上的单位圆,但由于两条参数曲线的 “速度” 不一样,我们依然把它们认为是不同的参数曲线。
想要严格的定义 “速度” 我们需要更强大的结构:
定义 2 连续可微参数曲线
如果参数曲线 $f: I \to \mathbb{R}^n$ 对于任意分量都是连续可微的(即其导函数连续),那么称 $f$ 是一个连续可微参数曲线(differentiable curve)($I$ 为闭曲线时称为连续可微道路(differentiable path)),也记为 $C^1$ 参数曲线。类似的我们可以定义 $p$ 阶连续可微参数曲线,也记为 $C^p$ 参数曲线。
同样地,$f$ 本身的连续可微性,和具体坐标系的选择也无关1。
定义 3 速度、速率、弧长
对于连续可微参数曲线 $f: I \to \mathbb{R}^n$,我们把 $t = t_0$ 时的速度(velocity)定义为向量 $f'(t_0)$,或者记做 $\frac{ \,\mathrm{d}{}} { \,\mathrm{d}{t} } f |_{t = t_0}$,把速度的模长 $\|f'(t_0)\|$ 称为 $t = t_0$ 时的速率(speed);取闭区间 $[a, b] \subseteq I$,我们定义从 $f(a)$ 到 $f(b)$ 的弧长为 $\int_a^b \|f'(t)\| \,\mathrm{d}{t} $。
定义 4 常速率参数曲线
如果连续可微参数曲线 $f: I \to \mathbb{R}^n$ 每个点的速率是一个常数,那么称 $f$ 是一个常速率参数曲线。特别的我们把速率为 $1$ 的常速率参数曲线称为单位速率参数曲线,也称(以)弧长(为)参数(的)曲线,此时我们常用 $s$ 来代替参数 $t$。
$p$ 可以推广到无限,即:
定义 5 光滑参数曲线
如果参数曲线 $f: I \to \mathbb{R}^n$ 对于任意分量都是光滑的,那么称 $f$ 是一个光滑参数曲线(smooth curve)($I$ 为闭曲线时称为光滑道路(smooth path)),有时也记为 $C^\infty$ 的参数曲线。
和上述坐标变换的讨论类似,可证明光滑参数曲线的光滑性不依赖于坐标系的选择。等价的,光滑参数曲线是任意阶连续可微参数曲线。
除了参数曲线之外,我们还可以定义曲线为 $\mathbb{R}^n$ 的子集。我们可以把曲线理解成参数曲线的轨迹,但需要一些额外的要求。
定义 6 曲线
如果 $\mathbb{R}^n$ 的子集 $C$ 满足对 $C$ 上任意一点 $p$,存在点 $p$ 的一个(足够小的)开邻域 $U \subseteq \mathbb{R}^n$,使得 $C \cap U$ 是一条简单参数曲线的轨迹,那么 $C$ 就被称为 $\mathbb{R}^n$ 上的一条曲线。如果参数曲线是连续可微的/光滑的而且速度处处不为零,那么我们就称之为连续可微的/光滑曲线,有时也简称为曲线。在微分几何中,我们一般要求曲线是连通的。
在不会引起误解的情况下,我们也会把参数曲线简称为曲线,读者需要依凭上下文进行判断它到底是一个映射还是一个子集。
1. ^ 由于 “微分” 这一概念是实数空间特有的,我们没法像前面一样直接用拓扑的概念绕过坐标系的选择;证明这一点的思路也可以应用到之前对一般参数曲线的讨论上去:考虑变换坐标系后各点的变换,会发现变换后的分量就是过渡矩阵乘以原先的函数列矩阵,也就是说,变换坐标后新的函数分量,是旧分量的某种线性组合。这样一来,变换前连续可微当且仅当变换后也连续可微,从而可知和变换无关。
致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者
热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。