满射

本文介绍的是集合间的满射. 关于代数几何中的满射, 请参见 “满射 (代数几何)”.

集合间映射 $f:X\to Y$ 称为满射, 如果对每个 $y\in Y$, 存在 $x\in X$ 使得 $f(x)=y$. 换言之, $Y$ 中每个元素的原像至少有一个元素.

满射也是集合范畴中的满态射.

1定义

定义 1.1 (满射). 集合间映射 $f:X\to Y$ 称为满射, 如果对每个 $y\in Y$, 存在 $x\in X$ 使得 $f(x)=y$.

2相关概念

•	单射、双射
•	满态射

术语翻译

满射 • 英文 surjection • 德文 Surjektion (f) • 法文 surjection (f) • 拉丁文 superiectio (f) • 古希腊文 ἑφίεσις (f)

满 (形容词) • 英文 surjective • 德文 surjektiv • 法文 surjectif • 拉丁文 superiectivus • 古希腊文 ἐφιετικός