“一一對應”指二集合元素之間有一對一關系的對應。
在數學中,雙射,雙射函數或一對一對應是兩組的元素之間的函數,其中一組的每個元素與另一組的元素恰好配對,另一組的每個元素與第一組的正好一個元素也恰好配對,叫一一對應。
對于X和Y之間的配對(其中Y不需要與X不同)稱為對應,以下四個屬性必須成立:
1、X的每個元素必須與Y的至少一個元素配對;
2、Y的每個元素必須與X的至少一個元素配對;
3、沒有X的元素可以與Y的多于一個元素配對;
4、Y的任何元素都不能與X的多個元素配對。
一一對應的概念概括為部分功能,即将其稱為部分雙射。這種原因是(适當的)部分功能對于其一部分域已經是未定義的;因此沒有強制性的理由将其逆向約束為總功能,即在其域上的任何地方都被定義。給定基集合上的所有部分雙射的集合稱為對稱反半群。
更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!