单射、满射与双射
在数学定义中,单射、满射和双射是指根据其定义域和陪域的关联方式所区分的三类映射。
- 单射:指将不同的变量映射到不同的值的映射。
- 满射:指陪域等于值域的映射。即:对陪域中任意元素,都存在至少一个定义域中的元素与之对应。
- 双射(也称一一对应或一一映射):既是单射又是满射的映射。直观地说,一个双射映射形成一个对应,并且每一个输入值都有正好一个输出值以及每一个输出值都有正好一个输入值。 (在一些参考书中,“一一”用来指双射,但是这里不用这个较老的用法。)
下图对比了四种不同的情况:
单射(one to one 或 injection)
编辑一个映射称为单射(一对一)如果每个可能的像最多只有一个变量映射其上。等价的有,一个映射是单射如果它把不同值映射到不同像。一个单射映射简称单射。形式化的定义如下。
满射(onto 或 surjection)
编辑一个映射称为满射(到上)如果每个可能的像至少有一个变量映射其上,或者说陪域任何元素都有至少有一个变量与之对应。形式化的定义如下:
双射(bijection)
编辑既是单射又是满射的映射称为双射. 映射为双射当且仅当每个可能的像有且仅有一个变量与之对应。
- 映射f : A → B为双射当且仅当其可逆,即,存在映射g: B → A满足g o f = A上的恒等映射,且f o g为B上的恒等映射。
- 两个双射的复合也是双射。如g o f为双射,则仅能得出f为单射且g为满射。见右图。
- 同一集合上的双射构成一个对称群。
- 如果 皆为实数 ,则双射映射 可以被视觉化为两根任意的水平直线只相交正好一次。(这是水平线测试的一个特例。)
势
编辑双射映射经常被用于表明集合X和Y是等势的,即有一样的基数。如果在两个集合之间可以建立一个一一对应,则说这两个集合等势。
如果 皆为有限集合,则这两个集合中 之间存在一个双射,当且仅当X和Y的元素数相等。其实,在公理集合论中,元素数相同的定义被认为是个特例,一般化这个定义到无限集合需要导入基数的概念,这是一个区别各类不同大小的无限集合的方法。
例子
编辑对于每个映射给定定义域和陪域很重要,因为改变这些就能改变映射属于什么射。
双射
编辑单射、但非满射
编辑- 指数映射
满射、但非单射
编辑既非单射也非满射
编辑范畴论
编辑范畴论的单态射、满态射和同构是单射、满射和双射概念的推广。在集合范畴中的单态射、满态射和同构分别对应单射、满射和双射映射。