跳轉到

1.1 曲線的參數化#

導言：為什麼要研究曲線？#

微分幾何的第一步，是研究空間中的曲線。曲線是最簡單的幾何對象：它是一維的、可以用一個參數描寫的點集。然而「一維點集」與「參數化曲線」之間的區別，正是整門學問的起點。我們關心的不是曲線「看起來」像什麼形狀，而是：什麼樣的描述才算數學上精確？什麼樣的性質與參數選擇無關？

從物理到數學#

十七世紀，伽利略研究拋體運動，笛卡兒發明座標系，牛頓與萊布尼茨建立微積分，人類第一次能夠用「函數」描述運動軌跡。一條曲線不再只是幾何圖形，而是一個質點隨時間運動的紀錄。這個觀點——曲線就是參數化的映射——一直延續到今日的廣義相對論：行星軌道、光線路徑、重力波源的世界線，都是四維時空中的曲線。

曲線的定義#

參數化曲線#

設 \(I \subseteq \mathbb{R}\) 是一個區間。一個 ** \(C^k\) 參數化曲線**是一個映射

\[ \gamma : I \to \mathbb{R}^n, \qquad \gamma(t) = \big(\gamma^1(t),\ \gamma^2(t),\ \dots,\ \gamma^n(t)\big) \]

其中每個分量函數 \(\gamma^i(t)\) 都是 \(k\) 次連續可微的。本書大多數時候取 \(n = 2\) （平面曲線）或 \(n = 3\) （空間曲線），並要求 \(k \geq 2\) 以便談論曲率。

定義的兩層結構#

  1. 映射層次： \(\gamma\) 是一個映射，帶有明確的參數 \(t\) 與方向。
  2. 幾何層次：曲線的軌跡（image）是集合 \(\gamma(I) \subseteq \mathbb{R}^n\) ，本身不帶參數。

同一條軌跡可以有無窮多種參數化。例如單位圓：

\[ \gamma_1(t) = (\cos t, \sin t), \quad t \in [0, 2\pi) \]

與

\[ \gamma_2(u) = \left(\cos u^3,\ \sin u^3\right), \quad u \in [0, \sqrt[3]{2\pi}) \]

描寫同一個圓，但速度不同： \(|\gamma_1'(t)| = 1\) 而 \(|\gamma_2'(u)| = 3u^2\) 。幾何（形狀）相同，運動學（沿曲線的速度）不同。

正則曲線#

