簡介
映射
映射，或者射影，在數學及相關的領域經常等同於函式。 基於此，部分映射就相當於部分函式，而完全映射相當於完全函式。在很多特定的數學領域中，這個術語用來描述具有與該領域相關聯的特定性質的函式，例如，在拓撲學中的連續函式，線性代數中的線性變換等等。
在形式邏輯中，這個術語有時用來表示函式謂詞（Functional predicate），在那裡函式是集合論中謂詞的模型。
設兩個集合A和B，和它們元素之間的對應關係R，如果對於A中的每一個元素，滿足一定的法則f，通過R在B中都存在唯一一個元素與之對應，則該對應關係R就稱為從A到B的一個映射(Mapping)。其中A稱為原象，B稱為象。
映射是數學中描述了兩個集合元素之間一種特殊的對應關係的。
映射在不同的領域有很多的名稱，它們的本質是相同的。如函式，運算元等等。這裡要說明,函式是兩個數集之間的映射，其他的映射並非函式。
一一映射(雙射)是映射中特殊的一種，即兩集合元素間的唯一對應，通俗來講就是一個對一個（多對一）。
(由定義可知,圖1中所示對應關係不是映射,而其它三圖中所示對應關係就是映射。)
或者說,設A B是兩個非空的集合,如果按,某一個確定的對應關係f.使對於集合A中的任意一個元素x,在集合B中都有唯一確定的元素y與之對應,那么就稱對應f:A→B為從集合A到集合B的一個映射
映射的成立條件簡單的表述就是下面的兩條：
1、定義域的遍歷性：X中的每個元素x在映射的值域中都有對應對象；
2、對應的唯一性：定義域中的一個元素只能與映射值域中的一個元素對應；
映射的分類：
映射的不同分類是根據映射的結果進行的，從下面的三個角度進行：
1、根據結果的幾何性質分類：滿射（到上）與非滿射（內的）；
2、根據結果的分析性質分類：單射（一一的）與非單的；
3、同時考慮幾何與分析性質：滿的單射（一一對應）。
註：右圖中（1）不是A到B的映射，（2）（3）（4）都是A到B的映射。
