1 单射的基本定义
1.1 函数与映射的区分
在数学中，单射讨论的是“函数/映射”如何把集合中的元素对应到另一个集合。通常设有映射 \(f:A\to B\)，其中 \(A\) 与 \(B\) 是集合。强调“映射”的意义在于：每个 \(A\) 中的元素都被指派到 \(B\) 中某个元素，且指派是确定的；而“单射”则进一步要求：不同的输入不得对应到同一个输出。
1.2 单射的形式化表述
设 \(f:A\to B\)。若满足 \[ \forall x_1,x_2\in A,\quad f(x_1)=f(x_2)\Rightarrow x_1=x_2, \] 则称 \(f\) 为单射（injective function）。等价地，也可用“不同输入产生不同输出”表述：若 \(x_1\neq x_2\)，则 \(f(x_1)\neq f(x_2)\)。
1.3 等价刻画方式
1.3.1 用“左可逆”刻画
单射与存在“左逆”密切相关：若 \(f:A\to B\) 是单射，则可以在 \(f(A)\subseteq B\) 上定义一个映射 \(g:f(A)\to A\)，使得 \[ g\circ f=\mathrm{id}_A, \] 其中 \(\mathrm{id}_A\) 为 \(A\) 上的恒等映射。直观上，单射意味着可以在像空间中“把结果反查回原输入”。
1.3.2 用逆像刻画
另一种常用等价表述是用逆像（原像）刻画：对任意 \(y\in B\)，集合 \(f^{-1}(\{y\})\subseteq A\) 至多含有一个元素。等价地，若对某些 \(y\) 有两个不同的原像则违反单射；因此单射可看作“每个输出对应至多一个输入”。
2 单射的直观理解与图像
2.1 “不许撞车”的几何直观
在几何或可视化语境下，单射可被理解为“点的投影不发生合并”。把 \(A\) 中不同的点送到 \(B\) 的同一处会导致“碰撞”，单射正是排除这种情况的性质。
2.2 维度与信息保留的类比
在很多常见场景（例如线性代数）中，映射可以看作“压缩”或“变换”。单射意味着不会把不同的输入信息压到同一结果上，因此通常被视为一种“信息不丢失”的约束。注意这只是类比：一般函数并无“维度”概念，但在有额外结构（如向量空间）时该直觉尤其好用。
2.3 在集合论视角下的解释
从集合论角度，单射把集合 \(A\) 的元素按“无重叠的方式”注入到 \(B\) 中：像 \(f(A)\) 中的每个元素都能唯一对应回 \(A\) 的某个点。换言之，单射把 \(A\) 复制成一个与原元素一一对应的“子集合”，只是该子集合嵌在更大的 \(B\) 里。
3 判定单射的常用方法
3.1 直接验证法
3.1.1 由定义推导
最直接的做法是从单射定义出发：取任意 \(x_1,x_2\in A\)，假设 \(f(x_1)=f(x_2)\)，然后推出 \(x_1=x_2\)。若能在一般情形下完成推出，即证明单射。
3.1.2 通过反证法
反证法也常用：假设 \(f\) 不是单射，则存在 \(x_1\neq x_2\) 使得 \(f(x_1)=f(x_2)\)。找出这种“冲突对”即可否定单射。该策略在处理显式公式时往往比抽象讨论更高效。
3.2 利用单调性/可逆性（适用情形）
当 \(A,B\) 是有序结构（如实数区间）并且 \(f\) 在相应范围内单调时，单射性经常可直接得到：单调函数不会把不同自变量映射到同一函数值。在可逆性方面，如果已知 \(f\) 在其定义域上可逆（至少存在左逆或在像上可逆），也能推出单射。需要注意，这些都是“在特定结构下”的便利判据，不是普遍等价。
3.3 利用复合与约束条件
3.3.1 由复合单射推出单射
若考虑复合映射 \(h\circ f\)，常见思路是：当外层映射 \(h\) 对输入区分很强（例如 \(h\) 单射），而复合结果又不区分原输入，可能可反推 \(f\) 的性质。典型结论形式是：若 \(h\) 单射且 \(h\circ f\) 单射，则 \(f\) 也单射。其本质是“外层不会制造新的碰撞”，因此碰撞若被排除，就能归因到内层。
3.3.2 由限制映射判定
| 在很多应用中，需要考察把定义域限制到子集的情形。若 \(f\) 在子集 \(A_0\subseteq A\) 上的限制 \(f | _{A_0}\) 为单射，那么在 \(A_0\) 内不同元素不会合并。反过来，若能在子集上找到反例（两点不同但映射相同），也能证明在更大范围内不可能是单射。 |
|---|
4 单射与集合运算的关系
4.1 单射与子集像
单射与像集 \(f(A)\) 的关系表现为：\(A\) 与 \(f(A)\) 之间可以建立双向对应（在合适的意义下）。具体而言，单射保证 \(f\) 在 \(A\) 与其像之间不重叠，从而像可以视为 \(A\) 的“等份复制”。
4.2 逆像与陪集式描述
当函数具有代数结构时（例如同态），逆像运算常与等价关系相联系。即便不谈具体结构，逆像在集合论中也提供了对单射的检测方式：单射等价于对任意单点 \(\{y\}\subseteq B\)，其逆像 \(f^{-1}(\{y\})\) 至多含一个元素。若把 \(B\) 的某些“块”（如等价类、商结构中的代表）代换进去，逆像的形状也能用于理解单射与“结构区分”的联系。
4.3 单射保持某些结构性的原因
在具有额外运算或关系的对象里，单射的关键作用往往在于：它不破坏“区分性”，从而使得在像上的运算或关系可以被良好地传回原对象。换句话说，单射提供了从结果回到输入的唯一通道，因此常能把性质从像迁移回定义域。
5 单射在代数中的角色
5.1 在向量空间中的单射
5.1.1 线性映射与核的关系
设 \(V,W\) 是向量空间，\(T:V\to W\) 为线性映射。线性映射的单射性与核联系紧密：\(T\) 单射当且仅当 \[ \ker T=\{0\}. \] 理由在于：若 \(T(x_1)=T(x_2)\)，则 \(T(x_1-x_2)=0\)，即 \(x_1-x_2\in\ker T\)。当核仅含零向量时便推出 \(x_1=x_2\)。
5.1.2 维数比较与单射性
在有限维情形，线性映射的单射性还能通过维数刻画。若 \(V\) 有有限维数，则单射意味着 \(\dim T(V)=\dim V\)。配合秩-零化度等式，可以把单射与“零空间大小”相对应，从而在计算维数时快速判断。
5.2 在群论中的单射（同态）
5.2.1 核与单射的对应
在群论中，若 \(f:G\to H\) 是群同态（保持群运算的映射），则 \(f\) 单射当且仅当 \[ \ker f=\{e_G\}, \] 其中 \(e_G\) 是单位元。证明与线性情形类似：同态使得“相等可转化为差为单位”，而核恰好描述导致“区分消失”的元素。
5.2.2 嵌入与子群同构
若 \(f\) 是单射同态，则 \(G\) 可以与 \(f(G)\) 进行同构识别。此时 \(f(G)\) 是 \(H\) 的一个子群，而 \(f\) 实现了把 \(G\) 嵌入到更大的群中的过程。单射因此常被视作群“嵌入”的代数版本。
5.3 在环论中的单射（同态）
5.3.1 核与单射的对应
对环同态 \(f:R\to S\)，同样有：\(f\) 单射当且仅当其核为零理想（具体形式取决于环是否带单位、以及“核”采用何种标准；常见情形下为 \(\{0\}\)）。核承担了“哪些元素在映射后失去可区分性”的角色。
5.3.2 子环嵌入的判别
若环同态是单射，则 \(R\) 与其像 \(f(R)\) 之间可以建立同构，从而把 \(R\) 视为 \(S\) 的一个嵌入子环。这样的识别在构造与比较代数体系时尤为常见：通过单射同态，可以把较复杂结构放进更大的容器里，同时保留其运算关系不被“折叠”。
6 单射的性质与运算规则
6.1 复合保持单射
复合映射的单射性具有稳定性：若 \(f:A\to B\) 单射，且 \(g:B\to C\) 也单射，则 \(g\circ f:A\to C\) 单射。直观理解是：两层映射都不会制造碰撞，因此复合后更不可能把不同输入送到同一输出。
6.2 单射与等价关系的互动
单射可以与等价关系建立对应：在定义域上，单射避免“不同元素落在同一输出”的等价归并。把等价类理解为“被映射看作同一的元素集合”，那么单射对应的等价类最细：每个等价类只有一个元素。这种视角在讨论商结构或诱导映射时常被使用。
6.3 左逆与单射
存在左逆提供强力刻画：若存在 \(g\) 使得 \(g\circ f=\mathrm{id}_A\)，则 \(f\) 必为单射。其理由是：若 \(f(x_1)=f(x_2)\)，对两边左乘 \(g\) 即得 \(x_1=x_2\)。因此“能被左逆反推出唯一性”体现了单射的本质。
6.4 约化与反像的稳定性
当讨论由限制或反像构造出的新对象时，单射性常在适当条件下保持。例如把 \(A\) 换成子集或把 \(B\) 换成像空间，都会使得映射更“聚焦”，单射性更容易维持或检验。相应地，逆像操作在结构化语境下（如同态的核、商映射的诱导）会呈现稳定的行为，但仍需根据具体构造确认前提条件。
7 单射相关概念对比
7.1 单射 vs 满射
单射强调“输入不合并”，满射强调“输出全覆盖”。更具体地，\(f:A\to B\) 单射保证不同的 \(A\) 元素对应不同的 \(B\) 元素；满射保证对任意 \(y\in B\)，存在 \(x\in A\) 使得 \(f(x)=y\)。两者是独立性质：一个函数既可能既单射又非满射，也可能满射但非单射。
7.2 单射 vs 双射
双射同时具备单射与满射，因此可以建立 \(A\) 与 \(B\) 的一一对应。双射意味着存在双向可逆的过程，即不仅能把输入送到输出，还能把输出唯一地送回原输入。双射是“可逆性”的集合论语言。
7.3 左/右可逆与对应关系
在可逆性讨论中，左可逆与右可逆分别对应不同方向的“可回溯性”。左可逆（存在 \(g\) 使 \(g\circ f=\mathrm{id}\)）通常对应单射；右可逆（存在 \(h\) 使 \(f\circ h=\mathrm{id}\)）通常对应满射。若同时左右都可逆，则为双射。该对应为抽象代数中研究“可逆映射”的结构提供了简洁标准。
8 常见例子与“类代数套路”
8.1 典型单射示例
- 常见在数集上：形如 \(f(x)=ax+b\)（\(a\neq 0\)）的仿射函数在实数或区间上通常为单射。
- 在集合层面：把集合 \(A\) 的元素按不同标签嵌入到更大的集合 \(B\) 中，本质上往往构造出单射。
- 在向量空间：线性映射若满足零空间仅为零向量，则为单射；这类情形常通过矩阵的列满秩或等价条件快速判别。
8.2 典型非单射示例
- \(f(x)=x^2\) 在全体实数上不是单射，因为 \(f(1)=f(-1)\)。
- 一些“折叠”操作会造成碰撞：例如将维度信息通过平方、取绝对值等方式压缩，导致不同输入得到相同输出。
- 在代数同态中，非单射往往表现为核中含有非单位元素（或非零向量），这些元素会在映射后“失去区分”。
8.3 由参数形式快速判断
当函数带有参数且呈现标准结构时，可以用参数条件一眼判定单射性。例如对线性函数 \(f(x)=ax+b\)，判断关键在系数 \(a\) 是否为零。对更复杂但仍具单调性的表达式，可以用“是否在定义域上严格单调”作为快速标准。套路的关键是：先找能保证不同输入输出不同的强条件，再避免在无关计算中浪费时间。
8.4 教科书常见易错点轻量吐槽
- 把“对某个区间单调”误当成“全局单调”：单射性与定义域相关，别默认范围不变。
- 只看到了“有逆的感觉”却忘了逆的定义域：存在逆不一定覆盖全体输出空间，可能只是局部或在像上可逆。
- 在同态里忽略核：看到“同态”就以为自然单射，结果核非平凡时当然不单射。核就像“碰撞制造机”，出现非零（或非单位）元素就要立刻警惕。