一、什么叫双射?
既是单射又是满射的映射称为双射,亦称“一一映射”
设f是从集合A到集合B的映射,若R(f)=B,即B中任一元素b都是A中某元素的像,则称f为A到B上的满射;若对A中任意两个不同元素a(1)不等于a(2),他们的像f不等于f,则称f为A到B的单射;若映射f既是单射,又是满射,则称映射f为A到B的“双射”(或“一一映射”)
函数为双射当且仅当每个可能的像有且仅有一个变量与之对应。
二、双射的定义
在集合论中,一个由集合X至集合Y的映射称为双射的,若对集合Y内的任意元素y,存在唯一一个集合X内的元素x,使得 y = f(x)。
换句话说,f为双射的若其为两集合间的一对一对应,亦即同时单射且满射。
例如,由整数集合至的函数succ,其将每一个整数x连结至整数succ(x)=x+1,及另一函数sumdif,其将每一对实数(x,y)连结至sumdif(x,y) = (x + y, x − y)。
一双射函数亦称为置换。后者一般较常使用在X=Y时。以由X至Y的所有双射组成的集合标记为XY.
双射函数在许多数学领域扮演着很基本的角色,如在同构(和如同胚和微分同构等相关概念)、置换群、投影映射及许多其他概念的基本上。