跳至內容

單射、滿射與雙射

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

在數學定義中,單射滿射雙射是指根據其定義域陪域的關聯方式所區分的三類映射

  • 單射:指將不同的變量映射到不同的值的映射。
  • 滿射:指陪域等於值域的映射。即:對陪域中任意元素,都存在至少一個定義域中的元素與之對應。
  • 雙射(也稱一一對應一一映射):既是單射又是滿射的映射。直觀地說,一個雙射映射形成一個對應,並且每一個輸入值都有正好一個輸出值以及每一個輸出值都有正好一個輸入值。 (在一些參考書中,「一一」用來指雙射,但是這裡不用這個較老的用法。)

下圖對比了四種不同的情況:

單射(one to one 或 injection)

[編輯]
單射複合:第二個映射不必是單射。

一個映射稱為單射一對一)如果每個可能的像最多只有一個變量映射其上。等價的有,一個映射是單射如果它把不同值映射到不同像。一個單射映射簡稱單射。形式化的定義如下。

映射單射 當且僅當對於所有, 我們有
  • 一個映射是單射當且僅當是空的或是左可逆的,也就是說,存在一個映射 使得上的恆等映射.
  • 因為每個映射都是滿射當它的陪域限制為它的值域時,每個單射導出一個到它的值域的雙射。更精確的講,每個單射可以分解為一個雙射接着一個如下的包含映射。令為把陪域限制到像的 ,令 為從中的包含映射.則. 一個對偶的分解會對滿射成立。
  • 兩個單射的複合也是單射,但若是單射,只能得出是單射的結論。參看右圖。

滿射(onto 或 surjection)

[編輯]
滿射複合:第一個映射不必為滿射

一個映射稱為滿射(到上)如果每個可能的像至少有一個變量映射其上,或者說陪域任何元素都有至少有一個變量與之對應。形式化的定義如下:

映射滿射當且僅當對任意,存在滿足
  • 映射為一個滿射,當且僅當存在一個映射滿足等於上的單位映射。(這個陳述等同於選擇公理。)
  • 將一個滿射的陪域中每個元素的原像集看作一個等價類,我們可以得到以該等價類組成的集合(原定義域的商集)為定義域的一個雙射
  • 如果皆為滿射,則為滿射。如果是滿射,則僅能得出是滿射。參見右圖。

雙射(bijection)

[編輯]
雙射複合:第一個映射不必為滿射、第二個映射不必為單射

既是單射又是滿射的映射稱為雙射. 映射為雙射當且僅當每個可能的像有且僅有一個變量與之對應。

映射雙射當且僅當對任意存在唯一滿足
  • 映射f : AB為雙射當且僅當其可逆,即,存在映射g: BA滿足g o f = A上的恆等映射,且f o gB上的恆等映射。
  • 兩個雙射的複合也是雙射。如g o f為雙射,則僅能得出f為單射且g為滿射。見右圖。
  • 同一集合上的雙射構成一個對稱群
  • 如果皆為實數,則雙射映射可以被視覺化為兩根任意的水平直線只相交正好一次。(這是水平線測試的一個特例。)

[編輯]

雙射映射經常被用於表明集合XY是等的,即有一樣的基數。如果在兩個集合之間可以建立一個一一對應,則說這兩個集合等勢。

如果皆為有限集合,則這兩個集合中之間存在一個雙射,當且僅當X和Y的元素數相等。其實,在公理集合論中,元素數相同的定義被認為是個特例,一般化這個定義到無限集合需要導入基數的概念,這是一個區別各類不同大小的無限集合的方法。

例子

[編輯]

對於每個映射給定定義域陪域很重要,因為改變這些就能改變映射屬於什麼

雙射

[編輯]
  • 任意集合上的恆等映射id為一雙射。
  • 考慮映射,定義為。這個映射是雙射,因為給定任意一個實數,我們都能解,得到唯一的實數解
  • 指數映射 及其逆映射自然對數

單射、但非滿射

[編輯]
  • 指數映射

滿射、但非單射

[編輯]

既非單射也非滿射

[編輯]

範疇論

[編輯]

範疇論單態射滿態射同構是單射、滿射和雙射概念的推廣。在集合範疇中的單態射滿態射同構分別對應單射、滿射和雙射映射。

參見

[編輯]