bijection

bijection 是英語中表示數學概念"雙射"的專業術語，指既滿足單射（injective）又滿足滿射（surjective）條件的映射函式。該術語在集合論中具有核心地位，通過建立兩個集合間的雙射關係，可嚴格證明它們具有相同元素個數。bijection 的形容詞形式為 bijective，常見於數學證明與計算機科學領域。

基本介紹

• 詞性：名詞
• 領域：數學
• 中文譯名：雙射
• 英文音標：/baɪˈdʒɛkʃən/
• 相關術語：單射、滿射
• 套用領域：集合論、組合數學

數學定義

雙射指同時滿足以下兩個條件的函式關係：

• 單射性：每個像都有唯一原像（不存在不同元素映射到相同像）
• 滿射性：到達域中每個元素都有對應原像

這種一一對應的特性使其具備可逆性，即存在逆函式能將到達域元素唯一映射回原始域。

核心特性

• 建立集合元素間的一一對應關係，常用於證明兩個無窮集合等勢
• 在有限集合中，雙射函式的建立等同於證明兩集合元素數量相等
• 每個雙射函式都存在唯一的雙側逆函式

套用場景

在集合論證明中，雙射構造法是最基礎的證明工具之一。例如通過構建自然數集與有理數集之間的雙射，可證明兩者具有相同的基數。組合數學中，雙射證明法（Bijective proof）廣泛套用於解決計數問題，通過建立兩個問題解集間的雙射來證明其解的等價性。

相關術語

• 單射（Injection）：保持原像唯一性的映射
• 滿射（Surjection）：覆蓋整個到達域的映射
• Bijective：雙射的形容詞形式，描述具備雙射性質的函式
• 逆映射（Inverse mapping）：由雙射函式必然存在的反向映射關係