各类映射函数计数公式及直观原理详解
罗光宣
设定义域集合 
（含 
个不同自变量），值域集合
（含 
个不同函数值），映射关系为 
。
本文系统整理离散数学中六种基础映射的计数公式、边界条件、直观理解、严格证明。
一、总表
函数类型 |
计数公式 |
释义与边界 |
普通任意函数 |
|
自由取值，无任何限制 |
单射 |
|
取值不重复；自变量多则不存在 |
满射 |
|
全覆盖值域；自变量少则不存在 |
双射 |
|
一一对应；仅 |
单调函数（不减+不增合计） |
|
允许值重复，对应不降格路 |
严格单调函数（单类） |
|
取值不重复，纯选数不排序 |
二、逐项完整解析
2.1 普通任意函数
适用条件：对任意正整数 
均成立，无边界限制。
直观理解：将 
个自变量视为 
个不同小球，
个值域元素视为 
个不同盒子。每个小球都可以独立任选一个盒子，互不干扰。共 
轮独立选择，每轮 
种，总数为 
。
严格证明：构造映射需要依次为 
中 
个元素赋值，每一步有 
种独立选择。由分步乘法计数原理：
证毕。
2.2 单射（一一映射）
适用条件：
有解；
数量为 
。
直观理解：单射要求「不同自变量对应不同函数值」，即一个盒子最多放一个球。第一个自变量有 
种选择，后续每选一个值就占用一个名额，因此选择数依次递减。本质是有序不重复选取，对应排列数。若自变量更多，必然重复，故无解。
严格证明：
1. 若 
：由鸽巢原理，
个对象放入 
个位置，必有重复，不满足单射，数量为 
。
2. 若 
：依次选取不重复值域元素，方案数：
证毕。
2.3 满射（完全映射）
适用条件：
有解；
数量为
。
直观理解：满射要求「值域每一个元素都被取到」，即 每个盒子至少一个球。
两步逻辑：
1. 先用第二类斯特林数 
：把 
个不同自变量分成 
个非空、无标号组；
2. 再乘 
：给这 
组分配 
个不同的值域标签。
自变量少于值域时不可能全覆盖，故为0。
严格证明：
1. 若 
：无法覆盖全部 
个值域，满射数为 
。
2. 若 
：由容斥原理，满射个数：
结合斯特林数公式 
得满射总数：
证毕。
2.4 双射（一一对应）
适用条件：仅 
有解；其余情况为 
。
直观理解：双射 = 单射 + 满射。
必须满足：不重复、无空缺。等价于「每个盒子恰好一个球」，只能在球数=盒子数时成立，对应全排列 
。
严格证明：
1. 
：无法同时满足单射、满射，双射数为 
。
2. 
：单射、满射、双射等价，数量为 
。
证毕。
2.5 单调函数（不减+不增合计）
适用条件：任意 
均成立。
直观理解（核心：不降格路）
定义域天然有序 
。
- 单调不减：允许持平、不下降，等价于二维不降格路，对应可重复组合模型，数量为 
。
- 单调不增：完全对称，数量相同。
两类无重叠，总数乘2。
严格证明：
对不减序列
，做变换 
，可转为严格递增序列：
严格递增选取数为 
，即不减函数数量。
不增函数对称同数量，故总数：
证毕。
2.6 严格单调函数（单类）
适用条件：
有解；
为 
。
直观理解：严格单调要求数值完全不重复。
自变量有序，只要选出 
个不同数值，顺序被定义域唯一固定（递增或递减），只选不排，因此是普通组合数。
严格证明：
1. 
：无法选出互不重复的 
个数，数量为 
。
2. 
：严格单调函数与 
元子集一一对应，数量为 
。
证毕。
三、易错点总结（考试必看）
•可重复单调：
是单类，
才是全部单调函数。
•严格单调：
只是增/减一类，两类总数要乘2。
•万能边界
￮
：单射、严格单调 无解
￮
：满射、双射 无解
四、终极一句话总结
1. 普通函数：自由取值
2. 单射：不重复排列
3. 满射：斯特林分组 + 全排列编号
4. 双射：等量一一配对全排列
5. 普通单调：可重复组合、不降格路模型
6. 严格单调：无重复子集选取