surjection是英語中的數學專業術語，作為名詞使用，中文譯為“滿射”。該術語描述了一種特定類型的函式映射關係：若函式的值域與到達域完全重合，即到達域中每個元素都有至少一個定義域元素與之對應，則該函式稱為滿射。
該詞的英式發音為/sɚˈdʒɛkʃən/，美式發音為/sɚ'dʒɛkʃən/。在數學文獻中常見其衍生術語，如“典範滿射”（canonical surjection）和“自然滿射”（natural surjection），它們分別在代數結構和拓撲空間研究中具有特定套用場景。
基本介紹
- 詞性：名詞
- 領域：數學
- 發音：/sɚˈdʒɛkʃən/（英）
- 套用：泛函分析、矩陣空間
- 相關術語：典範滿射、自然滿射
術語定義,數學屬性,套用示例,詞源與發音,研究現狀,
術語定義
在數學集合論中，滿射指函式$f:X→Y$滿足：對於$Y$中的任意元素$y$，均存在至少一個$x∈X$使得$f(x)=y$。這一性質確保了映射覆蓋整個到達域，而非僅部分子集。滿射常與單射（injection）並列討論，二者共同構成雙射（bijection）的核心判定條件。
數學屬性
滿射的數學特性包括：
- 複合函式特性：若兩個滿射函式可複合，則複合結果仍為滿射
- 核空間維度：在向量空間映射中，滿射的核空間維度等於定義域與到達域的維度差
- 範疇論視角：在範疇語言中，滿射對應態射的“滿態射”屬性
套用示例
典範滿射（canonical surjection）是商群、商環等代數結構中的標準映射，將元素映射至其等價類。例如，在模論中，典範滿射$\pi:M→M/N$將每個元素$m$映射為陪集$m+N$。
自然滿射（natural surjection）則常見於數學領域，指從集合到其商集的滿射。這類映射在流形分類和纖維叢理論中具有基礎作用。
詞源與發音
該詞源自拉丁語“surjicere”，意為“投射其上”，後綴“-tion”表示名詞化。英語發音存在英式與美式變體，差異主要體現為第二個音節元音開口度不同。學術文獻中通常採用國際音標統一標註，以消除地域發音差異帶來的理解歧義。
研究現狀
截至2024年，滿射相關研究集中在以下領域：
- 譜保持映射：巴拿赫代數中，研究保持外圍譜的滿射線性運算元特性成為泛函分析熱點
- 矩陣空間：加法秩一保持滿射在對稱矩陣空間的結構分析中展現特殊性質
