微分流形

光滑流形（英語：smooth manifold），或稱 C^∞-微分流形（differential manifold）、C^∞-可微流形（differentiable manifold），是指一個被賦予了光滑結構的拓撲流形。一般的，如果不特指，微分流形或可微流形指的就是 C^∞ 類的微分流形。可微流形在物理學中非常重要。特殊種類的可微流形構成了經典力學、廣義相對論和楊-米爾斯理論等物理理論的基礎。可以為可微流形開發微積分。可微流形上的微積分研究被稱為微分幾何。

歷史

微分幾何（differential geometry）作為一個獨特的學科的出現一般歸功於高斯（Carl Friedrich Gauss）和黎曼（ Bernhard Riemann）。黎曼在哥廷根的著名的康復講座中描述了多個面向。他通過在一個新的方向上改變給定對象的直觀過程激發了多方面的想法，並且預先描述了協調系統和圖表在隨後形式發展中的作用：

在一個概念下的事例如果構成n維流形，一個流形的特色可以簡單表示其屬性，則化簡的結果必然是有限個數字，…… - 波恩哈德·黎曼的就職演說《論作為幾何學基礎的假設》

物理學家詹姆斯·克拉克·麥克斯韋（James Clerk Maxwell）和數學家庫爾巴斯托羅（Gregorio Ricci-Curbastro）和齊維塔（Tullio Levi-Civita）的成果導入了張量分析和廣義協變性的概念，它將內在幾何屬性識別為關於協調變換的不變量。這些想法在1912年愛因斯坦發展廣義相對論理論時取得關鍵性的應用。外爾（Hermann Weyl）於1912年給出了微分流形的一個內在的定義。1930年代，該課題基礎性方面的工作被哈斯勒·惠特尼（Hassler Whitney）等人釐清，使得從19世紀下半葉起開始發展起來的相關的直覺知識變得更精確，並通過微分幾何和李群使微分流形的理論得到進一步的發展。

C^r -可微流形的定義

設 $r$ 是自然數， $m$ -維拓撲空間 ${\mathcal {M}}$ 被稱為是 $m$ -維 $\mathbf {C} ^{r}$ 可微流形，如果，

${\mathcal {M}}$ 為豪斯多夫空間
${\mathcal {M}}$ 被 $m$ -維坐標鄰域所覆蓋，換句話說，存在 ${\mathcal {M}}$ 中的 $m$ -維坐標鄰域族 $\left\{(U_{\alpha },\varphi _{\alpha })\right\}_{\alpha \in A}$ ，使得 ${\mathcal {M}}=\cup _{\alpha \in A}U_{\alpha }$
滿足 $U_{\alpha }\cap U_{\beta }:=W_{\alpha \beta }\neq \phi$ 的任意 $\alpha ,\beta \in A$ ，其坐標轉換

\varphi _{\beta }\circ \varphi _{\alpha }^{-1}:\varphi _{\alpha }(W_{\alpha \beta })\subseteq \mathbb {R} ^{m}\mapsto \varphi _{\beta }(W_{\alpha \beta })\subseteq \mathbb {R} ^{m}

為一個

\mathbb {R} ^{m}

到

\mathbb {R} ^{m}

的

\mathbf {C} ^{r}

映射。

注意：每個座標鄰域 $U_{\alpha }$ 都是流形 ${\mathcal {M}}$ 中的開集合。
當第三個條件中的座標變換改成是光滑映射（代表可無限次微分）時，滿足這三條件的稱為光滑流形，寫作 $\mathbf {C} ^{\infty }$ 流形；當座標變換不是可微映射，僅是連續映射時，滿足這三條件的稱為拓撲流形，寫作 $\mathbf {C} ^{0}$ 流形。

圖冊

X

U_{\alpha }

U_{\beta }

\varphi _{\alpha }

\varphi _{\beta }

\varphi _{\alpha \beta }

\varphi _{\beta \alpha }

\mathbf {R} ^{n}

\mathbf {R} ^{n}

流形由卡（chart）的集合定義

拓撲空間X上的圖冊稱為卡（chart）的{(U_α, φ_α)}的集合，其中U_α是覆蓋 X的開放集合，並且對於每個索引α

\varphi _{\alpha }\colon U_{\alpha }\to {\mathbf {R} }^{n}

是U_α在n維真實空間的開放子集上的同胚。圖冊的轉移映射（transition map）功能是

\varphi _{\alpha \beta }=\varphi _{\beta }\circ \varphi _{\alpha }^{-1}|_{\varphi _{\alpha }(U_{\alpha }\cap U_{\beta })}\colon \varphi _{\alpha }(U_{\alpha }\cap U_{\beta })\to \varphi _{\beta }(U_{\alpha }\cap U_{\beta }).

