餘切空間

餘切空間是微分流形在某點處所有餘切矢量構成的線性空間。其基矢為dx^i，係數由函式偏導數∂f/∂x^i確定，與切空間通過內積形成對偶關係。該概念在熱力學、多變數微積分等領域有重要套用，如描述麥克斯韋關係式與柯西條件。餘切空間構成了餘切叢的基本單元，是研究流形積分與拓撲不變數的基礎框架。餘切空間作為流形M上某點p處所有餘切矢量df構成的線性空間T∗pM，其基矢為dx^i，係數由函式f的偏導數∂f/∂x^i構成。

基本介紹

• 公布時間：1993年
• 所屬學科：微分幾何
• 核心定義：餘切矢量構成的線性空間 
• 套用領域：熱力學、拓撲相變、微分流形理論 
• 相關結構：餘切叢由余切空間構成 
• 對偶空間：切空間TpM 

定義與結構

餘切空間T*_pM定義為微分流形M在點p處全體餘切矢量df構成的線性空間。其基底由坐標微分dx^i組成，對應的係數為函式f在局部坐標系下的偏導數∂f/∂x^i，滿足線性組合關係w=Σ_i w_i dx^i。

在2021年春季的凝聚態場論課程中，特彆強調了該空間與光滑函式芽的對應關係：每個餘切矢量df對應於函式f在p處的微小變化量，這種對應關係保持線性結構不變。

對偶關係

餘切空間與切空間TpM通過配對運算⟨·,·⟩：T*_pM × TpM → R形成嚴格對偶。給定切矢量v=Σ v^i ∂/∂x^i與餘切矢量w=Σ w_j dx^j，其內積為⟨w,v⟩=Σ_i v^i w_i。

這種對偶性體現在：

• 坐標基底間的正交性：⟨dx^i, ∂/∂x^j⟩=δ^i_j
• 張量場的自然提升與下降運算
• 在流形局部坐標系下的分量協變/逆變特性

物理套用

在熱力學系統中，餘切空間為描述狀態方程提供數學框架。如內能U作為狀態函式時，其微分dU=TdS−PdV的閉合性條件要求∂T/∂V=∂(-P)/∂S，這一麥克斯韋關係式本質上依賴於餘切空間的微分形式結構。

在多變數微積分中，柯西條件df=Pdx+Qdy的閉合性要求∂P/∂y=∂Q/∂x，等價於餘切矢量的外微分d(df)=0。該條件保證了路徑無關積分的可行性。

流形積分

餘切空間框架下的微分形式積分理論是研究流形拓撲性質的核心工具。外微分運算元d將k形式映射為(k+1)形式，其運算規則：
$$d(ω ∧ η) = dω ∧ η + (-1)^k ω ∧ dη$$
其中ω為k形式，η為任意微分形式。這種代數結構為陳類等拓撲不變數的計算提供了理論支撐。

課程資料（2021年）特別指出，通過餘切空間建立的微分形式理論，可嚴格推導出量子霍爾效應中的陳數計算公式，揭示拓撲相變的幾何本質。

相關結構

餘切叢定義為流形上所有餘切空間的並集∪T*_pM，其局部坐標由(x^i, ξ_i)構成，其中ξ_i為餘切矢量分量。餘切空間作為流形M上某點p處所有餘切矢量df構成的線性空間T∗pM，其基矢為dx^i，係數由函式f的偏導數∂f/∂x^i構成。該結構作為纖維叢的典型實例：

• 投影映射π:T*M→M將每個餘切空間與基點關聯
• 截面對應流形上的微分1-形式場
• 自然攜帶辛結構Ω=Σ dξ_i ∧ dx^i

該概念在2025年百度漢語的詞條釋義中被明確表述為"餘切叢由余切空間構成"，其橫縱坐標關係與平面直角坐標系中的餘切定義具有內在一致性。