双射既是单射又是满射的映射，亦称“映射”。
双射基本介绍
既是单射又是满射的映射称为双射，亦称“一一映射”
设f是从集合A到集合B的映射，若,即B中任一元素b都是A中某元素的像，则称f为A到B上的满射；若对A中任意两个不同元素不等于,他们的像不等于,则称f为A到B的单射；若映射f既是单射，又是满射，则称映射f为A到B的“双射”(或“一一映射”)。函数为双射当且仅当每个可能的像有且仅有一个变量与之对应。
函数f:为双射当且仅当对任意存在唯一满足f。
函数f为双射当且仅当其可逆，即，存在函数g:满足上的恒等函数，且为B上的恒等函数。
两个双射的复合也是双射。如为双射，则仅能得出f为单射且g为满射。
同一集合上的双射构成一个对称群。
如果X,Y皆为实数集R，则双射函数f:可以被视觉化为两根任意的水平直线只相交正好一次。（这是水平线测试的一个特例。）
双射定义
在集合论中，一个由集合X至集合Y的映射称为双射的，若对集合Y内的任意元素y，存在唯一一个集合X内的元素x，使得。
换句话说，f为双射的若其为两集合间的一对一对应，亦即同时单射且满射。
例如，由整数集合至的函数succ，其将每一个整数x连结至整数，及另一函数sumdif，其将每一对实数(x,y)连结至。
一双射函数亦称为置换。后者一般较常使用在时。以由X至Y的所有双射组成的集合标记为XY.
双射函数在许多数学领域扮演着很基本的角色，如在同构(和如同胚和微分同构等相关概念)、置换群、投影映射及许多其他概念的基本上。
双射的应用
应用
双射的原理是一组关系，在判别某一种想法在应用能否双向的找到某一唯一对应的事物，理论上通常要判断这种想法是否满足双射的关系。因为具体的实施这一想法的途径我们是并不知道的，所以需要抽象出他们的关系，找到这个双射，如果找不到，并且验证这个双射不存在，那么想法是不可能实现的。
性质
一由实数R至R的函数f是双射的当且仅当其图像和任一水平线相交且只相交于一点。设X为一集合，则由X至其本身的双射函数，加上其复合函数(0)的运算，会形成一个群，一个X的对称群，其标记为S(X)、SX或X!。取一定义域的子集A及一陪域的子集B，则且。若X和Y为具相同势的有限集合，且f:，则下列三种说法是等价的：f为一双射函数。f为一满射函数。f为一单射函数。
传统IOC与双射的区别
IoC的优点和缺点
IoC最大的好处是因为把对象生成放在了XML里定义，所以当我们需要换一个实现子类将会变成很简单（一般这样的对象都是实现于某种接口的），只要修改XML就可以了，这样我们甚至可以实现对象的热插拨（有点象USB接口和SCIS硬盘了）。
IoC最大的缺点是：（1）生成一个对象的步骤变复杂了（其实上操作上还是挺简单的），对于不习惯这种方式的人，会觉得有些别扭和不直观。（2）对象生成因为是使用反射编程，在效率上有些损耗。但相对于IoC提高的维护性和灵活性来说，这点损耗是微不足道的，除非某对象的生成对效率要求特别高。（3）缺少IDE重构操作的支持，如果在Eclipse要对类改名，那么你还需要去XML文件里手工去改了，这似乎是所有XML方式的缺憾所在。
双射（bijection，即bidirectionalinjection的简称）：当注出（outject）属性数据时，视图可以通过名称找到它。在postback或者组件初始化时，数据被注入（inject）到一个组件中。双射与传统IOC的主要不同点在于，双射使长期作用域中的组件可以引用短期作用域中的组件。可以进行这种连接是因为双射在调用组件时（而不是启动容器时）解析依赖项。双射是有状态组件开发的基础。
双射举例
假设存在关于x的函数:，对于任何及，由于y是x的线性函数，因此对于任何x都有唯一确定的y与其对应。又通过整理可以得到，因此对于任何y，也有唯一确定的x与其对应。这样，在在的域中就是一个双射函数。
而对于函数,对于的取值范围内，对于任何x，都有唯一确定的y与其对应。但对于
，任何y都对应2个不同的x。这样在的取值范围内，不是双射函数。但对于。对于任何x，都有唯一确定的y与之对应，而对于任何y，都有，即唯一确定的x与之对应。因此它是一个双射函数。
双射与势
若X和Y为有限集合，则其存在一两集合的双射函数当且仅当两个集合有相同的元素个数。确实，在公理集合论里，这正是“相同元素个数”的定义，且广义化至无限集合，并导致了基数的概念，用以分辨无限集合的不同大小。
原创文章，作者：芒小种，如若转载，请注明出处：http://www.fhgg.net/shenghuobaike/79763.html
本文来自投稿，不代表【食趣网】立场，如若转载，请注明出处：http://www.fhgg.net/
