法蘭克的數學世界
主要用中文寫的數學部落格
光滑流形(Smooth Manifold)
導言
今天要跟各位談的是一種比較特殊的拓樸空間,這個拓樸空間呢叫做流形(Manifold)。這個拓樸空間特別的地方就在於它每個點的附近看起來都像歐氏空間,換句話說,他是由一些歐氏空間所黏貼而成。舉例來說,我們所生長的地球就是一個具有這樣性質的空間。想一想,我們生活在地球上,我們自己覺得是生活在平地上並沒有感覺到我們所生活的空間是彎曲的。由於這個空間局部上看起來很像是歐氏空間,所以我們可以賦予這空間座標系的概念。例如,我們熟知的地球,有經度跟緯度這樣的概念,而經緯的概念就是座標系的概念。在介紹一般的流形概念之前,讓我們先來看一下,在歐氏空間中如何定義曲線與曲面的概念。歐氏空間的參數化曲線
令區間,連續函數稱為中的一條參數化曲線。如果 且均是光滑函數,則我們稱是光滑曲線。如果是光滑曲線並且 則我們稱是一條正則的光滑曲線。以下我們討論的曲線均為光滑的正則曲線。假設且則我們稱是曲線在點的切向量,我們記。
範例:令 其中且。則是通過點且在點的切向量為的正則曲線。
令表示的標準基底。令表示一個可微分函數,其中是一個開集合。任取一條中的曲線其中。令且我們定義函數在點延著方向的方向導數為
如果均是定義在點附近的光滑函數,則我們可以驗證:
(1)
(2)
於是切向量就被賦予了新的意義。當然這意義是人工的,我們只是把切向量看成是對函數做微分。這樣的目的是為了在抽象的流形中引入切向量的概念,隨後我們會見到。
歐氏空間中的維曲面
假設是中的開集合。令表示一光滑映射且(1)是一個拓樸同胚
(2)任意的 是一個rank為的矩陣。
則我們稱映射是中的一個維參數化曲面(我們或稱是一個維參數化曲面)。我們使用做為的座標函數,作為的座標函數。為了簡化符號,讓我們記
範例:令定義如下:
當你把不同的維參數化曲面給黏貼起來,那麼你就得到了一般的維曲面。
定義:令表示中的子集合。我們稱是的一個開集合若且唯若存在中的開集合使得。因此成了一個拓樸空間。如果存在的一個開覆蓋使得每個都是參數化曲面(意思就是:任給一個 存在滿足參數化曲面的映射)則我們稱是中的維曲面。
範例:是中的一個二維曲面。
光滑流形的一般定義
嚴謹的流形定義如下:假設是一個拓樸空間,如果此拓樸空間滿足下列條件,則我們稱此拓樸空間為一個拓樸流形:任給一個上的點,存在的開鄰域與歐氏空間中的開集合使得與是拓樸同胚。換句話說,存在一個一對一且映成的連續函數 使得也是連續函數。任取上的點則。我們稱函數組是點附近的一個局部座標系。而則稱為的參數化(parametrization)。假設是一個拓樸流形,並且存在上的開覆蓋 以及上的局部座標系使得當時,
以下我們談到的指的均是光滑流形。附註:如果且是上的複解析函數,那麼我們稱是一個複流形。
定理: (Whitney Embedding Theorem) 假設是一個微流形,則存在使得是的維曲面。
這個定理告訴我們,所有的光滑流形都是某個歐氏空間中的光滑曲面。
光滑流形的環空間定義方式
令是中的開集合,並且是一個連續函數。如果對任意的使得,合成函數定理:函數空間構成實交換環。
如果是的開子集並且是上的光滑函數,令表示限制在上的函數。換句話說,我們定義為 利用光滑函數的定義,我們可以證明是上的光滑函數。因此 我們很自然的得到了一個環的同態映射(homomorphism)
定義:如果是一個拓樸空間,是上的層環,那麼我們稱序對是一個環空間。
定理:是光滑流形上的一個層(sheaf)。而構成了一個環空間。
假設是一個拓樸空間,並且是一個定義在上的環層(sheaf of rings)。則我們稱序對是一個環空間。
換句話說,環空間除了具有拓樸空間的概念外,我們也定義了他上面由環層所構成的函數空間族。接著,我們來談談光滑流形之間的映射。假設是光滑流形之間的一個連續函數。如果對任意的光滑函數,合成函數
任給一個上的光滑函數,我們定義
定理:光滑流形與其上的光滑映射構成了一個範疇。
基本上來說,光滑流形可以視為某一類的環空間滿足:存在一個開覆蓋使得對任意的,環空間與環空間是同構的。換句話說,光滑流形局部上來說,他跟歐氏空間一樣,他上面的函數空間跟歐氏空間上的光滑函數所形成的空間也是一樣的(在同構意義下)。換句話說呢,如果給一個上的可微分函數,我們取局部座標系那麼就可以寫成歐氏空間中的可微分函數 這樣的對應關係
是一個代數上的同構關係。不僅如此,透過這樣的代數關係,我們把歐氏空間中的微積分學就這樣的搬到了光滑流形上。局部上來說,由於光滑流形看起來就是歐氏空間,流形上的光滑函數就是歐氏空間中的光滑函數。你當然希望你的微積分在座標變換下的意義是不變的,因此,你會要求你的函子是一個層。基本上來說,層的概念就是透過微分流形才產生的。而層的一些條件就是在告訴你,微分流形上的微積分學是良定(well-defined)的(在座標變換的意義下不變)。從現在開始,你知道的微分流形的概念,把古典微積分學套入,你就可以開始研究微分幾何。
5 responses on “光滑流形(Smooth Manifold)”
發表迴響
%d bloggers like this:
的manifold是不是要Housdorff該定理才會對?(因為這裡的mainfold好像沒有特別說是Housdorff)
另一个微分算子是 Θ 算子,定义为
有时候这也称为齐次算子,
“—-http://zh.wikipedia.org/wiki/%E5%BE%AE%E5%88%86%E7%AE%97%E5%AD%90
——
thanks for your this post with picture, very good, and I have to read it again, but I like it a lot.
I understand 微分算子 as 拉普拉斯算子, what is 齐次算子 as qutoed in the above wiki?
a good article:
[PDF]
物理激发的数学 – 中国科学院数学研究所
http://www.math.ac.cn/index_E/post/…/PPT110907.pdf – 轉為繁體網頁
檔案類型: PDF/Adobe Acrobat – 快速檢視
形的A- 亏格恰好是黎曼流形上狄拉克算子. 的指标。 几何分析中许多有效的方法都是受物理学家. 启发的如. 启发的如平均曲率流是物上首先. 平均曲率流是物上首先 …