满射盖射(英语:surjection、onto),或称满射函数映成函数,一个函数为满射,则对于任意的陪域 中的元素 ,在函数的定义域 中存在一点 使得 。换句话说,是满射时,它的值域与陪域相等,或者,等价地,如果每一个陪域中的元素 原像 不等于空集合。

例子和反例

编辑

函数 ,定义为 ,不是一个满射,因为,(举例)不存在一个实数满足 

但是,如果把 的陪域限制到只有非负实数,则函数 为满射。这是因为,给定一个任意的非负实数 ,我们能对 求解,得到 


 
双射(单射与满射)

 
单射(one to one)但非满射

 
满射(onto)但非单射

 
非满射非单射

性质

编辑

根据定义,函数为双射当且仅当它既是满射也是单射

若将定义在 上的函数 ,视为其图像,即 集合论经常如此行),则满射与否,不仅是 的性质,而是映射(需要声明陪域)的性质。[1]单射与否可以单凭图像判断,但满射则不同,不能单凭图像判断,因为要知道陪域。

右可逆函数

编辑

函数 称为函数 右逆,意思是  的所有元素 成立。简而言之, 的效果,可以 复原。用文字表示,  的右逆,意思是先做 后做 复合 ,等于 上的恒等函数,即不造成任何变化。此处不要求  的真正反函数,因为另一次序的复合 ,不必是 的恒等函数。换言之, 可以“复原”或“抵消” ,但不必被 复原或抵消。

若函数有右逆,则必为满射。但反之,“每个满射皆有右逆”此一命题,等价于选择公理,故在某些集合论中(例如假设决定公理为真的集合论系统),不必为真。

 为满射,  子集,则 ,即从预象 ,可以找回 

右可消去

编辑

函数 是满射,当且仅当其为右可消去英语right-cancellative[2]给定任何两个有公共定义域和陪域的函数 ,若 ,则有 。此性质的叙述用到函数和复合,可以对应推广成范畴态射和复合。右可消的态射称为满态射英语epimorphism满同态。满射与满态射的关系在于,满射就是集合范畴中的满态射。

范畴论中,有右逆的态射必为满态射,但反之则不然。态射 的右逆 也称为 截面英语section (category theory)。而有右逆的态射称为分裂满态射英语split epimorphism,是一类特殊的满态射。

作为二元关系

编辑

 为定义域, 为值域的函数,可以视为两集合之间的左全英语left-total relation右唯一英语right-unique relation的二元关系,因为可将函数与图像等同。此观点下,由  的满射,是右唯一而既左全又右全的关系。

定义域不小于陪域

编辑

满射的定义域,必有大于或等于其陪域的基数:若 为满射,则 的元素个数必定至少等于 的元素个数(在基数意义下)。但此结论的证明,需要假定选择公理,以证明 有右逆,即存在函数 使得  的任意元素 成立。满足此性质的 必为单射,故由基数大小比较的定义,有 

特别地,若  皆是有限,且两者的元素个数相同,则 是满射当且仅当 单射

给定两个集合  ,以 表示“或者 ,或者存在由  的满射”。利用选择公理,可以证明,  两者一起,足以推出 。此为康托尔-伯恩斯坦-施罗德定理的变式。

复合与分解

编辑

两个满射的复合仍是满射:若  皆为满射,且 的陪域是 的定义域,则 也是满射。反之,若 为满,则 是满射,但 不必为满射。与右可消去一节一样,从集合范畴的满射,可以推广到一般范畴满态射

任何函数都可以分解成一个满射与一个单射的复合:对任意 ,都存在满射 和单射 使得 ,取法如下:定义 为所有原像 的集合,其中 历遍 值域。该些原像两两互斥,且划分 。于是, 将每个 映到包含 的原像(此为 的元素),然后 再将 的每个元素(形如 )映到相应的 。则 为满射(因为 中的元素,是原像 ,且非空,故有某个 ,所以由 的定义有 ),而根据 的定义,其为单射。

导出满射和导出双射

编辑

任何函数,若将其陪域限制成值域,则可以视为满射,称为其导出满射。任何满射,若将定义域换成商集,即将函数值相同的参数,折叠成同一个“等价类”,则得到一个双射,其由等价类组成的集合,射去原函数的陪域。以符号表示,每个满射 可以分解成先做一个商映射,再做一个双射。考虑以下等价关系 当且仅当 。以 表示此等价关系下, 的等价类的集合。换言之,  所有原像的集合。以 表示将 映到等价类 商映射,又设 ,定义为 ,则 。由定义知, 是满射,而 是双射。

相关条目

编辑

参考文献

编辑
  1. ^ T. M. Apostol. Mathematical Analysis. Addison-Wesley. 1981: 35. 
  2. ^ Goldblatt, Robert. Topoi, the Categorial Analysis of Logic [拓扑斯,逻辑的范畴论分析] Revised. Dover Publications. 2006 [1984] [2009-11-25]. ISBN 978-0-486-45026-1. (原始内容存档于2020-03-21) (英语).