1 概念与基本定义
1.1 函数回顾：定义域、值域与像
函数通常记作 \(f:A\to B\)，其中 \(A\) 为定义域，\(B\) 为陪域（也常被称为值域所在集合）。对任意 \(a\in A\)，函数给出唯一的结果 \(f(a)\in B\)。在讨论双射时，关键的是“像”，即集合 \[ f(A)=\{\,f(a)\mid a\in A\,\}\subseteq B, \] 它描述了 \(A\) 的元素在 \(B\) 中实际被送到哪里。
1.2 单射（Injective）定义
若函数 \(f:A\to B\) 满足：当 \(f(a_1)=f(a_2)\) 时必有 \(a_1=a_2\)，则称 \(f\) 为单射。直观上，不同输入不会“跑到同一个输出”，因此不会发生重复配对。
1.3 满射（Surjective）定义
若函数 \(f:A\to B\) 满足：对每个 \(b\in B\)，存在 \(a\in A\) 使得 \(f(a)=b\)，则称 \(f\) 为满射。直观上，陪域 \(B\) 中的每个元素都有“被命中”的来源，体现无遗漏。
1.4 双射（Bijective）定义：同时单射与满射
若函数 \(f:A\to B\) 既是单射又是满射，则称其为双射。双射对应一种严格的一一配对：既没有两个不同元素对应到同一结果（无重复），也不存在 \(B\) 中无法由 \(A\) 映射到的元素（无遗漏）。在集合角度，\(A\) 与 \(B\) 的元素之间形成双向可对应的结构。
2 等价刻画与判别方法
2.1 单射的等价表述
单射除了定义方式外，还有常见等价判别：
- 等价于“像的元素在原像中出现次数至多为 1”，即每个 \(b\in f(A)\) 对应唯一的 \(a\in A\)。
- 等价于“不同输入对应不同输出”，即 \(a_1\neq a_2\Rightarrow f(a_1)\neq f(a_2)\)。
2.2 满射的等价表述
满射同样有多种等价表述：
- 等价于 \(f(A)=B\)，即像恰好覆盖整个陪域。
- 等价于对任意 \(b\in B\)，方程 \(f(a)=b\) 在 \(A\) 中至少有一个解。
2.3 双射的等价表述：从 \(A\) 到 \(B\) 的一一对应
双射可概括为：
- \(f\) 是单射且 \(f(A)=B\)。
- 从集合的角度，\(f\) 将 \(A\) 的每个元素与 \(B\) 的一个且仅一个元素对应起来，同时 \(B\) 的每个元素都被某个 \(A\) 的元素对应到。
因此，双射常被视为“一一对应”的严格数学表达。
2.4 通过集合基数判断：等势与双射
若存在双射 \(f:A\to B\)，则称集合 \(A\) 与 \(B\) 等势。在离散数学中，等势可以被理解为“元素数量相同”（更准确地说是基数相同），并且这类结论可通过构造双射来证明。反之，若能证明等势，往往也意味着可以找到某种合适的双射（在可选择性或给定条件下）。
3 逆函数与可逆性
3.1 可逆函数的直观含义
当一个函数在信息上不丢失且不混淆时，就可以“从输出反推出输入”。可逆性的直观含义是：既能把 \(A\) 的元素送到 \(B\)，也能在 \(B\) 中用结果准确回到原来的元素。
3.2 双射存在逆函数：\(f^{-1}\) 的定义域与值域
若 \(f:A\to B\) 为双射，则对每个 \(b\in B\)，存在且仅存在 \(a\in A\) 满足 \(f(a)=b\)。于是可以定义逆函数 \(f^{-1}:B\to A\)，并令 \[ f^{-1}(b)=a \quad \text{其中 } f(a)=b. \] 此时，逆函数的定义域自然是整个 \(B\)，值域落在 \(A\)。
3.3 逆函数的性质：\(f^{-1}\circ f = \mathrm{id}_A\)
逆函数满足典型的复合恒等关系： \[ f^{-1}\circ f=\mathrm{id}_A, \] 意味着对任意 \(a\in A\)，先用 \(f\) 送到 \(B\)，再用 \(f^{-1}\) 送回 \(A\)，最终得到的仍是原元素。相应地也有 \[ f\circ f^{-1}=\mathrm{id}_B, \] 表示对任意 \(b\in B\) 同理可回到自身。
3.4 逆函数也是双射的证明思路
从定义可知：若 \(f\) 为双射，则 \(f^{-1}\) 在元素对应关系上同样“一一配对”，因此 \(f^{-1}\) 同样具备单射与满射。证明思路通常是：
- 单射性：若 \(f^{-1}(b_1)=f^{-1}(b_2)\)，则对应用 \(f\) 得 \(b_1=b_2\)。
- 满射性：对任意 \(a\in A\)，取 \(b=f(a)\)，可得 \(f^{-1}(b)=a\)。
4 构造双射的常用策略
4.1 直接构造：显式给出对应规则
最常见方法是直接给出一个明确的规则 \(f(a)\)，然后逐条验证： 1) 该规则确实将 \(A\) 的元素送入 \(B\)； 2) 不同输入不会落到同一输出（单射）； 3) 每个输出都来自某个输入（满射）。 当集合结构较为规整时，直接构造往往最快。
4.2 分段构造与分类讨论
若集合 \(A\) 或 \(B\) 可自然分为若干部分（如按奇偶、按区间、按条件分支），则可对每个部分分别定义对应规则，再检查这些规则在边界上不相互冲突、且整体覆盖。此策略特别适合“看似复杂但能分类处理”的场景。
4.3 用中间集合拼接：先等价再合并
有时不宜直接在 \(A\) 与 \(B\) 之间硬配对。可以引入中间集合 \(C\)，先构造 \(A\leftrightarrow C\) 的双射，再构造 \(C\leftrightarrow B\) 的双射。最后通过复合得到 \(A\to B\) 的双射。该思路把问题拆解为更容易的子问题。
4.4 利用已知双射的复合与替换
当已知某些双射（例如经典等势结论、某类映射的可逆性）时，可将它们组合使用：
5 双射的运算性质
5.1 双射的复合仍为双射
若 \(f:A\to B\) 与 \(g:B\to C\) 都是双射，则复合 \(g\circ f:A\to C\) 也是双射。直观上：先用 \(f\) 做一一配对，再用 \(g\) 在配对结果之间继续做一一对应，整体仍保持“无重复且无遗漏”。
5.2 单射与满射的复合规则（对照理解）
为了更好理解双射，常用对照规则包括：
- 单射与单射的复合仍是单射；满射与满射的复合仍是满射。
- 若其中一个映射为双射，则复合会继承更强的性质。
这些规律有助于在验证双射时减少重复劳动：先确定复合后满足的关键性质，再用等价表述补齐证明。
5.3 双射与恒等函数的关系
恒等函数 \(\mathrm{id}_A:A\to A\) 也是双射。并且对任意双射 \(f:A\to B\)，有 \[ f\circ \mathrm{id}_A=f,\qquad \mathrm{id}_B\circ f=f. \] 在代数与离散结构里，恒等与可逆对应构成“运算闭包”的基础直觉。
5.4 双射在换元与参数重标号中的应用
在离散数学与组合问题中，双射常用作“换元器”。例如：通过双射把求和、计数或求解过程从原集合替换到更方便的集合，从而让问题结构变简单。参数重标号的本质也是建立一一对应，确保计数不会重复或漏掉。
6 计数与离散结构中的应用
6.1 等势集合的证明（“数目相同”）
在计数论证里，直接数元素往往困难，但证明等势通常只需构造双射。只要双射存在，就可以严谨地得出两集合“元素数量相同”的结论（基数意义下）。因此双射是离散证明中的常用核心工具。
6.2 计数问题的双射证明模板
常用的双射证明思路可以概括为： 1) 明确要计数的两个集合分别代表“解的某种形式”； 2) 构造一个映射，把第一个集合的元素变成第二个集合的元素； 3) 验证该映射是双射； 4) 因此两个集合的基数相同，从而两种计数结果一致。 这种方法经常被概括为“建立同构计数”，即通过结构对应来转移计数。
6.3 鸽巢原理与双射视角的对比
鸽巢原理通常用于说明“无法无重复地填满某些槽位”。而双射强调“既无遗漏又无重复”的理想对应。两者视角不同：鸽巢原理更侧重不可达性与必然冲突；双射提供可达性与精确配对。二者常在证明中互相补充：当找不到双射时，鸽巢原理可能揭示了冲突的必然性。
6.4 图论/组合对象中的对应关系（概念性示例）
在图论和组合结构中，双射常以“对象之间的对应规则”出现。例如，把图中的某类子结构与另一个集合中的某类符号串或组合配置建立一一对应，就能把问题从图结构转换到更便于计数或分析的表示形式。此类做法强调结构层面的“等价描述”，而非仅数值层面的比较。
7 常见例子与反例
7.1 典型双射示例：集合之间的一一配对
若 \(A=\{1,2,3\}\)，\(B=\{a,b,c\}\)，函数 \(f(1)=a,f(2)=b,f(3)=c\) 显然是双射：不同的输入对应不同的输出，且 \(B\) 中每个元素都被命中一次。这类例子体现了双射的基本性状：完全的一一对应。
7.2 典型单射但非满射
令 \(f:\{1,2,3\}\to\{1,2,3,4\}\)，定义为 \(f(1)=1,f(2)=2,f(3)=3\)。此时输出没有重复，故单射成立；但 \(4\) 没有原像，因此不是满射。该例说明单射不保证无遗漏。
7.3 典型满射但非单射
令 \(f:\{1,2,3,4\}\to\{a,b\}\)，定义为 \(f(1)=a,f(2)=a,f(3)=b,f(4)=b\)。每个 \(a,b\) 都能被命中，因此满射成立；但 \(a\) 有两个原像，重复出现使其不具单射性。该例说明满射不保证无重复。
7.4 误区辨析：如何避免“看起来像”但其实不满足
常见错误包括：
- 把“输入不同”误当作“输出不同”，导致忽视单射的检验。
- 只检查了部分输出，却忘记验证覆盖整个陪域，从而漏掉满射条件。
- 在构造分段函数时忽视边界元素，导致某些输出根本没有来源，或某些输出被多段映射到同一个值。
避免这些误区的要点是：单射与满射必须分别被证明或等价条件必须被验证。
8 相关概念与延伸
8.1 双射与等价关系（集合被配对的结构）
双射反映的是一种“可替换的结构等价”：若 \(A\) 与 \(B\) 能通过双射对应，则研究其中一种集合的性质，通常可以迁移到另一种。把双射视作严格对应方式，可以理解为集合之间的“配对等价”。
8.2 双射、嵌入与满射之间的层级
若 \(f\) 仅是单射，它给出的是从 \(A\) 到 \(B\) 的“嵌入式”关系：不会合并元素，但可能遗漏 \(B\) 的某些部分。若 \(f\) 仅是满射，它给出覆盖意义：所有输出都能得到，但可能把多个输入合并到同一点。双射则是两种缺陷都被修复后的理想状态。
8.3 与同构（isomorphism）的直观对应
在更一般的代数或结构语境中，同构通常要求“保持结构的双向对应”。双射是这种双向对应的基础形式：先有可逆的元素层面配对，再额外要求结构操作与关系在对应下被保持。因而双射可视为同构概念在集合层面的起点。
8.4 从函数到结构：为何双射是离散数学的“万能钥匙”
双射之所以在离散数学中频繁出现，关键在于它同时提供了两种力量：
- 它把“两个集合大小相同”的结论变得可证明、可构造；
- 它把复杂计数与结构分析转化为“找一一对应”的问题。
在证明中，双射常像一种通用接口：当你能找到合适的对应规则，许多看似不同的问题会在同一框架下化简，从而提高证明的可操作性与可解释性。