拉回（pullback）
當你在積分裡換變量——從 x 換到新變量，或用參數 u 與 v 描述曲面——你做代入，於是冒出一個雅可比因子。拉回就是這一代入對微分形式而言乾淨、自動的版本。給定一個把一個空間送入另一個空間的光滑映射 F，拉回（用一顆星記，F-star）把住在目標空間上的形式，通過純粹的代入，變成源空間上的形式。
其配方恰是你已經在手算的那一套。要把 omega 沿 F 拉回，把每個座標換成它用新變量表達的公式，把每個 dx 換成它的微分。若 F 把 (u, v) 送到 (x(u,v), y(u,v))，則 F-star 作用於 dx 是 x_u du + x_v dv，F-star 作用於 dy 是 y_u du + y_v dv；你把它們代入 omega 並用楔積規則化簡。換元的雅可比行列式在你做楔時自己落出來：F-star 作用於 (dx^dy) 變成（雅可比）du^dv。所以拉回就是換元公式，只是由形式的代數記賬，而不是當作一條單獨的規則去記。
拉回正是讓形式成為合適積分對象的那條性質。核心事實是：拉回與外微分可交換，F-star(d omega) = d(F-star omega)，且與楔積可交換，於是整套微積分在任何座標或參數化變更下原封不動地存活。這正是「形式的積分不依賴你如何參數化區域」的原因——重新參數化，拉回就用恰好所需的雅可比來調整被積式，使答案保持不變。它是「在參數化曲面上積分」背後的發動機，也是斯托克斯定理無關座標的原因。
把面積形式 dx^dy 通過極座標 x = r cos t、y = r sin t 拉回。則 F-star dx = cos t dr - r sin t dt，F-star dy = sin t dr + r cos t dt。做楔，交叉項給出 F-star(dx^dy) = r (cos^2 t + sin^2 t) dr^dt = r dr^dt——熟悉的 r dr d(theta) 面積元，自動產生。
把面積形式通過極座標拉回，直接給你雅可比因子 r，無需任何額外規則。
即便映射 F 向前走，拉回卻把形式向後送（從目標到源）。向量場不能這樣乾淨地拉回——你只能把它們向前推，而且只有當 F 可逆時才行。這種不對稱是形式相對於向量場的真正優勢。