双射

最新推荐文章于 2024-01-10 22:32:33 发布

Tyrion-Lannister

最新推荐文章于 2024-01-10 22:32:33 发布

阅读量9.9k

点赞数

双射

简介

定义

双射的应用

举例

展开

编辑本段 简介

　　既是单射又是满射的映射称为双射，亦称“一一映射”

　　设f是从集合A到集合B的映射，若R(f)=B,即B中任一元素b都是A中某元素的像，则称f为A到B上的满射；若对A中任意两个不同元素a(1)不等于a(2),他们的像f<a(1)>不等于f<a(2)>,则称f为A到B的单射；若映射f既是单射，又是满射，则称映射f为A到B的“双射”(或“一一映射”)。函数为双射当且仅当每个可能的像有且仅有一个变量与之对应。

　　函数 f: A → B为双射当且仅当对任意b∈B存在唯一a∈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皆为实数集 R ，则双射函数f: R → R 可以被视觉化为两根任意的水平直线只相交正好一次。（这是水平线测试的一个特例。）

映射函数

编辑本段 定义

　　在集合论中，一个由集合 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 .

　　双射函数在许多数学领域扮演着很基本的角色，如在同构 (和如同胚和微分同构等相关概念)、置换群、投影映射及许多其他概念的基本上。

三角函数图像

编辑本段 双射的应用

应用

　　双射的原理是一组关系，在判别某一种想法在应用能否双向的找到某一唯一对应的事物，理论上通常要判断这种想法是否满足双射的关系。因为具体的实施这一想法的途径我们是并不知道的，所以需要抽象出他们的关系，找到这个双射，如果找不到，并且验证这个双射不存在，那么想法是不可能实现的。

性质

　　一由实数 R 至 R 的函数 f 是双射的当且仅当其图像和任一水平线相交且只相交于一点。设 X 为一集合，则由 X 至其本身的双射函数，加上其复合函数 (0)的运算，会形成一个群，一个 X 的对称群，其标记为S( X )、 SX 或 X !。取一定义域的子集 A 及一陪域的子集 B ，则| f ( A )| = | A | 且 | f ﹣¹( B )| = | B |。若 X 和 Y 为具相同势的有限集合，且 f : X → Y ，则下列三种说法是等价的： f 为一双射函数。 f 为一满射函数。 f 为一单射函数。

传统 IOC 与双射的区别

　　 IoC的优点和缺点

　　IoC最大的好处是因为把对象生成放在了XML里定义，所以当我们需要换一个实现子类将会变成很简单（一般这样的对象都是实现于某种接口的），只要修改XML就可以了，这样我们甚至可以实现对象的热插拨（有点象USB接口和SCIS硬盘了）。

　　IoC最大的缺点是：（1）生成一个对象的步骤变复杂了（其实上操作上还是挺简单的），对于不习惯这种方式的人，会觉得有些别扭和不直观。（2）对象生成因为是使用反射编程，在效率上有些损耗。但相对于IoC提高的维护性和灵活性来说，这点损耗是微不足道的，除非某对象的生成对效率要求特别高。（3）缺少IDE重构操作的支持，如果在Eclipse要对类改名，那么你还需要去XML文件里手工去改了，这似乎是所有XML方式的缺憾所在。

　　双射（bijection，即 bidirectional injection的简称）：当注出（outject）属性数据时，视图可以通过名称找到它。在 postback 或者组件初始化时，数据被注入（inject）到一个组件中。双射与传统 IOC 的主要不同点在于，双射使长期作用域中的组件可以引用短期作用域中的组件。可以进行这种连接是因为双射在调用组件时（而不是启动容器时）解析依赖项。双射是有状态组件开发的基础。