字典：辛形式把函數變成向量場
從第一篇你帶著一個結構：一個辛流形 (M, omega)，一個偶數維的光滑流形，配有一個閉的（d omega = 0）且非退化的 2-形式 omega。非退化在此是主力，所以讓我們把它榨乾。在每一點 p，omega 是切空間 T_p M 上一個反對稱、可逆的雙線性配對。可逆意味著它給了一個把向量變成餘向量的完美辦法：把一個向量 X 餵進 omega 的其中一個槽，你就得到一個落在餘切空間裡的餘向量 omega(X, -)。由於 omega 非退化，這個映射 TM -> T*M，X -> omega(X, -)，是一個叢同構——它有逆映射。正是這個同構，是整個哈密頓力學的引擎。
現在把引擎倒過來開。取任意光滑函數 H: M -> R——在物理上就是能量、可觀測量，一個「哈密頓量」。它的微分 dH 是一個 1-形式，亦即 T*M 的一個截面。既然 omega 能把餘向量換回向量，dH 便指名了一個唯一的向量場。我們稱它為 H 的哈密頓向量場，記作 X_H，由單一方程 iota_{X_H} omega = dH 定義，也就是 omega(X_H, -) = dH(-)。把它讀作一則字典條目：辛形式是字典，函數 H 是一個詞，而 X_H 是它譯成「流」的語言。一個黎曼度量會做類似的把戲，遞給你梯度場 grad H；辛版本是它的反對稱孿生兄弟，而正是這個反對稱性，讓動力學成為保守的而非耗散的。
Standard R^{2n} with omega_0 = sum dp_i ^ dq_i (Darboux coordinates, Guide 1)
X_H defined by: omega_0(X_H, -) = dH
works out to: X_H = sum ( dH/dp_i d/dq_i - dH/dq_i d/dp_i )
flow of X_H = Hamilton's equations:
dq_i/dt = dH/dp_i
dp_i/dt = -dH/dq_i哈密頓流同時保持能量與辛形式
一個向量場的好壞，全看它生成的流，所以設 phi_t 是 X_H 的流——把每個點沿 X_H 推進時間 t。兩條守恆律幾乎免費地掉出來，而兩者都是反對稱性的一行推論。第一，能量守恆：H 沿著它自己的流的變化率是 X_H(H) = dH(X_H) = omega(X_H, X_H) = 0，因為 omega 反對稱，任何向量與自身配對都給出零。所以 H 沿每條軌跡都是常數——流被黏在某個等位集 {H = c} 上。這正是為何你把相圖畫成住在能量殼上、永不相交的曲線。
第二，且在結構上更深刻：流保持 omega 本身：每個 phi_t 都是辛同胚，即第一篇那種保結構映射。最乾淨的證明是嘉當魔術公式 L_X = iota_X d + d iota_X，把它用在 omega 沿 X_H 的李導數上。看著它坍縮：L_{X_H} omega = iota_{X_H} (d omega) + d(iota_{X_H} omega) = iota_{X_H} 0 + d(dH) = 0 + 0 = 0。第一項消失是因為 omega 是閉的（d omega = 0）——這正是閉性的隱藏職責——第二項消失是因為 d^2 = 0。所以李導數為零，意味著 omega 被流拖著走卻分毫不變。哈密頓動力學恰恰就是尊重辛形式的那種動力學。
帕松括號：可觀測量成為一個李代數
我們現在有一個從函數到向量場的映射 H -> X_H。下一步是把它再帶回函數，並發掘隱藏的代數。給定兩個可觀測量 f 與 g，把它們的帕松括號定義為 {f, g} = omega(X_f, X_g)——把這兩個哈密頓向量場餵進辛形式。等價地，{f, g} = X_f(g) = dg(X_f)，所以它度量 g 沿 f 的哈密頓流的變化率。在達布座標下，這就是熟悉的 {f, g} = sum (df/dq_i dg/dp_i - df/dp_i dg/dq_i)。這個括號是反對稱的，{f, g} = -{g, f}（來自 omega 的反對稱），且在 R 上雙線性。
深刻的事實是：這個括號滿足雅可比恆等式 {f, {g, h}} + {g, {h, f}} + {h, {f, g}} = 0——而這正是 omega 的閉性再度被花掉之處，d omega = 0 等價於雅可比恆等式。於是光滑函數空間 C^infinity(M) 在帕松括號之下成為一個無窮維的李代數，與你在本卷稍早遇過的李群之李代數有著相同的抽象形狀。更妙的是，指派 f -> X_f 是一個李代數同態：X_{{f,g}} = -[X_f, X_g]，把函數的帕松括號變成向量場的李括號（符號取決於你的約定）。兩層括號，一本字典把它們相連。
這套代數並非裝飾——它是守恆量的語言。既然 {f, g} = X_f(g)，函數 g 沿 f 的流守恆，恰好就是 {f, g} = 0 之時。特別地，{H, g} = 0 說的是 g 是能量 H 的一個運動常數。而 {H, H} = 0 用一個符號重新導出了能量守恆。諾特定理、第四篇的動量映射，以及整套對稱性的記帳，全都住在這裡：對稱性就是與 H 帕松交換的函數，而括號正是你偵測、組合並傳播它們的方式。當你抵達動量映射時，你會看到帕松括號再度現身，成為讓群作用變得「哈密頓」的那個結構。
劉維定理：相空間體積無法被壓縮
現在來收紅利。在 2n 維辛流形上，omega 的最高楔冪，即 omega^n = omega ^ omega ^ ... ^ omega（n 個拷貝），處處不為零——非退化性保證了這點——所以它是一個體積形式，即劉維體積（差一個常數 1/n!）。我們已經證明哈密頓流保持 omega；把 omega 與自身相楔，它因此也保持 omega^n。這就是劉維定理：任何哈密頓向量場的流都保持相空間體積。一團初始條件可以拉伸、摺疊、抽絲成狂野的形狀，但它的總 2n 維體積在往後每一刻都分毫不差。
在最小的情形把它畫出來：R^2，座標 (q, p)，omega_0 = dp ^ dq，此時劉維形式不過就是尋常的面積。那裡的哈密頓流是平面的保面積流：擺的相圖打著漩渦，但任意一小塊初始狀態的平行四邊形永遠保住它的面積。簡諧振子 H = (p^2 + q^2)/2 讓 X_H 剛性地旋轉平面——等能量的圓圈，面積理所當然地被保持。一個更混沌的 H 把那團狀物剪切成纏繞能量殼的細長卷鬚，面積卻被釘死。這幅單一圖像正是統計力學的幾何核心：它解釋了為何相空間上的均勻機率密度保持均勻，是微正則系綜底下的根基。
讓字典上工
本篇的一切，都是同一本字典朝不同方向讀，所以明確地把這趟往返演練一遍很值得。函數 H 給出餘向量場 dH；omega 的非退化性把它轉成哈密頓向量場 X_H；X_H 的流給出動力學，而由第一篇的達布定理，那道流在典範座標下局部看來就是哈密頓方程。把兩個這樣的場再經 omega 配對，便回到函數，成為帕松括號；omega 的閉性使該括號成為李代數、使流成為辛同胚；而把 omega 楔到最高次，便給出劉維的體積守恆。把整條鏈一覽無遺，這門學問便不再是一串具名定理，而成了從幾個側面看見的同一個念頭。
- 選一個哈密頓量：在 (M, omega) 上選一個光滑函數 H——一個能量或可觀測量——並計算它的微分 dH。
- 解出向量場：找出滿足 iota_{X_H} omega = dH 的唯一 X_H；在達布座標下，這直接讀出哈密頓方程 dq/dt = dH/dp、dp/dt = -dH/dq。
- 獵取守恆量：任何滿足 {H, g} = 0 的 g 都是運動常數；特別地 {H, H} = 0 重新證明了能量守恆，而帕松交換的函數堆疊成對稱性。
- 追蹤體積：作出劉維形式 omega^n；既然流保持 omega，它便保持 omega^n，所以即使形狀扭曲，相空間體積仍不變——劉維定理在運作中。
這通向何方？守恆量的故事在第四篇成熟為動量映射與馬斯登-溫斯坦約化，在那裡，一整個對稱群份量的帕松交換函數被打包成單一映射，並用來收縮相空間。等位集 {H = c} 與這些流的圖像本身就是幾何對象——而其中最重要者是拉格朗日的，那正好是第三篇的主題。把「一個函數生成一道保體積的流」這幅圖像牢牢記在心裡；它是本級之後一切的穩定鼓點。