首页 >
一一对应
✍ dations ◷ 2025-07-11 17:50:54 #一一对应
数学中,一个由集合
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}
为有限集合,则其存在一两集合的双射函数当且仅当两个集合有相同的元素个数。确实,在公理集合论里,这正是“相同元素个数”的定义,且广义化至无限集合,并导致了基数的概念,用以分辨无限集合的不同大小。形式上,双射函数恰好是集合范畴内的同构。
相关
- 侵袭性的肺炎链球菌感染肺炎链球菌(学名:Streptococcus pneumoniae)是一种球状的革兰氏阳性菌,持有α溶血性,链球菌属下的一种菌。肺炎链球菌于1880年代已被发现能引致肺炎,是一种重要的人类病因,亦是体液
- 生物薄膜生物薄膜(英语:biofilm),也称作“生物膜”或“菌膜”,是一些微生物细胞由自身产生的胞外多聚物基质(英语:Extracellular polymeric substance)(主要为多糖)所包围而形成,且附着在浸有液
- 约翰·富兰克林·恩德斯约翰·富兰克林·恩德斯(英语:John Franklin Enders,1897年2月10日-1985年9月8日),美国医学家和诺贝尔奖持有者。恩德斯出生于康涅狄格州的西哈特福,曾就读于诺亚·韦伯斯特学校与
- 巴巴拉·麦克林托克芭芭拉·麦克林托克(英语:Barbara McClintock,1902年6月16日-1992年9月2日),美国著名女性细胞遗传学家。1983年获得诺贝尔生理学或医学奖,是首位没有共同得奖者、单独获得该奖项的
- 骨赘骨赘(英语:osteophytes,由字根:osteo- “骨”和 -phyte“增生”组成),俗称骨刺(英语:bony spur),是沿着关节边缘形成的外生骨赘(英语:exostosis)(骨化突出)。勿与著骨点增生(英语:enthesophyt
- 微孢子虫门微孢子虫(学名:Microsporidia)为罗兹菌门下的一纲。它是由孢子形成的单细胞寄生虫。目前多于一百万种微孢子虫中的1500种版命名。微孢子虫只能寄生于动物宿主。大部分的动物物
- 亚美大陆亚美大陆(Asiamerica)是一块由劳亚大陆形成的大陆,而浅海将之分为位于西方的欧亚大陆与位于东方的北美洲。存在于白垩纪晚期到始新世,并在第四纪更新世再次出现。5千万年内,这块
- 遂川县遂川县是中国江西省所辖的一个县,隶属于地级吉安市,位于江西省西南边境,罗霄山脉南段东麓。总面积3102平方千米,2007年末全县总人口54.2万。遂川的东边是万安县,南边是赣州南康市
- 头后大直肌头后大直肌(rectus capitis posterior major muscle)以点状的腱起始于轴椎的棘突,然后在上升中逐渐变宽,最后附着至枕骨的下项线及略低此线的骨头的表面。因为两侧的肌肉向上和
- 大篆陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧ 小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