一一对应

✍ dations ◷ 2025-07-11 16:18:39 #一一对应
数学中,一个由集合 X {displaystyle X} 映射至集合 Y {displaystyle Y} 的函数,若对每一在 Y {displaystyle Y} 内的 y {displaystyle y} ,存在唯一一个在 X {displaystyle X} 内的 x {displaystyle x} 与其对应,则此函数为双射函数。换句话说, f {displaystyle f} 是双射的,如果其为两集合间的一一对应。即,同时为单射和满射。例如,由整数集合 Z {displaystyle mathbb {Z} } 至 Z {displaystyle mathbb {Z} } 的函数 succ {displaystyle operatorname {succ} } ,其将每一个整数 x {displaystyle x} 连结至整数 succ ⁡ ( x ) = x + 1 {displaystyle operatorname {succ} (x)=x+1} ,这是一个双射函数;再看一个例子,函数 sumdif {displaystyle operatorname {sumdif} } ,其将每一对实数 ( x , y ) {displaystyle (x,y)} 连结至 sumdif ⁡ ( x , y ) = ( x + y , x − y ) {displaystyle operatorname {sumdif} (x,y)=(x+y,x-y)} ,这也是个双射函数。一双射函数亦简称为双射(英语:bijection)或排列。后者一般较常使用在 X = Y {displaystyle X=Y} 时。以由 X {displaystyle X} 至 Y {displaystyle Y} 的所有双射组成的集合标记为 X ↔ Y {displaystyle Xleftrightarrow Y} 。双射函数在许多数学领域扮演着很基本的角色,如在同构的定义(以及如同胚和微分同构等相关概念)、置换群、投影映射及许多其他概念的基本上。一函数 f {displaystyle f} 为双射的当且仅当其逆关系 f − 1 {displaystyle f^{-1}} 也是个函数。在这情况, f − 1 {displaystyle f^{-1}} 也会是双射函数。两个双射函数 f : X ↔ Y {displaystyle f:Xleftrightarrow Y} 及 g : Y ↔ Z {displaystyle g:Yleftrightarrow Z} 的复合函数 g ∘ f {displaystyle gcirc f} 亦为双射函数。其反函数为 ( g ∘ f ) − 1 = ( f − 1 ) ∘ ( g − 1 ) {displaystyle (gcirc f)^{-1}=(f^{-1})circ (g^{-1})} 。另一方面,若 g ∘ f {displaystyle gcirc f} 为双射的,可知 f {displaystyle f} 是单射的且 g {displaystyle g} 是满射的,但也仅限于此。一由 X {displaystyle X} 至 Y {displaystyle Y} 的关系 f {displaystyle f} 为双射函数当且仅当存在另一由 Y {displaystyle Y} 至 X {displaystyle X} 的关系 g {displaystyle g} ,使得 g ∘ f {displaystyle gcirc f} 为 X {displaystyle X} 上的恒等函数,且 f ∘ g {displaystyle fcirc g} 为 Y {displaystyle Y} 上的恒等函数。必然地,此两个集合会有相同的势。若 X {displaystyle X} 和 Y {displaystyle Y} 为有限集合,则其存在一两集合的双射函数当且仅当两个集合有相同的元素个数。确实,在公理集合论里,这正是“相同元素个数”的定义,且广义化至无限集合,并导致了基数的概念,用以分辨无限集合的不同大小。形式上,双射函数恰好是集合范畴内的同构。

相关

  • 上升流上升流,或称为涌升流,是一种海洋学现象,是由风力驱动温度较低、密度较大、通常富含营养的海水流向海表面,取代温度较高、通常缺乏营养的表层海水。上升流至少有五种类型:沿岸上升
  • 免疫沉淀法免疫沉淀法(Immunoprecipitation, IP)是一种研究蛋白质间交互作用的生物技术,这种技术是将蛋白质视为抗原,并利用抗体与之进行特异性结合的特性,来进行研究。这项技术可用来将
  • 心收缩不全心跳停止(asystole,/əˈsɪstəliː/)也称为无心律,是指心脏无电气活动的状态,因此心肌不会收缩,也不会有供应血液给身体各部位。心跳停止是在医学上可以判定临床死亡或宣告死亡
  • 未来未来可以视为描述一个事件经过一段时间后所变化的结果,和过去相对。从时间是线性的角度来说,是时间线上将要发生的那部分,也就是说,在时空上表示尚未发生的事的那部分。未来一直
  • 全身性发炎反应症候群全身炎症反应综合症(Systemic inflammatory response syndrome ,SIRS)是一个影响到整个身体的炎症反应。它是身体的应激性反应,是机体应对一种感染性或非感染性因素的方式。虽
  • 伊壁鸠鲁伊壁鸠鲁(Ἐπίκουρος,前341年-前270年)古希腊哲学家、伊壁鸠鲁学派的创始人。伊壁鸠鲁成功地发展了阿瑞斯提普斯(Aristippus)的享乐主义,并将之与德谟克利特的原子论结合起
  • 公元公历纪元或公元(英语:Common Era,缩写为C.E.),也称西元,是一个被当今国际社会最广泛地使用的纪年标准。其源自于欧洲等西方基督教信仰为主国家,以当时认定的耶稣出生为纪年的开始,原
  • 威斯康辛大学威斯康星大学是美国威斯康星州的州立大学系统,有着超过170年的悠久历史。其旗舰学府威斯康星大学麦迪逊分校坐落于美国密歇根湖西岸的威斯康星州首府麦迪逊。威斯康星大学一
  • 美国国会图书馆分类法美国国会图书馆图书分类法(英语:Library of Congress Classification),现时为不少欧美大学图书馆所采用,它用了26个英文字母其中的21个(I、O、W、X、Y未被使用)作分类代码,比0-9的
  • 将来式将来时(future tense)又称为未来时,是一种时态,用于标示动词所描述的事件仍未发生,但预期会在将来发生(在绝对时态系统中),或者随某个其他事件之后发生而不管是在过去、现在或将来(在