Mapping（映射）
在数学里，映射是个术语（terminology），指两个非空集合之间的对应关系。需要注意的是，这种对应关系具有方向性。假设存在两个非空集合 A A A 和 B B B，元素 a a a 和 b b b 分别属于集合 A A A 和 B B B。此时，有从 A A A 到 B B B 的映射 f f f，记作 f f f： A→B。在映射作用下，有 f ( a ) = b f(a) = b f(a)=b， a a a 被称为 b b b 关于映射 f f f 的原像， b b b 被称为 a a a 关于映射 f f f 的像。依据集合 A 与集合 B 之间的关系，可以将映射分为单射（injection）、满射（surjection）以及双射（bijection）（或一一映射）。值得注意的是，映射的基本要求有： ∀ a ∈ A \forall a \in A ∀a∈A都 ∃ b ∈ B \exists b \in B ∃b∈B 与之关于映射 f f f 对应。
*注意：映射有方向性。
Injection 单射
前提假设：
∀
a
1
,
a
2
∈
A
\forall a_1, a_2 \in A
∀a1,a2∈A，有
b
1
,
b
2
∈
B
b_1, b_2 \in B
b1,b2∈B，即
f
(
a
1
)
=
b
1
f(a_1) = b_1
f(a1)=b1，
f
(
a
2
)
=
b
2
f(a_2) = b_2
f(a2)=b2。
定义：满足若
a
1
≠
a
2
a_1 \ne a_2
a1=a2，则
b
1
≠
b
2
b_1 \ne b_2
b1=b2，那么我们称该映射为单射（injection）。
更形象地理解，在传统的恋爱观假设下，存在两个集合。集合 M M M 中的元素是所有男人，集合 W W W 中的元素是所有女人。当每个男人追求的女人都不一样时，被称作单射。需要注意的是，单射并没有要求所有的女人都在被男人追求；同时，为了满足映射的基本要求，每一个男人都有追求的对象。
Surjection 满射
定义： ∀ b ∈ B \forall b \in B ∀b∈B，都 ∃ a ∈ A \exists a \in A ∃a∈A有 f ( a ) = b f(a) = b f(a)=b，那么我们称该映射为满射（surjection）。此时，我们按照映射的反方向来看， ∀ b ∈ B \forall b \in B ∀b∈B， A A A 中都有元素与之对应。
在传统的恋爱观假设下，当每一个女人都有追求者时，被称作满射（surjection）。需要注意的是，满射并没有规定任意一个女人的追求者数量，即其任意一个女人的追求者数量可以大于1；同时，为了满足映射的基本要求，每一个男人都有追求的对象。
Bijection 双射（或一一映射）
定义：既是单射又是满射，那么我们称该映射为双射（surjection）。
在传统的恋爱观假设下，当每一个女人都有且仅有一个追求者时，被称作满射（surjection）。该定义既规定了所有的女人都有追求者，又限定了每个女人只能有一个追求者。其中隐含的信息便是集合 W W W 中的元素个数与集合 M M M 中的元素个数相等。
映射与集合中元素个数的思考
映射为双射：规定“男人”集合的人数与“女人”集合的人数相等。
映射为双射：“男人的人数”
≥
\ge
≥ “女人的人数”。
映射为单射：“男人的人数”
≤
\le
≤ “女人的人数”。
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
