單純鏈映射

單純鏈映射(simplicial chain map)是由單純映射決定的鏈映射。鏈映射是聯繫復形的鏈群之間的一種系列同態。為了使復形的鏈群之間的同態能誘導出同調群之間的同態，因而它應將閉鏈與邊緣鏈分別映成閉鏈與邊緣鏈。

基本介紹

• 中文名：單純鏈映射
• 外文名：simplicial chain map
• 領域：數學
• 學科：群
• 性質：鏈映射
• 定義：單純映射決定的鏈映射

概念

單純鏈映射(simplicial chain map)是由單純映射決定的鏈映射。設f：K→L是一個單純映射，定義同態如下：

1.若 是K的一個有向單形，當 不相同時，記：

當存在f(a_i)=f(a_j)且i≠j時，記f_q(s^q)=0。

2.對於任意鏈x_q=∑g_is_i∈C_q(K)，記：

當q<0或q>dim K時，規定f_q=0；則這一系列同態：

是鏈映射，並把f={f_q}稱為單純鏈映射(詳細地，是由單純映射誘導的鏈映射)，這裡仍用f記單純映射f誘導的鏈映射，一般不會引起混淆。

單純映射

單純映射聯繫復形的多面體之間的一類重要映射。它是從復形K的多面體|K|到復形L的多面體|L|的連續映射，任何連續映射在某種意義下可用它逼近。設K和L是兩個復形，f：|K|→|L|是映射，若它滿足條件：

1.對於任意頂點a∈K⁰，有f(a)∈L⁰(即L的頂點)。

2.對於任意單形是L中某單形的頂點集(可能有重複)。

3.對於任意(a₀，a₁，…，a_q)∈K，

有：

則稱f為單純映射，也可簡記為f：K→L(省去多面體|K|，|L|的記號)。單純映射是連續映射；單純映射由限制在頂點集上的映射：

完全決定。反之，對於頂點集之間的任意映射f⁰，只要f⁰把K中任意單形的頂點集映成L中某單形的頂點集，它就惟一地確定一個單純映射f：K→L。

映射

在數學裡，映射是個術語，指兩個元素的集之間元素相互“對應”的關係，為名詞。映射，或者射影，在數學及相關的領域經常等同於函式。 基於此，部分映射就相當於部分函式，而完全映射相當於完全函式。

兩個非空集合A與B間存在著對應關係f，而且對於A中的每一個元素x，B中總有有唯一的一個元素y與它對應，就這種對應為從A到B的映射，記作f：A→B。其中，b稱為元素a在映射f下的象，記作：b=f(a)。a稱為b關於映射f的原象。集合A中所有元素的象的集合稱為映射f的值域，記作f(A)。

或者說，設A,B是兩個非空的集合，如果按某一個確定的對應關係f，使對於集合A中的任意一個元素x，在集合B中都有唯一的元素y與之對應，那么就稱對應f：A→B為從集合A到集合B的一個映射。
映射，或者射影，在數學及相關的領域還用於定義函式。函式是從非空數集到非空數集的映射，而且只能是一對一映射或多對一映射。

映射在不同的領域有很多的名稱，它們的本質是相同的。如函式，運算元等等。這裡要說明，函式是兩個數集之間的映射，其他的映射並非函式。一一映射(雙射)是映射中特殊的一種，即兩集合元素間的唯一對應，通俗來講就是一個對一個（一對一）。

注意：(1)對於A中不同的元素，在B中不一定有不同的象；（2）B中每個元素都有原象（即滿射），且集合A中不同的元素在集合B中都有不同的象（即單射），則稱映射f建立了集合A和集合B之間的一個一一對應關係，也稱f是A到B上的一一映射。

鏈映射

鏈映射是聯繫復形的鏈群之間的一種系列同態。為了使復形的鏈群之間的同態能誘導出同調群之間的同態，因而它應將閉鏈與邊緣鏈分別映成閉鏈與邊緣鏈。設K與L都是復形，

是一系列同態，若滿足條件：_q°f_q=f_q-1°_q，則稱f={f_q}為從K到L的鏈映射。它可理解為下圖具有交換性，即鏈映射具有將閉鏈映為閉鏈和將邊緣鏈映為邊緣鏈的性質，因此它誘導出同調群之間的一系列同態：

稱為鏈映射f的誘導同態。同時具有性質，若：

為鏈映射，則複合映射：

也是鏈映射，並且誘導同態：

這些概念可推廣到係數群為任意交換群G的情形。