你必須分清的「測地線」兩種意思
從曲率那一級起，你已經有了測地線方程 nabla_{c'} c' = 0：一條以列維-奇維塔聯絡量度時、加速度消失的曲線。這是局部最直的概念——測地線不轉彎，它只是順勢滑行。但「測地線」一詞還帶著第二層、截然不同的意涵：整體最短，即連接兩點、長度最小的那條曲線。這兩種意思「並不」相同，而本篇全部的張力，就在於弄清它們究竟何時、又在多大範圍內吻合。把兩者混為一談，是整體黎曼幾何裡初學者最常犯的錯誤，因此我們在做任何事之前，先把兩者都釘牢。
一幅圖能讓這道落差變得鮮明。在圓球 S^2 上，只要弧夠短，大圓弧在「兩種」意義下都是測地線：赤道上從 0 走到四分之一圈外的一點，是唯一的最短路徑。但若你越過對面的極點，繞了四分之三圈，你手上仍是一條毫無問題的測地線——每一點都滿足 nabla_{c'} c' = 0——可它如今已比反方向走「更長」。在你越過對徑點的那一刻，它就不再是極小化測地線，儘管它從未停止當一條測地線。局部最直是逐點的、微分的條件；整體最短則是一場與所有其他曲線同時較量的競賽。
為何最短曲線服從測地線方程：第一變分
為什麼最短路徑會有零加速度呢？誠實的答案是變分法，而你能直接把它算出來。固定端點 p 與 q，取一條連接它們的曲線 c，再透過一族端點相同的光滑曲線 c_s 去擾動它，其中 c_0 = c。第一變分公式在 s = 0 處對長度 L(c_s) 微分，並在分部積分之後，得到協變加速度與變分場 V 配對的積分：d/ds L(c_s) 在 s=0 處，等於沿曲線對 g(V, nabla_{c'} c') 的積分取負值（邊界項因端點固定而消去）。c 的彎曲，與你推動它的方式相配對。
如今這套邏輯自我閉合。若 c 最短，則 L(c_s) 在 s = 0 處取極小，所以對「每一個」容許的變分場 V，導數都必須消失。而 g(V, nabla_{c'} c') 的積分要對所有 V 都為零，唯一的辦法就是另一個因子恆為零：nabla_{c'} c' = 0。於是一條長度極小化曲線自動是測地線方程的解——前提是你以弧長參數化，因為長度在重新參數化下不變，這份自由必須先花掉。這正是平面上給出直線的那同一套歐拉-拉格朗日推理；曲率只改變了「直」算出來的結果。
- 固定端點 p 與 q，挑一條連接它們的曲線 c，以弧長參數化使 |c'| = 1；這在一開始就把重新參數化的自由花掉。
- 透過一族端點相同、且 c_0 = c 的光滑曲線 c_s 去擾動 c，以變分場 V = d/ds c_s（在 s = 0 處）記錄那無窮小的推動，而它在兩端皆消失。
- 在 s = 0 處對 L(c_s) 微分並分部積分：結果是 d/ds L(c_s) = 對 g(V, nabla_{c'} c') dt 的積分取負，邊界項因 V 在端點消失而不見。
- 若 c 最短，導數對「每一個」容許的 V 都為零，而唯一與所有 V 正交的場就是零場——這逼出 nabla_{c'} c' = 0，即測地線方程。
長度對能量：一個更乾淨、卻有相同極小化曲線的泛函
長度泛函裡藏著一樁惱人的事：它對重新參數化視而不見。把同一段弧走快或走慢、走走停停，L 都一模一樣，於是長度帶有一整個無窮維的對稱性，使它的臨界點不孤立、變分分析黏手。標準的補救之道，是改去極小化能量泛函 E(c) = 1/2 乘以 |c'|^2 的積分。能量「並非」重新參數化不變——加速確實要付出更多能量——而這恰恰是我們要的特性，因為它釘住了一個偏好的參數化。
兩者由一條不等式相連。柯西-施瓦茲給出 L(c)^2 <= 2(b-a) E(c)，而等號恰好在速率 |c'| 為常數時成立。所以在一段固定弧的所有重新參數化之中，能量恰恰在等速那一個取得最小，且在那裡它等於長度（只差一個無害的因子）。回報是：極小化能量自動交付一條等速的極小化測地線——你在單一個變分問題裡，同時得到測地線方程「與」與弧長成比例的參數化，毫無重新參數化的鬆動可纏鬥。本級每一個嚴肅的證明，包括下文的霍普夫-里諾與第二篇的指標形式，跑的都是能量，而非長度。
完備性的四副面孔——以及綁住它們的一個詞
現在來到核心概念。一個黎曼流形 (M, g)，在你定義 d(p, q) = 從 p 到 q 的曲線長度之下確界的那一刻，就成了一個度量空間——這就是黎曼距離。手握一個貨真價實的距離，我們便能問最基本的分析問題：柯西序列是否保證收斂？這就是度量完備性，而它可能徹底失效。取平面、挖掉原點：一條朝著缺口前進的直線路徑是柯西的，卻在空間之內收斂不到任何東西。這個流形有一個「缺失的點」，一個沒有座標卡看得見、但每位旅人都感受得到的洞。
還有第二個帶幾何味道的概念：測地完備性，它問的是每條測地線能否延拓到所有時刻。等價地，透過你在曲率那一級遇過的指數映射 exp_p，它要求 exp_p 定義在「整個」切空間 T_p M 上，於是你能朝任意方向射出一條測地線，而永遠不會衝出邊緣。被挖洞的平面在這點上也失敗：一條瞄準缺失原點的測地線在有限時間內抵達它，便就此停住，無處可續。測地完備性與度量完備性感覺像是不同的要求——一個關於柯西序列，一個關於延拓曲線——而先驗地，沒有理由它們該一致。
霍普夫-里諾定理：完備性，一網打盡
這就是組織起整門學科的那條定理。對一個連通的黎曼流形 (M, g)，霍普夫-里諾定理宣告以下四個條件「等價」，外加一個附帶的推論。把這份等價當作深刻的內容來讀：四個「沒有洞」的定義，鑄造於不同的世界——度量的、測地的、拓樸的——結果竟是同一回事。這並不顯然，而證明它才是真正的功夫；「完備=完備」這句口號，藏著一條貨真價實的定理。
Hopf-Rinow. For (M, g) connected Riemannian, these are equivalent:
(1) (M, d) is complete as a metric space (Cauchy sequences converge)
(2) M is geodesically complete (exp_p defined on all of T_p M, some p)
(3) exp_p is defined on all of T_p M for EVERY p
(4) every closed and bounded subset of M is compact (Heine-Borel holds)
==> BONUS: any two points p, q are joined by a MINIMIZING geodesic
(a geodesic c with L(c) = d(p, q))皇冠是那條附帶子句：在完備流形裡，任兩點都由一條極小化測地線連接——一條長度等於距離 d(p, q) 的測地線，是真正達到下確界，而非僅僅逼近它。這正是第一變分論證所無法給你的存在性陳述：變分告訴你，一個極小化曲線「若存在」必是測地線；霍普夫-里諾則補上那個「若存在」。附帶子句的證明既優美又具體——從 p 出發，朝著 q、以恰當的初始方向射出測地線並乘之而行；一個連續性加連通性的論證表明，使它保持距離最小的時刻集合是開的、閉的、且非空的，於是它一路極小化地抵達 q。完備性正是那個讓測地線在旅途中途不致墜出邊緣的前提。
會反咬的前提，以及本級接下來的去向
把這些前提舉到光下來看，因為每一個都是承重的。去掉完備性，被挖洞的平面便同時殺死等價與附帶子句：它測地不完備、度量不完備、「不」滿足海涅-博雷爾（去心的單位圓盤是閉且有界，卻不緊緻），而且存在根本沒有極小化測地線連接的點對。相形之下，緊緻性是一張免費通行證：每個「緊緻」的黎曼流形都自動完備，因為緊緻的度量空間是完備的——所以球面、環面，以及每個閉曲面，都不費你舉手之勞便滿足霍普夫-里諾。這正是為什麼整體定理如此頻繁地以「設 M 為一個緊緻（或完備）的黎曼流形」開場。
兩點值得烙印的澄清。第一，霍普夫-里諾保證任兩點之間「存在」一條極小化測地線，但絕不保證它唯一：在球面上，對徑兩點由無窮多條極小化的大圓弧連接。唯一性，以及 exp_p 究竟保持為極小化微分同胚的精確半徑，是第二篇共軛點與割跡的故事——割跡正是測地線停止極小化的所在。第二，這條定理對曲率隻字未提；它純粹是完備性。曲率只在我們開始「操控」測地線時才登場，而那正是本級其餘的全部綱領。
- 第二篇對一族測地線微分以得出雅可比場，定義共軛點（鄰近測地線重新聚焦之處），並建立第二變分的指標形式——這套機制裁定一條測地線何時停止極小化。
- 第三篇把一個正的曲率下界化為邦尼-邁爾斯定理（流形必為緊緻、基本群有限）與辛格定理，外加博赫納技巧。
- 第四篇改取非正曲率，並證明卡坦-阿達瑪定理：一個完備、單連通、非正曲率的流形，透過指數映射微分同胚於 R^n。
- 第五篇抵達比較的頂峰——勞赫與托波諾戈夫比較、球面定理與分裂定理——在那裡曲率的界化為鋒利的幾何與拓樸結論。