以圖冊來定義流形的概念是由夏爾·埃雷斯曼於1943年所提出。每個拓撲流形都有一個圖冊。C^k-atlas是一個圖冊，其轉換圖是C^k。拓撲流形具有C⁰-atlas，並且通常C^k-流形具有C^k-atlas。連續圖冊（continuous atlas）是C⁰圖冊，平滑圖冊是C^∞圖冊，分析圖冊（analytic atlas）是C^ω圖冊。

替代定義

偽群

偽群（Pseudogroups）的概念提供了彈性的圖冊泛化（generalization of atlases），允許以統一的方式在流形上定義成各種不同的結構。偽群由拓撲空間S和由S的開放子集到S的其他開放子集的同態組成的集合Γ組成，使得

如果f ∈ Γ，且U是f的域的開放子集，則限制f|_U也在Γ。
如果f 開放子集合的同胚, $\cup _{i}\,U_{i}$ , 到 S的開放子集，則 f ∈ Γ為每個i提供 $f|_{U_{i}}\in \Gamma$ 。
對於每個開放的U ⊂ S， U的身份轉換在Γ。
如果f ∈ Γ，則f⁻¹ ∈ Γ。
Γ的兩個元素組成在Γ。

最後三個條件類似於一個群（group）的定義。注意，Γ不必是群，因為這些函數在S上不是全域定義的。

結構層

有時使用替代方法來賦予具有C^k結構的流形是有用的。這裡k = 1, 2, ..., ∞, 或ω為實分析流形（real analytic manifolds）。不考慮坐標圖，可以從流形本身定義的功能開始。M 的結構層（structure sheaf），表示為C^k，是一種函數，它為每個開放集U ⊂ M定義連續函數U → R的代數C^k(U)。

可微分函數

在n維可微分流形 M上的實值函數f在點p ∈ M處被稱為可微分，如果它在p周圍定義的任何坐標圖中是可微分的。更準確地說，如果(U, φ)是卡（chart），其中U包含p，是 M的開集，而且φ : U → Rⁿ是定義卡（chart）的映射，則f是可微分的，如果且僅當

f\circ \varphi ^{-1}\colon \varphi (U)\subset {\mathbf {R} }^{n}\to {\mathbf {R} }

在φ(p)處是可微分的。一般會有很多可用的卡（chart）；然而，可微分的定義不取決於p的卡（chart）的選擇。從鏈式法則（chain rule）應用到一個卡（chart）和另一個圖之間的轉換函數，如果f在p的任何特定卡（chart）中都是可微分的，那麼在p的所有卡（chart）中都是可微分的。類似的情況適用於定義C^k函數，平滑函數和分析函數。

叢

切線叢

點的切空間由該點處的可能的方向導數構成，並且具有與流形相同的維數n。對於一組（非奇異）坐標x_k在本地點，坐標導數（coordinate derivatives） $\partial _{k}={\frac {\partial }{\partial x_{k}}}$ 確定切線空間的完整基礎。

餘切叢

向量空間的對偶空間（dual space）是矢量空間上的實值線性函數集合。餘切空間處的一點是該點的切線空間的對偶位置，而餘切叢（cotangent bundle）是所有餘切空間的集合。

流形結構

黎曼流形

黎曼流形是一個可微分的流形，切空間以微分的方式產生內積。內積結構可以稱為黎曼度量（metric）。該度量可以用於互變向量和輔助向量，並定義rank 4黎曼曲率張量。黎曼流形有長度、體積和角度的概念。任何可微流形都可以被稱為黎曼結構。

扭對稱流形

一個共同的流形是具有封閉性的，非退化的symmetric 2-tensor形式的流形。這種情況迫使相似的流形是均勻的。在漢密爾頓力學中作為相位空間出現的反切叢（Cotangent bundles）是激勵的例子，但是許多緊湊型流形也具有扭對稱（symplectic）結構。

參見

參考文獻

陳, 省身; 陳維桓. 微分几何讲义. 北京大學出版社. 2001 [2011-10-05]. ISBN 7-301-05151-4. （原始內容存檔於2019-06-10）.
蘭, 塞爾日. Fundamentals of Differential Geometry [微分幾何基礎]. 北京: 施普林格出版社、世界圖書出版公司. 2010 [1998] [2011-10-05]. ISBN 7-5100-0540-X. （原始內容存檔於2021-11-21）.
德拉姆, 喬治. Differentiable Manifolds [可微流形]. 北京: 施普林格出版社、中國學術出版社. 1984 [1984]. CSBN W13262·15 請檢查|csbn=或|unified=的值 (幫助).

歷史

Cr -可微流形的定義

圖冊