映射（数学）的思考

Mapping（映射）

在数学里，映射是个术语（terminology），指两个非空集合之间的对应关系。需要注意的是，这种对应关系具有方向性。假设存在两个非空集合 $A$ 和 $B$，元素 $a$ 和 $b$ 分别属于集合 $A$ 和 $B$。此时，有从 $A$ 到 $B$ 的映射$f$，记作$f$： A→B。在映射作用下，有$f(a)=b$，$a$ 被称为 $b$ 关于映射 $f$ 的原像，$b$ 被称为 $a$ 关于映射 $f$ 的像。依据集合 A 与集合 B 之间的关系，可以将映射分为单射（injection）、满射（surjection）以及双射（bijection）（或一一映射）。值得注意的是，映射的基本要求有：$\forall a\in A$都 $\exists b\in B$ 与之关于映射 $f$ 对应。

*注意：映射有方向性。

Injection 单射

前提假设：$\forall a_1,a_2\in A$，有$b_1,b_2\in B$，即$f(a_1)=b_1$，$f(a_2)=b_2$。
定义：满足若$a_1\ne a_2$，则$b_1\ne b_2$，那么我们称该映射为单射（injection）。

更形象地理解，在传统的恋爱观假设下，存在两个集合。集合 $M$ 中的元素是所有男人，集合 $W$ 中的元素是所有女人。当每个男人追求的女人都不一样时，被称作单射。需要注意的是，单射并没有要求所有的女人都在被男人追求；同时，为了满足映射的基本要求，每一个男人都有追求的对象。

Surjection 满射

定义：$\forall b\in B$，都 $\exists a\in A$有$f(a)=b$，那么我们称该映射为满射（surjection）。此时，我们按照映射的反方向来看，$\forall b\in B$， $A$ 中都有元素与之对应。

在传统的恋爱观假设下，当每一个女人都有追求者时，被称作满射（surjection）。需要注意的是，满射并没有规定任意一个女人的追求者数量，即其任意一个女人的追求者数量可以大于1；同时，为了满足映射的基本要求，每一个男人都有追求的对象。

Bijection 双射（或一一映射）

定义：既是单射又是满射，那么我们称该映射为双射（surjection）。

在传统的恋爱观假设下，当每一个女人都有且仅有一个追求者时，被称作满射（surjection）。该定义既规定了所有的女人都有追求者，又限定了每个女人只能有一个追求者。其中隐含的信息便是集合 $W$ 中的元素个数与集合 $M$ 中的元素个数相等。

映射与集合中元素个数的思考

映射为双射：规定“男人”集合的人数与“女人”集合的人数相等。
映射为双射：“男人的人数” $\ge$ “女人的人数”。
映射为单射：“男人的人数” $\le$ “女人的人数”。