定義
兩個非空集合A與B間存在着對應關系f，而且對于A中的每一個元素a，B中總有唯一的一個元素b與它對應，就這種對應為從A到B的映射，記作f：A→B。其中，b稱為元素a在映射f下的像，記作：b=f(a)。a稱為b關于映射f的原像。集合A中所有元素的像的集合稱為映射f的值域，記作f(A)。
或者說，設A,B是兩個非空的集合，如果按某一個确定的對應關系f，使對于集合A中的任意一個元素a，在集合B中都有唯一的元素b與之對應，那麼就稱對應f：A→B為從集合A到集合B的一個映射。
映射，或者射影，在數學及相關的領域還用于定義函數。函數是從非空數集到非空數集的映射，而且隻能是一對一映射或多對一映射。
映射在不同的領域有很多的名稱，它們的本質是相同的。如函數，算子等等。這裡要說明，函數是兩個數集之間的映射，其他的映射并非函數。一一映射(雙射)是映射中特殊的一種，即兩集合元素間的唯一對應，通俗來講就是一個對一個（一對一）。
注意：(1)對于A中不同的元素，在B中不一定有不同的像；（2）B中每個元素都有原像（即滿射），且集合A中不同的元素在集合B中都有不同的像（即單射），則稱映射f建立了集合A和集合B之間的一個一一對應關系，也稱f是A到B上的一一映射。
成立條件
映射的成立條件簡單的表述就是：
1．定義域的遍曆性：X中的每個元素x在映射的值域中都有對應對像
2．對應的唯一性：定義域中的一個元素隻能與映射值域中的一個元素對應
定義域也稱為原像集，值域也稱為像集。
個數關系
集合AB的元素個數為m,n,
那麼，從集合A到集合B的映射的個數為。
函數和映射，滿映射和單映射的區别。
函數是數集到數集映射，并且這個映射是“滿”的。
即滿映射f:A→B是一個函數，其中原像集A稱做函數的定義域，像集B稱做函數的值域。
“數集”就是數字的集合，可以是整數、有理數、實數、複數或是它們的一部分等等。
“映射”是比函數更廣泛一些的數學概念，它就是一個集合到另一個集合的一種确定的對應關系。即，若f是集合A到集合B的一個映射，那麼對A中的任何一個元素a，集合B中都存在唯一的元素b與a對應。我們稱a是原像，b是像。寫作f:A→B，元素關系就是b=f(a).
一個映射f:A→B稱作“滿”的，就是說對B中所有的元素，都存在A中的原像。
在函數的定義中不要求是滿射，就是說值域應該是B的子集。（這個定義來源于一般中學中的講法，實際上許多數學書上并不一定定義函數是滿射。）
像集中每個元素都有原像的映射稱為滿射：即B中的任意一元素y都是A中的像，則稱f為A到B上的滿射，強調f(A)=B（B的原像可以多個）
原像集中不同元素的像不同的映射稱為單射：若A中任意兩個不同元素x1≠x2,它們的像f(x1)≠f(x2)，則稱f為A到B的單射，強調f(A)是B的子集。
單射和滿射可共同決定為一一雙射。
分類
映射的不同分類是根據映射的結果進行的，從下面的三個角度進行：
1．根據結果的幾何性質分類：滿射（到上）與非滿射（内的）
2．根據結果的分析性質分類：單射（一一的）與非單射
3．同時考慮幾何與分析性質：滿的單射（一一對應）。
應用
在很多特定的數學領域中，這個術語用來描述具有與該領域相關聯的特定性質的函數，例如，在拓撲學中的連續函數，線性代數中的線性變換等等。在形式邏輯中，這個術語有時用來表示函數謂詞（Functionalpredicate），在那裡函數是集合論中謂詞的模型。
如果将函數定義中兩個集合從非空集合擴展到任意元素的集合（不限于數），我們可以得到映射的概念：映射是數學中描述了兩個集合元素之間一種特殊的對應關系的一個術語。
按照映射的定義，下面的對應都是映射。
（1）設A={1,2,3,4}，B={3,5,7,9}，集合A中的元素x按照對應關系“乘2加1”和集合B中的元素對應，這個對應是集合A到集合B的映射。
（2）設A=N*，B={0,1}，集合A中的元素按照對應關系“x除以2得的餘數”和集合B中的元素對應，這個對應是集合A到集合B的映射。
（3）設A={x|x是三角形}，B={y|y>0}，集合A中的元素x按照對應關系“計算面積”和集合B中的元素對應，這個對應是集合A到集合B的映射。
（4）設A=R，B={直線上的點}，按照建立數軸的方法，是A中的數x與B中的點P對應，這個對應是集合A到集合B的映射。
（5）設A={P|P是直角坐标系中的點}，B={(x,y)|x∈R,y∈R}，按照建立平面直角坐标系的方法，是A中的點P與B中的有序實數對(x,y)對應，這個對應是集合A到集合B的映射。
“映射”或者“投影”，需要預先定義投影法則部分的函數後進行運算。因此“映射”計算可以實現跨維度對應。相應的微積分屬于純數字計算無法實現跨維度對應，運用微分模拟可以實現本維度内的複雜模拟。映射可以對非相關的多個集合進行對應的近似運算，而微積分隻能在一個連續相關的大集合内進行精确運算。
