数学映射

单射、双射与满射

维基百科,自由的百科全书

跳到导航跳到搜索

在数学定义中,单射满射双射是指根据其定义域陪域的关联方式所区分的三类函数

  • 单射:指将不同的变量映射到不同的值的函数。
  • 满射:指陪域等于值域的函数。即:对陪域中任意元素,都存在至少一个定义域中的元素与之对应。
  • 双射(也称一一对应一一映射):既是单射又是满射的函数。直观地说,一个双射函数形成一个对应,并且每一个输入值都有正好一个输出值以及每一个输出值都有正好一个输入值。 (在一些参考书中,“一一”用来指双射,但是这里不用这个较老的用法。)

下图对比了四种不同的情况:

  • 双射(单射与满射)

  •  
  • 单射但非满射

  •  
  • 满射但非单射

  •  
  • 非满射非单射

 

目录

单射(one to one或injection)[编辑]

单射复合:第二个函数不必是单射。

一个函数称为单射(一对一)如果每个可能的像最多只有一个变量映射其上。等价的有,一个函数是单射如果它把不同值映射到不同像。一个单射函数简称单射。形式化的定义如下。

函数{\displaystyle f:A\to B}f:A\to B 是单射 当且仅当对于所有{\displaystyle a,b\in A}a,b\in A, 我们有{\displaystyle f(a)=f(b)\Rightarrow a=b.}f(a)=f(b)\Rightarrow a=b.

  • 一个函数f : A → B是单射当且仅当A是空的或f是左可逆的,也就是说,存在一个函数gB → A 使得g o fA上的恒等函数.
  • 因为每个函数都是满射当它的陪域限制为它的值域时,每个单射导出一个到它的值域的双射。更精确的讲,每个单射f : A → B可以分解为一个双射接着一个如下的包含映射。令fR : A → f(A)为把陪域限制到像的f,令i : f(A) → B为从f(A)到B中的包含映射.则f = i o fR. 一个对偶的分解会对满射成立。
  • 两个单射的复合也是单射,但若g o f是单射,只能得出f是单射的结论。参看右图。

满射(onto 或 surjection)[编辑]

满射复合:第一个函数不必为满射

一个函数称为满射(到上)如果每个可能的像至少有一个变量映射其上,或者说陪域任何元素都有至少有一个变量与之对应。形式化的定义如下:

函数{\displaystyle f:A\to B}f:A\to B满射当且仅当对任意{\displaystyle b\in B}b\in B,存在{\displaystyle a\in A}a\in A满足{\displaystyle f(a)=b}f(a)=b

  • 函数{\displaystyle f:X\rightarrow Y}f:X\rightarrow Y为一个满射,当且仅当存在一个函数{\displaystyle g:Y\rightarrow X}g:Y\rightarrow X满足{\displaystyle f\circ g}f\circ g等于{\displaystyle Y}Y上的单位函数。(这个陈述等同于选择公理。)
  • 将一个满射的陪域中每个元素的原像集看作一个等价类,我们可以得到以该等价类组成的集合(原定义域的商集)为定义域的一个双射
  • 如果{\displaystyle f}f和{\displaystyle g}g皆为满射,则{\displaystyle f\circ g}f\circ g为满射。如果{\displaystyle f\circ g}f\circ g是满射,则仅能得出{\displaystyle f}f是满射。参见右图。

双射(bijection)[编辑]

双射复合:第一个函数不必为满射、第二个函数不必为单射

既是单射又是满射的函数称为双射. 函数为双射当且仅当每个可能的像有且仅有一个变量与之对应。

函数{\displaystyle f:A\to B}f:A\to B双射当且仅当对任意{\displaystyle b\in B}b\in B存在唯一{\displaystyle a\in A}a\in A满足{\displaystyle f(a)=b}f(a)=b

  • 函数f : A → B为双射当且仅当其可逆,即,存在函数gB → A满足g o f = A上的恒等函数,且f o gB上的恒等函数。
  • 两个双射的复合也是双射。如g o f为双射,则仅能得出f为单射且g为满射。见右图。
  • 同一集合上的双射构成一个对称群
  • 如果{\displaystyle X,Y}X,Y皆为实数{\displaystyle \mathbb {R} }\mathbb {R},则双射函数{\displaystyle f:\mathbb {R} \rightarrow \mathbb {R} }f:{\mathbb  {R}}\rightarrow {\mathbb  {R}}可以被视觉化为两根任意的水平直线只相交正好一次。(这是水平线测试的一个特例。)

势[编辑]

双射函数经常被用于表明集合XY是等的,即有一样的基数。如果在两个集合之间可以建立一个一一对应,则说这两个集合等势。

如果{\displaystyle X,Y}X,Y皆为有限集合,则这两个集合中{\displaystyle X,Y}X,Y之间存在一个双射,当且仅当X和Y的元素数相等。其实,在公理集合论中,元素数相同的定义被认为是个特例,一般化这个定义到无限集合需要导入基数的概念,这是一个区别各类不同大小的无限集合的方法。

例子[编辑]

对于每个函数给定定义域陪域很重要,因为改变这些就能改变函数属于什么

GeLeiMappings.PNG

双射[编辑]

  • 任意集合上的恒等函数id为一双射。
  • 考虑函数{\displaystyle f:\mathbb {R} \rightarrow \mathbb {R} }f:{\mathbb  {R}}\rightarrow {\mathbb  {R}},定义为{\displaystyle f(x)=2x+1}f(x)=2x+1。这个函数是双射,因为给定任意一个实数{\displaystyle y}y,我们都能解{\displaystyle y=2x+1}y=2x+1,得到唯一的实数解{\displaystyle x=(y-1)/2}x=(y-1)/2
  • 指数函数 {\displaystyle \exp :\mathbf {R} \to \mathbf {R} ^{+}:x\mapsto \mathrm {e} ^{x}}\exp :{\mathbf  {R}}\to {\mathbf  {R}}^{+}:x\mapsto {\mathrm  {e}}^{x}及其逆函数自然对数 {\displaystyle \ln :\mathbf {R} ^{+}\to \mathbf {R} :x\mapsto \ln {x}}\ln :{\mathbf  {R}}^{+}\to {\mathbf  {R}}:x\mapsto \ln {x}

单射、但非满射[编辑]

  • 指数函数{\displaystyle \exp :\mathbf {R} \to \mathbf {R} :x\mapsto \mathrm {e} ^{x}}\exp :{\mathbf  {R}}\to {\mathbf  {R}}:x\mapsto {\mathrm  {e}}^{x}

满射、但非单射[编辑]

  • {\displaystyle \mathbf {R} \to \mathbf {R} :x\mapsto (x-1)x(x+1)=x^{3}-x}{\mathbf  {R}}\to {\mathbf  {R}}:x\mapsto (x-1)x(x+1)=x^{3}-x

既非单射也非满射[编辑]

  • {\displaystyle \mathbf {R} \to \mathbf {R} :x\mapsto x^{2}}{\mathbf  {R}}\to {\mathbf  {R}}:x\mapsto x^{2}

范畴论

转载于:https://my.oschina.net/aspiretruth/blog/2875267

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值