单射指定义域中每个元素的像唯一且互不重叠,即Y中每点入度≤1;满射指陪域Y被完全覆盖,即Y中每点入度≥1;二者叠加得双射,Y中每点入度恰好为1。

如果您在学习集合映射时对“单射”与“满射”的命名感到困惑,这种命名并非随意而为,而是直接反映其数学行为的直观特征。以下是理解二者名称来源及其图示含义的关键路径:
一、单射之“单”的来源与图示含义
“单”指定义域中**每个元素的像唯一且互不重叠**,即不允许两个不同输入映射到同一个输出——这种“一对一(但未必全覆盖)”的对应方式,突出的是映射过程中的**单一性约束**:一个原像至多对应一个像,且不同原像绝不共享同一像。
1、在箭头图示中,从集合X向集合Y画出所有f(x)对应的箭头;
2、检查Y中任意一个元素y,若其被指向的箭头数量≤1,则满足单射条件;
3、若存在某个y被两个及以上来自X的不同元素同时指向,则立即判定不是单射;
4、图示中X的多个元素可不指向Y中某些y,这不影响单射成立。
二、满射之“满”的来源与图示含义
“满”指陪域Y被**完全覆盖**,即Y中**没有闲置元素**——每个y∈Y都必须是某个x∈X的像,强调映射结果对目标集合的“填满”状态,不关心X中元素是否重复映射或是否多余。
1、绘制X→Y的全部映射箭头;
2、逐一核对Y中每一个元素y,确认是否存在至少一条指向它的箭头;
3、若发现任一y∈Y没有任何箭头抵达,则该映射不满足满射;
4、允许X中多个不同x指向同一个y,这是满射所允许甚至常见的现象。
三、名称与图示的联合验证法
将“单”与“满”两字拆解为可检验的视觉判据:单→看Y侧各点入度是否≤1;满→看Y侧各点入度是否≥1。二者叠加即得双射——Y中每点入度**恰好等于1**。
1、取一张空白纸,左侧画三个圆点代表X={x₁,x₂,x₃},右侧画四个圆点代表Y={y₁,y₂,y₃,y₄};
2、尝试仅用三条箭头连接X→Y,使Y中y₄无箭头抵达——此为单射但非满射;
3、改用四条箭头,让x₁→y₁、x₂→y₂、x₃→y₃,再令x₁→y₄(违反函数定义,舍去);改为x₁→y₁、x₂→y₂、x₃→y₃且x₃→y₄——此时因x₃有两个像,已不构成映射;
4、正确构造满射需保证Y四点全被射中,例如:x₁→y₁、x₂→y₂、x₃→y₃,再增设x₄→y₄(需扩充X),或允许多对一:x₁→y₁、x₂→y₂、x₃→y₃、x₃→y₄(仍不合法);最终合法方案为:x₁→y₁、x₂→y₂、x₃→y₃,另设x₄→y₄——可见满射常需|X|≥|Y|。









