单同调代数简介概念与简易计算.doc

單同調代數簡介──概念與簡易計算 主講：杜侑潮 引言： 　　拓樸﹝topology﹞的概念在Riemann的時期就已經存在，而Betti承繼黎曼的想法，發展了一些流形﹝manifold﹞上的拓樸理論，包括定義Betti數。不過，拓樸的有力使用大概是從Poincare開始的。這裡所介紹的單同調﹝homology﹞就是其中一項，這個理論可以對曲面以及更高維的抽象流形進行分類工作，得到一些分析上的性質。例如著名的歐拉常數──對於任何一個多面體，點數 – 邊數 + 面數 = 2 也可以由此方法導出。我們的目標是大約介紹一下單同調的定義以及一些例子的計算，使得各位可以對這個理論有點了解。 一、Rn中的抽象多面體 Poincare研究n維歐式空間Rn中圖形的基本想法，就是將圖形切割成一堆簡單的部分，並且考慮這些片段間的關係。首先我們定義什麼叫做簡單的部分： 簡單形﹝simplex﹞：Rn中的點P0,P1,...,Pk稱為線性獨立，若由這些點所生成的超曲面──所有以下形式的點 P= x0P0 + x1P1 + … + xkP k，x0, x1,…, xk屬於R而且x0+x1+…+xk=1──具有k維度。在這個情況下，每個在此簡單形中的點P都唯一決定x0 ,x1 ,…,xk 。這些數被稱作點P相對於系統P0 ,P1 ,…, Pk的分中座標﹝barycentric﹞ 現在假設P0,P1,...,Pk是Rn中線性獨立的點。在Rn中包含P0,P1,...,Pk的最小凸子合﹝convex subset﹞是點集S ={ P= x0P0 + x1P1 + … + xkP k│x0+x1+…+xk=1, xi ≧0 for i= 0,1,…,k}。我們可以平移 - P0，使得一開始的P0 = 0。我們將上面的集合寫作S = (P0; P1; ...; Pk)，並且稱S是k維的線性簡單形。 下面我們定義什麼是有向簡單形﹝oriented simplex﹞。有向簡單形(P0; P1; ...; Pk)是集合S加上一個給定的定向﹝orientation﹞在對頂點P0,P1,...,Pk排序上。假設M是0,1,…,k的一個順序變換，那麼若M是一個偶轉換﹝兩兩交換共偶數次﹞，則(P0; P1; ...; Pk)和(PM(0); PM(1); ...; PM(k))視為有相同定向。一個0維簡單形為一個點，1維簡單形為一個有向線段，二維簡單形為一個有向三角形，以此類推。若(P0; P1; ...; Pk)是一個簡單形，{ i0, i1, ..., ir }是{ 0,1,…,k }的一個子集，那麼(Pi0; Pi1; ...; Pir)稱作 (P0; P1; ...; Pk) 的一個r維面﹝r-dimentional face﹞。一個k維簡單形是它自己的一個k維面。因此我們可以有以下定義： 一個由Rn中的簡單形構成的集合T稱作一個簡單複形﹝simpicial complex﹞當下列條件滿足時── 如果一個簡單形A屬於T，則所有A的面也屬於T 任何兩個T中的簡單形的交集是空集合或者是一個面 假設P是T中某個簡單形中的一個點。那麼P在Rn中有一個鄰域﹝neighborhood﹞只和有限個T中的簡單形有非空交集。 T中的0維簡單形稱為T中的頂點。T的維度為T中最高維的簡單形的維度。所有T中k維的簡單形構成的子集記作Tk。一個多面體﹝polyhedron﹞就是一個complex中所有簡單形的連集。 二、拓樸多面體 在這裡我們要將上面的定義作較為抽象的推廣。假設T是一個拓樸空間﹝topological space﹞，T的一個子集S稱作k維簡單形﹝k-dimentional simplex﹞若有一個同胚﹝homeomorphism﹞映射f將一個k維線性簡單形﹝如前面所定義的﹞映射到S。這裡記作﹝S, f﹞ 若存在T的一個分割使得拓樸空間T變成一個complex──其中的所有簡單形的連集是T而且滿足complex的三個條件──這樣的拓樸空間T稱為一個拓樸多面體﹝topological polyhedron﹞ 註記1：一個2維的complex稱作其拓樸多面體上的三角化﹝triangulation﹞ 註記2：如果兩個拓樸多面體同胚﹝可以互相連續變形成另一個﹞，則兩個多面體非本質上不同 例1：n維單位球Bn──Rn中的點集{ (x1, x2, …, xn )│x12+ x22+…+ xn2 ≦ 1 }。它和n維線性簡單形同胚。 例2：n維單位球面Sn──由Bn+1的邊界點構成，也就是{ (x0, x1, …, xn )│x02+ x12+…+ xn2 = 1 }。可以將它想成由(P0; P1; ...; Pk)中所有n維以下的面構成的complex。 例3：一個圓環可以被三角化，如下頁圖1所