向量場(vector field)
想像氣象圖上的風:每個點都有一支箭頭,標示空氣往哪個方向、以多大強度移動。把一支箭頭指派給每個點,這個指派就是向量場。在流形上,箭頭不是自由漂浮的;每個點的箭頭必須落在該點自己的切空間裡——它是你站在那裡時真能擁有的一個速度。
精確地說,流形 M 上的光滑向量場是一條光滑規則,把每個點 p 指派一個切向量 X(p) 落在 T_p M 中。在圖卡裡寫成 X = a^1 d/dx^1 + ... + a^n d/dx^n,其中分量 a^i 是位置的光滑函數。向量場可有兩種讀法,皆屬標準:當成一片箭頭場,或當成一個一階微分算子,把函數 f 送到它沿箭頭的方向導數 X(f)。沿箭頭前進會生成一個流(flow)——解微分方程 dx/dt = X(x),你會得到積分曲線,也就是若粒子在每點的速度都等於該處場的箭頭時所描出的軌跡。
向量場是動力學的語言,也是幾何機器的語言:流的速度場、函數的梯度(一旦選定度量),以及量測兩個流如何不可交換的李括號(Lie bracket)的基本構件。一個著名而誠實的極限是毛球定理(Hairy Ball Theorem):在偶數維球面上,每個連續向量場必在某處為零——你無法把毛球梳得處處平順而不留一撮翹毛。所以流形的拓樸限制了哪些向量場能存在,這是形狀與分析深刻交織的第一個暗示。
在平面上,向量場 X(x, y) = (-y, x) 為每個點指派一支箭頭,與從原點到該點的連線成直角,全都逆時針旋轉。它的積分曲線是以原點為心的圓,而它生成的流是繞原點以單位角速度做的剛體旋轉。
向量場在每個點放上一支切向量箭頭;沿箭頭前進就描出它的流。
p 處的箭頭必須落在 T_p M 中,所以不同點的向量不能直接相加——它們屬於不同的空間。毛球定理也提醒:並非每個流形都容得下一個處處非零的向量場。