首页 >
一一对应
✍ dations ◷ 2025-06-07 03:12:11 #一一对应
数学中,一个由集合
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}
为有限集合,则其存在一两集合的双射函数当且仅当两个集合有相同的元素个数。确实,在公理集合论里,这正是“相同元素个数”的定义,且广义化至无限集合,并导致了基数的概念,用以分辨无限集合的不同大小。形式上,双射函数恰好是集合范畴内的同构。
相关
- 霍奇金淋巴瘤霍奇金氏淋巴瘤(英语:Hodgkin's lymphoma)又称霍奇金氏病、何杰金氏病,或何杰金氏淋巴瘤,为淋巴瘤的一型,是一种淋巴细胞的癌变,症状包含发烧、夜间盗汗(英语:Night sweats),以及体重减
- 抗代谢物抗代谢物(英语:Antimetabolite)指化学结构与天然代谢产物相似的化合物,在代谢反应中能与正常代谢产物相拮抗,减少正常代谢物参与反应的机会,抑制正常代谢过程。 抗代谢物可能对细
- 泡轮虫属泡轮虫属(Pompholyxophrys)是有孔虫界下的一种属。泡轮虫属包括生物紫红泡轮虫(Pompholyxophrys punicea)。泡轮虫属则属于核形虫目。
- 2005年英国大选托尼·布莱尔 工党托尼·布莱尔 工党政治主题2005年英国大选(United Kingdom general election of 2005)于2005年5月5日举行。在首相托尼·布莱尔请求之下,英国女王伊丽莎白二
- 淋巴球淋巴细胞(英语:lymphocyte),也称淋巴球,为白细胞中体积最小的一种,直径6—8微米;在人体约占白细胞的20—30%,圆形细胞核,细胞质很少。某些疾病可以影响淋巴细胞数目的增减,如患肺结核
- 亚急性硬化性全脑炎亚急性硬化性全脑炎(Subacute sclerosing panencephalitis, SSPE) 是一种感染麻疹病毒后的脑炎并发症,是一种会致命、渐进性,造成中枢神经广泛去髓鞘的慢性中枢神经退化性疾病,
- 淡水淡水,是水质中仅有微量溶解的氯化钠的水,是相对于海水或矿泉水的一种水体。大气降水、水汽凝结凝华、结晶水转化成自由水、火山爆发(存在争议)、彗星撞击。液态淡水和固态淡水,气
- 自然主义自然主义通常是指综合唯物主义和实用主义、不探究自然界中超自然因素的哲学立场,其理论基础认为所有现象皆可用自然理由的概念解释。自然主义不一定认为超自然现象和对于不存
- 流苏祈祷披风一角的流苏流苏(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram
- 韧带韧带(ligament、拉丁语 ligamenta,单数 ligamentum)是可弯曲,纤维样的弹性结缔组织。韧带连接骨与骨,为明显的纤维组织,或附于骨的表面或与关节囊的外层融合,以加强关节的稳固性,以