5.3 Christoffel 符號與 Levi-Civita 聯絡#

導言：在流形上求導的難題#

在 $\mathbb{R}^n$ 中比較兩點的向量很簡單（平移即可）。在彎曲流形上， $T_pM$ 與 $T_qM$ 是不同的向量空間，不能直接相減——「向量場的導數」需要補充結構：聯絡。本節由度量唯一地導出聯絡（Levi-Civita 聯絡），其座標係數正是 Christoffel 符號；測地線方程、曲率張量（第 6 章）、相對論的場方程（第 8 章）全部以它為積木。

歷史#

Christoffel（1869）：論《 $n$ 變數二次形式的變換》，研究度量在座標變換下的微分——為使「微分」成為張量運算而引入的係數，後以其命名。
Ricci–Levi-Civita（1900）：絕對微分學（張量分析）系統化。
Levi-Civita（1917）：《n 維 Riemann 流形上的絕對微分》提出平行移動的內蘊概念——Einstein 稱之「蝴蝶般的精美」（其實 Einstein 說過平行移動理論是「奇妙的」發現），並立即用於統一引力理論的嘗試。
Einstein 與 Grossmann（1912–13）：Einstein 在蘇黎世向同學 Grossmann 求助「你幫我學張量分析，否則我會發瘋」；Grossmann 指出 Ricci 演算正是所需。

聯絡的公理化#

為什麼需要聯絡#

向量場 $X$ 在 $p$ 與 $q$ 的值屬於不同空間。要定義 $Y$ 沿 $X$ 的變化率，需要一個把 $T_qM$ 的向量「搬到」 $T_pM$ 的規則——即平行移動；其無窮小版本就是聯絡。

公理#

（仿射）聯絡是映射

\[ \nabla : \mathfrak{X}(M) \times \mathfrak{X}(M) \to \mathfrak{X}(M), \qquad (X, Y) \mapsto \nabla_X Y \]

滿足（ $\mathfrak{X}(M)$ 為光滑向量場空間， $f \in C^\infty$ ）：

$\nabla_{fX}Y = f\,\nabla_X Y$ （對第一參數 $C^\infty$ -線性）；
$\nabla_X(Y + Z) = \nabla_X Y + \nabla_X Z$ ；
$\nabla_X(fY) = (Xf)\,Y + f\,\nabla_X Y$ （Leibniz 律）。

第 3 條是「導數」的靈魂（乘積法則），第 1 條的 $C^\infty$ -線性說明 $\nabla_X Y$ 在 $p$ 的值只依賴 $X(p)$ （方向性）。

座標表達#

\[ \nabla_{\partial_i}\partial_j = \Gamma^k_{ij}\,\partial_k \]

係數 $\Gamma^k_{ij}$ 即 Christoffel 符號。對向量場 $Y = Y^j\partial_j$ ：

\[ \nabla_X Y = \left( X^i\partial_i Y^k + X^i Y^j \Gamma^k_{ij} \right)\partial_k \]

注意： $\Gamma^k_{ij}$ 不是張量——座標變換時多出二階導數項：

\[ \tilde\Gamma^k_{ij} = \frac{\partial \tilde x^k}{\partial x^a}\frac{\partial x^b}{\partial\tilde x^i}\frac{\partial x^c}{\partial \tilde x^j}\Gamma^a_{bc} + \frac{\partial \tilde x^k}{\partial x^a}\frac{\partial^2 x^a}{\partial \tilde x^i \partial \tilde x^j} \]

非齊次項恰可消去向量場分量的二階導，使 $\nabla Y$ 整體是（1,1）張量。聯絡係數像「連接件」：本身非張量，組合後是——這是張量分析的關鍵技巧。

Levi-Civita 聯絡：唯一性定理#

定理（Levi-Civita / Christoffel–Killing）#

在 Riemann 流形 $(M, g)$ 上存在唯一聯絡滿足：

無撓（torsion-free）： $\nabla_X Y - \nabla_Y X = [X, Y]$ （座標中 $\Gamma^k_{ij} = \Gamma^k_{ji}$ ）；
度量化（metric）： $X\,g(Y, Z) = g(\nabla_X Y, Z) + g(Y, \nabla_X Z)$ （內積在平行移動下不變）。

此聯絡的係數由度量完全決定：

\[ \boxed{\ \Gamma^k_{ij} = \frac{1}{2}g^{kl}\left( \partial_i g_{jl} + \partial_j g_{il} - \partial_l g_{ij} \right)\ } \]

與 3.1 節測地線方程中的符號一致——測地線方程正是 $\nabla_{\dot\gamma}\dot\gamma = 0$ 的座標表達：測地線 = 自平行曲線（速度沿自身平行，方向不「自轉彎」）。

推導梗概#

