光滑流形，或稱 微分流形、 可微流形，是指一個被賦予了光滑結構的拓撲流形。一般的，如果不特指，微分流形或可微流形指的就是類的微分流形。可微流形在物理學中非常重要。特殊種類的可微流形構成了經典力學、廣義相對論和楊 米爾斯理論等物理理論的基礎。可以為可微流形開發微積分。可微流形上的微積分研究被稱為微分幾何。 歷史 微分幾何（differential geometry）作為一個獨特的學科的出現一般歸功於高斯（Carl Friedrich Gauss）和黎曼（ Bernhard Riemann）。黎曼在哥廷根的著名的康復講座中描述了多個面向。他透過在一個新的方向上改變給定物件的直觀過程激發了多方面的想法，並且預先描述了協調系統和圖表在隨後形式發展中的作用： 在一個概念下的事例如果構成 n 維流形，一個流形的特色可以簡單表示其屬性，則化簡的結果必然是有限個數字， 波恩哈德黎曼的就職演說《論作為幾何學基礎的假設》 物理學家詹姆斯克拉克麥克斯韋（James Clerk Maxwell）和數學家庫爾巴斯托羅（Gregorio RicciCurbastro）和齊維塔（Tullio LeviCivita）的成果匯入了張量分析和廣義協變性的概念，它將內在幾何屬性識別為關於協調變換的不變數。這些想法在 1912 年愛因斯坦發展廣義相對論理論時取得關鍵性的應用。外爾（Hermann Weyl）於 1912 年給出了微分流形的一個內在的定義。1930 年代，該課題基礎性方面的工作被哈斯勒惠特尼（Hassler Whitney）等人釐清，使得從 19 世紀下半葉起開始發展起來的相關的直覺知識變得更精確，並透過微分幾何和李群使微分流形的理論得到進一步的發展。 可微流形的定義 設 r 是自然數，m 維拓撲空間 mathcal M 被稱為是 m 維 mathbf Cr 可微流形，如果， mathcal M 為豪斯多夫空間 mathcal M 被 m 維座標鄰域所覆蓋，換句話說，存在 mathcal M 中的 m 維座標鄰域族 leftU_alphavarphi_alpharight_alphain A，使得 mathcal Mcup_alpha in A U_alpha 滿足 U_alpha cap U_betaW_alphabetaneq phi 的任意 alphabetain A，其座標轉換 varphi_betacirc varphi_alpha1 varphi_alpha W_alphabetasubseteq mathbb Rm mapsto varphi_beta W_alphabetasubseteq mathbb Rm 為一個 mathbb Rm 到 mathbb Rm 的 mathbf Cr 對映。 注意：每個座標鄰域 U_alpha 都是流形 mathcal M 中的開集合。 當第三個條件中的座標變換改成是光滑對映（代表可無限次微分）時，滿足這三條件的稱為光滑流形，寫作 mathbf Cinfty 流形；當座標變換不是可微對映，僅是連續對映時，滿足這三條件的稱為拓撲流形，寫作 mathbf C0 流形。 圖冊 拓撲空間 X 上的圖冊稱為卡（chart）的的集合，其中 Uα 是覆蓋 X 的開放集合，並且對於每個索引 α varphi_alpha colon U_alpha to mathbf Rn 是 Uα 在 n 維真實空間的開放子集上的同胚。圖冊的轉移對映（transition map）功能是 varphi_alphabeta varphi_betacircvarphi_alpha1_varphi_alpha U_alphacap U_beta colon varphi_alpha U_alphacap U_beta to varphi_beta U_alphacap U_beta 以圖冊來定義流形的概念是由夏爾埃雷斯曼於 1943 年所提出。每個拓撲流形都有一個圖冊。Ckatlas 是一個圖冊，其轉換圖是 Ck。拓撲流形具有 C0atlas，並且通常 Ck 流形具有 Ckatlas。連續圖冊（continuous atlas）是 C0 圖冊，平滑圖冊是 C圖冊，分析圖冊（analytic atlas）是 Cω 圖冊。 替代定義 偽群 偽群（Pseudogroups）的概念提供了彈性的圖冊泛化（generalization of atlases），允許以統一的方式在流形上定義成各種不同的結構。偽群由拓撲空間 S 和由 S 的開放子集到 S 的其他開放子集的同態組成的集合 Γ 組成，使得 如果，且 U 是 f 的域的開放子集，則限制 fU 也在 Γ。 如果 f 開放子集合的同胚，cup_i U_i 到 S 的開放子集，則 為每個 i 提供 f_U_i in Gamma 。 對於每個開放的， U 的身份轉換在 Γ。 如果，則。 Γ 的兩個元素組成在 Γ。 最後三個條件類似於一個群（group）的定義。注意，Γ 不必是群，因為這些函式在 S 上不是全域定義的。 結構層 有時使用替代方法來賦予具有 Ck 結構的流形是有用的。這裡 k 1 2 或 ω 為實分析流形（real analytic manifolds）。不考慮坐標圖，可以從流形本身定義的功能開始。M 的結構層（structure sheaf），表示為 Ck，是一種函式 ，它為每個開放集定義連續函式的代數 Ck U。 可微分函式 在 n 維可微分流形 M 上的實值函式 f 在點處被稱為可微分 ，如果它在 p 周圍定義的任何坐標圖中是可微分的。更準確地說，如果是卡（chart），其中 U 包含 p，是 M 的開集，而且是定義卡（chart）的對映，則 f 是可微分的，如果且僅當 fcirc varphi1 colon varphi Usubset mathbf Rn to mathbf R 在 φp 處是可微分的。一般會有很多可用的卡（chart）；然而，可微分的定義不取決於 p 的卡（chart）的選擇。從鏈式法則（chain rule）應用到一個卡（chart）和另一個圖之間的轉換函式，如果 f 在 p 的任何特定卡（chart）中都是可微分的，那麼在 p 的所有卡（chart）中都是可微分的。類似的情況適用於定義 Ck 函式，平滑函式和分析函式。 叢 切線叢 點的切空間由該點處的可能的方向導數構成，並且具有與流形相同的維數 n。對於一組（非奇異）坐標 xk 在本地點，坐標導數（coordinate derivatives）partial_kfrac partialpartial x_k 確定切線空間的完整基礎。 餘切叢 向量空間的對偶空間（dual space）是向量空間上的實值線性函式集合。餘切空間處的一點是該點的切線空間的對偶位置，而餘切叢（cotangent bundle）是所有餘切空間的集合。 流形結構 黎曼流形 黎曼流形是一個可微分的流形，切空間以微分的方式產生內積。內積結構可以稱為黎曼度量（metric）。該度量可以用於互變向量和輔助向量，並定義 rank 4 黎曼曲率張量。黎曼流形有長度、體積和角度的概念。任何可微流形都可以被稱為黎曼結構。 扭對稱流形 一個共同的流形是具有封閉性的，非退化的 symmetric 2tensor 形式的流形。這種情況迫使相似的流形是均勻的。在漢密爾頓力學中作為相位空間出現的反切叢（Cotangent bundles）是激勵的例子，但是許多緊湊型流形也具有扭對稱（symplectic）結構。 參見 仿射聯絡 圖冊 拓撲學 克里斯托費爾符號 微分幾何 參考文獻 W Category 微分拓撲學 Category 流形