"injective"是數學領域的專業英語形容詞，音標標註為英式[ɪn'dʒektɪv]和美式[ɪn'dʒektɪv]。其核心釋義為描述函式映射性質中的單射（不同輸入對應不同輸出）和內射（代數結構中的保持性映射）兩類數學概念。該術語常與"surjective"（滿射）並列使用，共同構成雙射函式（bijective）的定義前提。在範疇論與同調代數中，衍生出內射模（injective module）、內射分解（injective resolution）等擴展術語體系。
基本介紹
- 詞性：形容詞
- 發音：/ɪn'dʒektɪv/
- 所屬領域：數學
- 常見譯法：[數] 單射的
- 相關術語：雙射函式
- 套用領域：抽象代數
數學定義,相關術語體系,典型套用場景,
數學定義
在集合論中，單射函式（injective function）指滿足$\forall a_1,a_2\in A, f(a_1)=f(a_2)\Rightarrow a_1=a_2$性質的映射，確保定義域中不同元素在值域中對應不同像。該性質與滿射（surjective）構成雙射函式（bijective）的雙重要件。在範疇論框架下，內射對象（injective object）指對任意單態射都能保持右可消去的對象。
相關術語體系
與"injective"直接關聯的數學概念包括：
- 內射模（injective module）：滿足任意模同態可擴展性質的模結構，在同調代數中具有核心地位
- 內射分解（injective resolution）：用內射模序列構造的鏈復形，用於計算導出函子
- 內射維數（injective dimension）：衡量模在內射分解中的最小長度
- 內射包絡（injective envelope）：包含給定模的最小內射模
典型套用場景
在環論研究中，內射模的性質被用於刻畫諾特環與阿廷環的特性。例如：當環R滿足每個右R-模都具有內射包絡時，該環被稱為右諾特環。2015年文獻中提及的"essentially injective modules"（本質內射模）擴展了經典內射模的定義，其研究涉及非交換環的分類問題。
函式映射場景中，單射性質的驗證常通過構造反證法完成。如證明線性變換$T:V\rightarrow W$是單射，需驗證其核空間$\ker(T)$僅含零向量。該性質在數學領域被套用於描述單射函式性質。
