流形與黎曼幾何

映射的微分(differential of a map)

假設一個光滑映射 F 把一個流形送進另一個流形——想像把一張平面薄片彎成彎曲形狀的變形,或是從曲面到空間的函數。把鏡頭拉到單一點極近處,任何光滑變形看起來都像一個簡單的線性伸縮加旋轉:那個局部的線性圖像就是微分。它是尋常導數的多變數、無座標版本,刻畫 F 如何扭曲一點附近的微小向量。

精確地說,若 F 把流形 M 送到流形 N、p 是 M 上一點,則 F 在 p 的微分(記作 dF_p)是從切空間 T_p M 到切空間 T_(F(p)) N 的一個線性映射。它依連鎖律作用在速度向量上:取一條通過 p、速度為 v 的曲線;把這曲線沿 F 推前,得到一條通過 F(p) 的曲線;那條像曲線的速度就是 dF_p(v)。在座標下,dF_p 恰好是 F 的偏導數所成的雅可比矩陣——但流形觀點讓這想法擺脫任何特定座標,使同一個對象在任兩個流形之間都有意義。

微分是把非線性幾何一次一點地化為線性代數的主力。它的秩告訴你 F 在局部是嵌入、淹沒(submersion),還是把東西摺疊起來;反函數定理與隱函數定理都透過它陳述。常見的失誤是把 F 本身(它移動點)和 dF_p(它移動切向量、且永遠線性)搞混。還要注意方向:向量沿 F 被推前,而餘向量與函數則被拉回——箭頭相反,這個區別在餘切空間處變得至關重要。

令 F(x, y) = (x^2 - y^2, 2xy),是平面到自身的映射。在點 (1, 1),它的雅可比矩陣是 [2, -2; 2, 2]。微分 dF_(1,1) 把那裡的微小速度向量 v 送到此矩陣乘以 v:它旋轉 45 度、把長度放大約 2.83 倍,這正是 F 在 (1, 1) 處最好的線性逼近。

微分就是把雅可比矩陣看成切空間之間一個與座標無關的線性映射。

微分 dF_p 依賴於點 p:光滑映射未必處處以相同方式伸縮。把映射與其微分混為一談,或忘了微分逐點變化,是這裡最常見的初學者錯誤。

又稱
pushforwardtangent mapthe derivative推前切映射dF