跳轉到

2.3 微分流形與光滑空間：局部歐氏空間的拼貼#

前因：彎曲世界的微積分#

微積分在 \(\mathbb{R}^n\) 上暢行無阻，但地球表面、相對論的時空、機器人的組態空間都是「彎的」。我們需要的空間局部像 \(\mathbb{R}^n\) （可以畫地圖、做微積分），整體卻可以彎曲甚至有洞。答案：把 \(\mathbb{R}^n\) 的小片「拼貼」起來。

構造#

定義（微分流形）。 Hausdorff 拓撲空間 \(M\) ，每點 \(p\) 有鄰域 \(U\) 同胚於 \(\mathbb{R}^n\) 的開集，配備坐標卡 \((U, \varphi)\) ；若所有坐標卡之間的轉移函數

\[\varphi_\beta \circ \varphi_\alpha^{-1}: \varphi_\alpha(U_\alpha \cap U_\beta) \to \varphi_\beta(U_\alpha \cap U_\beta)\]

都是光滑的（ \(C^\infty\) ），則 \(M\) 為 \(n\) 維光滑流形。

關鍵直觀：

  • 切空間 \(T_pM\) ：把 \(M\) 在 \(p\) 點「攤平」得到的向量空間。導數從此變成「切空間之間的線性映射」 \(df_p: T_pM \to T_pN\) 。
  • 微分形式： \(\omega = f\,dx + g\,dy\) 這類可以在流形上積分的物件；外微分 \(d\) 滿足 \(d^2 = 0\) ——這個看似平凡的等式將成為同調論的引擎（7.3）。
  • 黎曼度量 \(g\) ：在每個切空間放內積，讓流形有長度、角度、體積（2.1）。

經典例子#

流形 維度 意義
球面 \(S^2\) 2 地球（經緯度兩張圖冊）
環面 \(T^2 = S^1 \times S^1\) 2 甜甜圈；群流形
Lie 群 \(\mathrm{SO}(3)\) 3 剛體旋轉的組態空間
時空 \(\mathbb{R}^{3,1}\) 4 廣義相對論的舞台
投影空間 \(\mathbb{RP}^2\) 2 不可定向——內側外側不分

後果#

  1. 廣義相對論（1915）：重力場 = 流形上的度量 \(g\) ，Einstein 方程 \(\mathrm{Ric} - \tfrac12 R g = 8\pi T\) 是一組幾何 PDE。
  2. 規範場論（8.4）：物理的力 = 流形上的叢（bundle）聯絡。
  3. 指數定理（11.2）：橋接流形的解析學（橢圓算子）與拓撲。
  4. 里奇流（12.1）：讓流形自己「流」向均勻——幾何化的微積分。
  5. 機器學習（13.3）：資料被假設分布在某個低維流形上。

練習與思考#

  1. 說明為什麼 \(S^2\) 無法用單一坐標卡覆蓋（提示：一維的 \(\mathbb{R}\) 開集是線段，去掉一點不連通；球面去掉一點同胚於 \(\mathbb{R}^2\) ）。
  2. 「切空間」與「流形本身」的差別何在？為什麼導數必須重新定義？