在数学定义中，单射、满射和双射是指根据其定义域和陪域的关联方式所区分的三类映射。
*单射：指将不同的变量映射到不同的值的映射。
*满射：指陪域等于值域的映射。即：对陪域中任意元素，都存在至少一个定义域中的元素与之对应。
*双射（也称一一对应或一一映射）：既是单射又是满射的映射。直观地说，一个双射映射形成一个对应，并且每一个输入值都有正好一个输出值以及每一个输出值都有正好一个输入值。 （在一些参考书中，“一一”用来指双射，但是这里不用这个较老的用法。）
下图对比了四种不同的情况：
File:Bijection.svg|雙射（單射與滿射）
File:Injection.svg|單射但非滿射
File:Surjection.svg|滿射但非單射
File:Total function.svg|非滿射非單射
__TOC__
单射（one to one 或 injection）
一个映射称为单射（一对一）如果每个可能的像最多只有一个变量映射其上。等价的有，一个映射是单射如果它把不同值映射到不同像。一个单射映射简称单射。形式化的定义如下。
:映射f: A \to B 是单射 当且仅当对于所有a,b \in A, 我们有f(a) = f(b) \Rightarrow a = b.
*一个映射f: A \to B是单射当且仅当A是空的或f是左可逆的，也就是说，存在一个映射g: B \to A 使得g\circ f = A上的恒等映射.
*因为每个映射都是满射当它的陪域限制为它的值域时，每个单射导出一个到它的值域的双射。更精确的讲，每个单射f: A \to B可以分解为一个双射接着一个如下的包含映射。令f_{R}: A \to f(A)为把陪域限制到像的 i，令 i: f(A) \to B为从f(A)到B中的包含映射.则f = i\circ f_{R}. 一个对偶的分解会对满射成立。
*两个单射的复合也是单射，但若f\circ g是单射，只能得出g是单射的结论。参看右图。
满射（onto 或 surjection）
一个映射称为满射（到上）如果每个可能的像至少有一个变量映射其上，或者说陪域任何元素都有至少有一个变量与之对应。形式化的定义如下：
:映射f: A \to B为满射，当且仅当对任意b \in B，存在a \in A满足f(a) = b。
- 映射f:X\rightarrow Y为一个满射，当且仅当存在一个映射g:Y\rightarrow X满足f\circ g等于Y上的单位映射。（这个陈述等同于选择公理。）
- 将一个满射的陪域中每个元素的原像集看作一个等价类，我们可以得到以该等价类组成的集合（原定义域的商集）为定义域的一个双射。
- 如果f和g皆为满射，则f\circ g为满射。如果f\circ g是满射，则仅能得出f是满射。参见右图。
双射（bijection）
既是单射又是满射的映射称为双射. 映射为双射当且仅当每个可能的像有且仅有一个变量与之对应。
:映射f: A \to B为双射当且仅当对任意b \in B存在唯一a \in A满足f(a) = b。
映射f : A → B为双射当且仅当其可逆，即，存在映射g: B → A满足g o f = A上的恒等映射，且f o g为B*上的恒等映射。
两个双射的复合也是双射。如g o f为双射，则仅能得出f为单射且g*为满射。见右图。
*同一集合上的双射构成一个对称群。
*如果X,Y皆为实数\mathbb{R}，则双射映射f:\mathbb{R}\rightarrow \mathbb{R}可以被视觉化为两根任意的水平直线只相交正好一次。（这是水平线测试的一个特例。）
势
双射映射经常被用于表明集合X和Y是等势的，即有一样的基数。如果在两个集合之间可以建立一个一一对应，则说这两个集合等势。
如果X,Y皆为有限集合，则这两个集合中X,Y之间存在一个双射，当且仅当X和Y的元素数相等。其实，在公理集合论中，元素-{}-数相同的定义被认为是个特例，一般化这个定义到无限集合需要导入基数的概念，这是一个区别各类不同大小的无限集合的方法。
例子
对于每个映射给定定义域和陪域很重要，因为改变这些就能改变映射属于什么射。
双射
*任意集合上的恒等映射id为一双射。
*考虑映射f:\mathbb{R}\rightarrow\mathbb{R}，定义为f(x)=2x+1。这个映射是双射，因为给定任意一个实数y，我们都能解y=2x+1，得到唯一的实数解x=(y-1)/2。
*指数映射 \exp : \mathbf{R} \to \mathbf{R}^+ : x \mapsto \mathrm{e}^x及其逆映射自然对数 \ln : \mathbf{R}^+ \to \mathbf{R} : x \mapsto \ln{x}。
单射、但非满射
- 指数映射\exp : \mathbf{R} \to \mathbf{R} : x \mapsto \mathrm{e}^x
满射、但非单射
- \mathbf{R} \to \mathbf{R} : x \mapsto (x-1)x(x+1) = x^3 - x
既非单射也非满射
- \mathbf{R} \to \mathbf{R} : x \mapsto x^2
范畴论
范畴论的单态射、满态射和同构是单射、满射和双射概念的推广。在集合范畴中的单态射、满态射和同构分别对应单射、满射和双射映射。
参见
*映射
*单射
*满射
*双射
*映射
*內射模
*置换
评论 (0)