若 \(\gamma'(t_0) \neq 0\) ，稱 \(\gamma\) 在 \(t_0\) 正則；若在整個區間上正則，稱為正則曲線。正則性保證曲線在每一點都有明確的切方向，是定義切線、曲率的前提。

術語 定義 失效的後果
正則點 \(\gamma'(t_0) \neq 0\) 切向量消失，幾何量無定義
尖點 例如 \(\gamma(t)=(t^2,t^3)\) 在 \(t=0\) 有切線但參數化退化
自交 \(\gamma(t_1)=\gamma(t_2)\) ， \(t_1\neq t_2\) 軌跡不是嵌入曲線
光滑性 \(C^k\) ， \(k\geq 2\) 不夠光滑則無法微分兩次

參數變換與等價#

參數變換#

設 \(\phi : J \to I\) 是一個 \(C^k\) 映射且 \(\phi'(u) \neq 0\) （微分同胚）。則

\[ \tilde{\gamma}(u) = \gamma(\phi(u)) \]

是同一軌跡的另一個參數化。我們稱 \(\gamma\) 與 \(\tilde{\gamma}\) 等價。曲線論研究的對象其實是等價類：

\[ [\gamma] = \{\, \gamma \circ \phi \mid \phi \text{ 為保持方向的微分同胚} \,\} \]

哪些量是參數不變的？#

這是本節的核心問題。下列量在參數變換 \(\phi\) 之下有明確的變換律：

  • 切向量： \(\tilde{\gamma}'(u) = \gamma'(\phi(u))\,\phi'(u)\) ，方向不變但長度改變。
  • 單位切向量 \(T = \gamma'/|\gamma'|\) ：不變。
  • 弧長：不變（下一節詳述）。
  • 曲率：不變。

而「速度大小 \(|\gamma'(t)|\) 」依賴參數，不是幾何量。這種「找出參數不變量」的思維，正是張量分析的雛形：後續章節中，度量、曲率張量都遵循同樣的原則——物理或幾何的陳述不應依賴座標（參數）的選擇。這也是愛因斯坦建立廣義相對論的核心原理（第 8 章）。

弧長參數（自然參數）#

若 \(\gamma\) 正則，定義弧長函數

\[ s(t) = \int_{t_0}^{t} |\gamma'(\tau)|\, d\tau \]

因為 \(s'(t) = |\gamma'(t)| > 0\) ，可以反解 \(t = t(s)\) ，得到以弧長為參數的曲線 \(\bar\gamma(s) = \gamma(t(s))\) ，此時恆有

\[ \left|\frac{d\bar\gamma}{ds}\right| = 1 \]

弧長參數把「任意速度的運動」標準化為「等速運動」，使後續公式大幅簡化。習慣上以 \(s\) 記弧長參數，並以 \(\dot\gamma = d\gamma/ds\) 表示對弧長的導數。

常見曲線範例#

直線#

\[ \gamma(t) = p + t\,v, \qquad v \neq 0 \]

是正則曲線，弧長參數為 \(s = |v|(t - t_0)\) 。直線的特徵：曲率恆為零（1.2 節將證明這是充要條件）。

圓#

\[ \gamma(t) = (R\cos t,\ R\sin t), \qquad |\gamma'(t)| = R \]

弧長為 \(s = Rt\) ，圓周長 \(2\pi R\) 。這是「以弧長量度彎曲」最古老的例子。

螺旋線（圓柱螺線）#

\[ \gamma(t) = (a\cos t,\ a\sin t,\ bt), \qquad a, b > 0 \]

這是空間曲線論的「氫原子」：曲率與撓率都是常數，

\[ \kappa = \frac{a}{a^2+b^2}, \qquad \tau = \frac{b}{a^2+b^2} \]

1.3 節將看到：曲率與撓率（加上起點與初始標架）完全決定一條空間曲線，螺旋線正是此定理的基本解。

擺線#

滾動圓輪上一點的軌跡：

\[ \gamma(t) = (t - \sin t,\ 1 - \cos t) \]

在 \(t = 2k\pi\) 處 \(\gamma' = 0\) ，出現尖點——這是參數化正則性失效的典型例子，但軌跡本身作為幾何對象仍然良好（可換用弧長參數描述）。惠更斯在 1673 年證明擺線的等時性，並據此設計擺鐘，是曲線論在工程上的經典應用。

例題#

例題 1：求螺旋線的弧長參數化#

設 \(\gamma(t) = (a\cos t, a\sin t, bt)\) ， \(t \geq 0\) 。

步驟 1：計算速度。

\[ \gamma'(t) = (-a\sin t,\ a\cos t,\ b), \qquad |\gamma'(t)| = \sqrt{a^2\sin^2 t + a^2\cos^2 t + b^2} = \sqrt{a^2 + b^2} \]

速度是常數！因此弧長函數為

\[ s = \int_0^t \sqrt{a^2+b^2}\, d\tau = \sqrt{a^2+b^2}\, t \]

步驟 2：反解 \(t = s/\sqrt{a^2+b^2}\) ，代入得弧長參數化

\[ \bar\gamma(s) = \left(a\cos\frac{s}{\sqrt{a^2+b^2}},\ a\sin\frac{s}{\sqrt{a^2+b^2}},\ \frac{bs}{\sqrt{a^2+b^2}}\right) \]

驗證：

\[ \frac{d\bar\gamma}{ds} = \frac{1}{\sqrt{a^2+b^2}}\left(-a\sin\frac{s}{\sqrt{a^2+b^2}},\ a\cos\frac{s}{\sqrt{a^2+b^2}},\ b\right) \]

取模長：分子為 \(\sqrt{a^2\sin^2 + a^2\cos^2 + b^2} = \sqrt{a^2+b^2}\) ，除以 \(\sqrt{a^2+b^2}\) 得 \(1\) 。✓

例題 2：參數不變性的檢驗#

取 \(\gamma(t) = (t, t^2)\) 與 \(\tilde\gamma(u) = \gamma(u^3) = (u^3, u^6)\) （即 \(\phi(u) = u^3\) ）。

  • \(\gamma'(t) = (1, 2t)\) ， \(|\gamma'| = \sqrt{1+4t^2}\) 。
  • \(\tilde\gamma'(u) = (3u^2, 6u^5) = \phi'(u)\,\gamma'(\phi(u)) = 3u^2(1, 2u^3)\) 。✓ 符合變換律。
  • 曲率 \(\kappa(t) = \frac{|x'y'' - y'x''|}{(x'^2+y'^2)^{3/2}} = \frac{2}{(1+4t^2)^{3/2}}\) ，兩種參數算出的曲率在對應點相同：在 \(u\) 處 \(\tilde\gamma\) 對應 \(t = u^3\) ，代入得 \(\frac{2}{(1+4u^6)^{3/2}}\) ，與直接用 \(u\) 計算一致。✓

歷史背景#

誰、何時、為什麼#

  • 1637 年，笛卡兒《幾何學》把代數與幾何結合，曲線第一次可以用方程描述；但笛卡兒只承認代數曲線，對機械產生的曲線（如擺線）持保留態度。
  • 1670 年代，牛頓與萊布尼茨的微積分使「以參數描述曲線並對其微分」成為可能。牛頓在《流數術》中正是以「質點沿曲線運動」為基本意象。
  • 1690 年代，雅各布·伯努利與約翰·伯努利兄弟研究最速降線問題（1696–1697），開啟變分法——在所有參數化曲線中尋找極值的學問。這條線索最終通向測地線理論（3.1 節）與 Riemann 幾何（第 5 章）。
  • 十八世紀，尤拉系統化了曲線的參數描述與弧長積分，確立「曲線論 = 參數化 + 微分」的框架。

解決了什麼問題#

參數化的觀點解決了「如何對幾何對象做微積分」的問題：把幾何化為分析。同時，區分「參數」與「軌跡」、尋找參數不變量，解決了描述的主觀性問題。

引發的新問題#

  • 平面曲線研究完備後，空間曲線如何描述？這催生了 Frenet–Serret 標架（1.3 節）。
  • 曲線是一維，那二維的「曲線之集合」——曲面——如何參數化？這是第 2 章的主題。
  • 當「參數」不再是外在座標而必須內在於對象時，就通向流形與座標卡的概念（4.1、4.2 節）。

與其他領域的關聯#

微積分#

本節的一切都是一元微積分的直接應用： \(\gamma'(t)\) 是導數的向量版，弧長是積分。曲線論可視為「向量值函數的微積分」。

向量微積分#

切向量 \(T\) 對應向量場論中的方向導數方向；弧長積分 \(\int |\gamma'|dt\) 是線積分的原型，後續的功、通量、Stokes 定理都建立在曲線（與曲面）參數化之上。

算子理論的視角#

把 \(d/ds\) 視為作用在曲線上函數的微分算子，則 Frenet 標架 \((T, N, B)\) 是這個算子的特徵結構： \(T\) 是 \(d/ds\) 的不變方向。這種「微分算子的譜分解」思維，在量子力學中對應哈密頓算符的能譜問題；曲線論提供了一個最簡單的可解模型。

量子力學#

粒子的世界線在路徑積分表述中是對所有參數化路徑求和（Feynman, 1948），而作用量在參數變換下的不變性對應規範不變性——這正是本節「參數等價類」思想的深刻推廣。

小結#

  1. 曲線是映射 \(\gamma : I \to \mathbb{R}^n\) ；軌跡是其像集合。
  2. 正則性 \(\gamma' \neq 0\) 保證切方向存在。
  3. 參數變換 \(\phi\) 產生等價的參數化；幾何量必須在等價類上良定義。
  4. 弧長參數把速度標準化為 1，是後續所有公式的標準座標。
  5. 「尋找不變量」是貫穿本書的主線：曲線論的曲率、曲面的 Gauss 曲率、流形的 Riemann 張量，都是同一原則的遞進。

下一節將沿弧長參數定義曲率與撓率，完成曲線論的核心量化工具。

深入研習：參數化的技術問題與邊界情形#

  1. 參數化的正則性何時可以恢復：擺線在尖點處 \(\gamma' = 0\) ，但軌跡本身（除尖點外）光滑。一般而言，參數化的退化可能是「描述的病」而非「對象的病」：換參數（如弧長參數）往往能恢復正則。但真正的幾何奇點（如半立方拋物線 \(y^2 = x^3\) 的尖點）在任何參數化下都存在——區分「座標病」與「實在病」是本書反覆出現的判斷（參照 5.3 節 Christoffel 符號非張量 vs 6.2 節曲率是張量）。

  2. 自交曲線與嵌入： \(\gamma(t) = (\cos 2t, \sin t)\) （8 字形）有自交點，作為映射不是嵌入。微分幾何的許多定理（如 Frenet 標架的全域性）在自交處需要局部化處理。嵌入（無自交、拓樸正確）與浸入（導數滿秩）的區別在 4.1 節（Whitney 定理）正式化；曲線論階段只需局部觀點。

  3. 解析曲線的唯一延拓：若 \(\gamma\) 是解析（ \(C^\omega\) ）函數，則它在任一小区間上的值決定全域——解析函數不能「改主意」。這解釋了為何牛頓力學（二階 ODE + 初值）決定整條軌跡：解若解析，局部軌道即全域軌道。光滑（ \(C^\infty\) 但非解析）曲線則可以「隨意」截斷拼接（bump 函數），這是 4.2 節單位分割技術的基礎。

  4. 弧長函數的反解何時可能： \(s(t) = \int|\gamma'|dt\) 是單調遞增，故理論上反函數存在；但顯式反解常不可能（例如橢圓的弧長含橢圓積分，反解涉及橢圓函數——Jacobi 1820s 的發明動機之一）。實務上用數值反解（Newton 法）。「公式存在但解不出」是分析的常態，也是特殊函數論的誕生地。

  5. 曲線的接觸階：兩條曲線在 \(p\) 點 \(k\) 階接觸 = 直到 \(k\) 階導數相同。密接圓與曲線二階接觸（故「最貼」）；直線一階接觸（切線）。泰勒展開的幾何化：曲線局部上「像」什麼，由接觸階決定——這是 3.3 節 Dupin 標線（曲面版）的預演。

  6. 分段光滑曲線：實務中（機器人路徑、CAD、軌道設計）曲線常是分段光滑，拼接處的 \(C^1\) 或 \(G^2\) （曲率連續）條件是工程品質標準：鐵路緩和曲線（迴旋線 \(\kappa \propto s\) ）正是為消除離心力的突變而設計——1.2 節曲率公式的直接工程應用。

  7. 曲線的拓樸分類：閉曲線（ \(\gamma(a) = \gamma(b)\) ）、簡單閉曲線（無自交）、Jordan 曲線定理（簡單閉曲線分平面為內外兩域，1887 Jordan、1905 Veblen 嚴格證明）——「顯然」的定理竟需要二十年的證明史，提示直觀與嚴格的鴻溝在幾何中特別深（4.2 節光滑結構的奇異性是同款教訓）。

  8. 等周問題：周長固定的閉曲線中圍出面積最大者是圓（古希臘已知、Steiner 1838 給出不完整證明、Weierstrass 1870 嚴格化）。這是變分法的誕生問題之一，也是 3.1 節（測地線=最短）與 5.2 節（Ricci 流的等周不等式，Perelman 熵論證的關鍵工具）的源頭。

  9. 曲線族與包絡：一族曲線 \(\{f(x, y, t) = 0\}\) 的包絡（envelope）是與每條曲線相切的曲線。例：拋體軌跡族的包絡是「安全抛物線」（火力覆蓋邊界）。包絡 = 奇點理論的初等案例（Arnold 的分類），連結到 10.1 節的幾何奇點思想。

  10. 參數化的計算複雜度：NURBS（非均勻有理 B 樣條）是 CAD/工業標準：曲線用控制點 + 權重 + 節點向量參數化。「參數化 = 資料結構」：選好的參數化（有理、分段多項式）使求值、求導、求交皆穩定高效——數學的參數不變性與計算的參數效率是一對張力，工程上權衡取捨。

習題與詳解#

習題 1：求星形線 \(x^{2/3} + y^{2/3} = a^{2/3}\) 的參數化與全長。

解：參數化 \(\gamma(t) = (a\cos^3 t,\ a\sin^3 t)\) （代入驗證 ✓）。 \(\gamma'(t) = (-3a\cos^2 t\sin t,\ 3a\sin^2 t\cos t)\) ， \(|\gamma'| = 3a|\sin t\cos t|\) 。全長 \(= 4\int_0^{\pi/2} 3a\sin t\cos t\,dt = 12a\cdot\frac{1}{2} = 6a\) 。星形線是漸屈線（evolute）理論的經典：它是橢圓的漸屈線族中半徑比趨近 1 的極限案例。

習題 2：證明：若曲線的所有切線過定點，則曲線是直線段。

解：設 \(\gamma(t) = p + \lambda(t)\,T(t)\) ， \(T = \gamma'/|\gamma'|\) 為單位切向量， \(\lambda\) 為純量函數。微分： \(vT = \lambda' T + \lambda T'\) （ \(v = |\gamma'|\) ）。兩邊叉乘 \(T\) ： \(0 = \lambda\, T \times T'\) 。若曲率非零（ \(T' \neq 0\) 且 \(T' \perp T\) ），則 \(T \times T' \neq 0\) ，故 \(\lambda = 0\) ——曲線縮為一點，矛盾。因此 \(\kappa = 0\) ：直線段。✓ 這是「由切線族重建曲線」的範例——漸伸線（involute）理論的逆命題。

習題 3：對 \(\gamma(t) = (t, \ln\cos t)\) ， \(t \in (-\pi/2, \pi/2)\) ，求弧長。

解： \(\gamma' = (1, -\tan t)\) ， \(|\gamma'| = \sqrt{1 + \tan^2 t} = \sec t\) 。 \(s = \int_0^t \sec\tau\,d\tau = \ln|\sec t + \tan t|\) 。**此曲線是懸鏈線 \(y = \ln\cos x\) **——懸掛鏈條的形狀（Galileo 誤以為是拋物線，Huygens 1659 與 Leibniz 1691 確認為懸鏈線）；其旋轉體（懸鏈面）在 3.3 節以極小曲面身分再現。✓