單純鏈映射

概念

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

1.若

是K的一個有向單形，當

不相同時，記：

當存在f(a_i)=f(a_j)且i≠j時，記f_q(s)=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的一個映射。

映射，或者射影，在數學及相關的領域還用於定義函式。函式是從非空數集到非空數集的映射，而且只能是一對一映射或多對一映射。

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