由度量化條件寫出三個循環置換式（ $X, Y, Z \mapsto \partial_i, \partial_j, \partial_l$ ），相加減，無撓條件消去未知項，唯一解出上式。「度量唯一決定求導規則」——這是 Riemann 幾何的基石定理；也說明 Riemann 幾何的自由度恰為度量的自由度（聯絡不自帶新資訊；有撓理論是 1918 年 Cartan 以後的推廣，Einstein–Cartan 理論用之）。

平行移動#

沿曲線 $\gamma$ 的向量場 $V$ 平行 ⟺ $\nabla_{\dot\gamma}V = 0$ （座標： $\dot V^k + \Gamma^k_{ij}\dot x^i V^j = 0$ ，一階線性 ODE）。解 ODE 得平行移動映射 $P_\gamma : T_{\gamma(0)}M \to T_{\gamma(b)}M$ ，是線性等距（保持內積，由度量化條件對 $V$ 微分可證）。繞閉曲線的平行移動一般不是恆等——偏轉角即 holonomy（6.1 節），是曲率的積分效應。

協變導數的運算律#

梯度、散度、旋度的高維化#

歐氏量	Riemann 版本
$\nabla f$ （梯度）	$\mathrm{grad}\,f = g^{ij}\,\partial_j f\,\partial_i$
$\mathrm{div}$	$\mathrm{div}\,X = \nabla_i X^i = \partial_i X^i + \Gamma^i_{ij}X^j = \dfrac{1}{\sqrt{
$\Delta$	$\Delta_g f = \mathrm{div}\,\mathrm{grad}\,f = \dfrac{1}{\sqrt{
$\nabla \times$ （3 維）	外微分 $d$ （10.1 節）

散度公式的重要性： $\sqrt{|g|}$ 因子使散度成為對偶 1-形式的自然伴隨——分部積分、Laplace 算子的自伴性、與廣義相對論中的協變守恆律（ $\nabla_\mu T^{\mu\nu} = 0$ ，8.2 節）都靠它。

兩個恆等式（第 6 章的前奏）#

Ricci 恆等式（交換協變導數）：

\[ [\nabla_i, \nabla_j]X^k = R^k{}_{lij}\,X^l\ (\text{定義曲率張量}) \]

對度量交換協變導數： $[\nabla_i, \nabla_j]f = 0$ （標量交換無事）但對一形式 $[\nabla_i, \nabla_j]\omega_k = -R^l{}_{kij}\,\omega_l$ ——交換子的不對稱性 = 曲率（6.2 節展開）。

例題#

例題 1：計算球面的 Christoffel 符號#

球面 $g_{\theta\theta} = R^2$ 、 $g_{\phi\phi} = R^2\sin^2\theta$ 、 $g^{\theta\theta} = 1/R^2$ 、 $g^{\phi\phi} = 1/(R^2\sin^2\theta)$ 。

** $\Gamma^\theta_{\phi\phi}$ **：

\[ \Gamma^\theta_{\phi\phi} = \frac{1}{2}g^{\theta\theta}\left( \partial_\phi g_{\phi\theta} + \partial_\phi g_{\phi\theta} - \partial_\theta g_{\phi\phi} \right) = \frac{1}{2}\cdot\frac{1}{R^2}\left( 0 + 0 - 2R^2\sin\theta\cos\theta \right) = -\sin\theta\cos\theta \]

** $\Gamma^\phi_{\theta\phi}$ **：

\[ \Gamma^\phi_{\theta\phi} = \frac{1}{2}g^{\phi\phi}\,\partial_\theta g_{\phi\phi} = \frac{1}{2}\cdot\frac{1}{R^2\sin^2\theta}\cdot 2R^2\sin\theta\cos\theta = \cot\theta \]

對稱性 $\Gamma^\phi_{\phi\theta} = \cot\theta$ ；其餘分量為 0（ $g$ 只依 $\theta$ 且無交叉項）。共 3 個獨立非零符號，與 3.1 節測地線方程所用一致。✓

順帶：由 $K = \kappa_1\kappa_2$ 的內蘊公式（3.2 節 Brioschi），可從這 3 個符號導出 $K = 1/R^2$ ——度量 → 符號 → 曲率的完整內蘊鏈條。

例題 2：法座標下聯絡消失#

命題：在指數映射給出的法座標下， $\Gamma^i_{jk}(p) = 0$ 。

驗證（ $n=2$ 直觀版）：取 $\mathbb{S}^2$ 上點 $p = (R, 0, 0)$ （赤道），切平面 $x = R$ 的座標 $(u, v)$ （ $u$ 沿 $y$ 、 $v$ 沿 $z$ ）。過 $p$ 的測地線是子午線大圓，在 $p$ 附近局部是一階直線（二次項才有彎）——**測地線方程在 $p$ 的右端 $\Gamma\dot x\dot x = 0$ ** ⟹ $\Gamma(p) = 0$ 。

意義：度量的偏導在 $p$ 也可同時化為 0（法座標中 $g_{ij}(p) = \delta_{ij}$ ），但二階導數消不掉——它們正是曲率（Riemann 1854 的論斷：「彎曲在二階」）。這也是等效原理的數學基礎（8.1 節）：任一時空點可選局部慣性系（自由落體座標）消去重力（ $\Gamma = 0$ ），但潮汐力（曲率）消不掉。

表格：聯絡性質速查#

性質	條件	後果
無撓	$\Gamma^k_{ij} = \Gamma^k_{ji}$	對稱聯絡；測地線無「旋轉偏移」
度量化	$\nabla g = 0$	平行移動保內積
唯一性	兩者兼備	Levi-Civita，由 $g$ 決定
法座標	指數映射	$\Gamma(p) = 0$ 、 $g(p) = \delta$
撓率	$T(X,Y) = \nabla_XY - \nabla_YX - [X,Y]$	Einstein–Cartan 理論（自旋–扭轉耦合）
測地線	$\nabla_{\dot\gamma}\dot\gamma = 0$	變分極值（3.1）+ 自平行

與其他領域的關聯#

微積分／向量微積分#

Christoffel 符號是「球座標單位向量隨位置轉動」的修正項： $\mathbb{R}^3$ 球座標中 $\Gamma^\theta_{r\theta} = \frac{1}{r}$ 等非零——歐氏空間的非笛卡兒座標也有非零 Christoffel 符號，但曲率為零（聯絡是座標現象，曲率是幾何現象；曲率張量的分量變換才能把「座標假象」與「真彎曲」區分——6.2 節的核心）。牛頓力學中極座標加速度的 $\frac{2\dot r\dot\theta}{r}$ 型項，正是 Christoffel 項。

力學#

Lagrange 方程的 $\frac{d}{dt}\frac{\partial L}{\partial \dot q} - \frac{\partial L}{\partial q}$ 展開中的速度二次項，其係數正是（動能度量的）Christoffel 符號——力學的慣性效應 = 幾何的聯絡。

算子理論#

Laplace–Beltrami 由聯絡構成 $\Delta f = \mathrm{tr}\,\nabla^2 f$ （Hessian 的跡）；其自伴性由散度定理（協變版）保證。Fredholm 理論、特徵值展開（譜定理）在緊流形上直接應用。

量子力學／規範場論#

聯絡 = 規範位勢：電磁位勢 $A_\mu$ 是 $U(1)$ -叢的聯絡；場強 $F_{\mu\nu}$ 是其曲率（9.3 節）。Levi-Civita 聯絡是「切叢的聯絡」、規範聯絡是「內部對稱叢的聯絡」——同一數學對象。
Berry 聯絡（1984）：絕熱量子演化中參數空間的聯絡，其曲率給 Berry 相位——量子力學中的 holonomy（6.1 節）。
Dirac 算子 $D = \gamma^i\nabla_i$ ：自旋叢上的聯絡導數；指標定理的主角（Atiyah–Singer）。

小結#

聯絡 = 「沿向量場求導」的公理化；Leibniz 律是導數的靈魂。
Christoffel 符號非張量；變換中的非齊次項保證協變導數整體為張量。
Levi-Civita 定理：無撓 + 度量化 ⟹ 唯一聯絡， $\Gamma^k_{ij} = \frac{1}{2}g^{kl}(\partial_i g_{jl} + \partial_j g_{il} - \partial_l g_{ij})$ 。
平行移動是線性等距；測地線 = 自平行曲線；法座標消一階彎曲（等效原理的數學）。
交換協變導數產生曲率張量——第 6 章的主題。

下一章把「交換導數的缺陷」系統化：平行移動的 holonomy、Riemann 張量、Ricci 與 Einstein 張量——廣義相對論的幾何引擎。

歐氏量	Riemann 版本
\(\nabla f\) （梯度）	\(\mathrm{grad}\,f = g^{ij}\,\partial_j f\,\partial_i\)
\(\mathrm{div}\)	$\mathrm{div}\,X = \nabla_i X^i = \partial_i X^i + \Gamma^i_{ij}X^j = \dfrac{1}{\sqrt{
\(\Delta\)	$\Delta_g f = \mathrm{div}\,\mathrm{grad}\,f = \dfrac{1}{\sqrt{
\(\nabla \times\) （3 維）	外微分 \(d\) （10.1 節）

性質	條件	後果
無撓	\(\Gamma^k_{ij} = \Gamma^k_{ji}\)	對稱聯絡；測地線無「旋轉偏移」
度量化	\(\nabla g = 0\)	平行移動保內積
唯一性	兩者兼備	Levi-Civita，由 \(g\) 決定
法座標	指數映射	\(\Gamma(p) = 0\) 、 \(g(p) = \delta\)
撓率	\(T(X,Y) = \nabla_XY - \nabla_YX - [X,Y]\)	Einstein–Cartan 理論（自旋–扭轉耦合）
測地線	\(\nabla_{\dot\gamma}\dot\gamma = 0\)	變分極值（3.1）+ 自平行