单射与满射定义及例子解析

本文深入解析了函数映射中至关重要的三个概念——单射、满射与双射，清晰区分了它们的本质差异：单射关注“输入不同则输出必不同”，满射强调“陪域中每个元素都被覆盖”，而双射则是二者兼备的一一对应关系，构成函数可逆的充要条件；通过大量精心选取的典型例子（如f(x)=2x+1的双射性、|x|的满而不单、sin x在不同陪域下的双重失效等），辅以严谨定义和常见误区辨析，帮助读者扎实掌握抽象代数与离散数学中的这一核心基础，尤其适合正在为概念混淆而困扰的学习者快速建立直观理解与准确判断能力。

如果您在学习离散数学或抽象代数时遇到“单射”与“满射”的概念混淆，通常是因为二者均描述函数在输入与输出之间映射的结构性质，但侧重点截然不同。以下是厘清定义与识别典型实例的步骤：

一、单射的定义与典型例子

单射强调“输入不重合则输出必不重合”，即函数不会将两个不同自变量映射到同一个因变量上。其形式化定义为：设函数 f: A → B，若对任意 a₁, a₂ ∈ A，当 a₁ ≠ a₂ 时总有 f(a₁) ≠ f(a₂)，则称 f 是单射。

1、函数 f: ℝ → ℝ，定义为 f(x) = 2x + 1 是单射，因为若 2x₁ + 1 = 2x₂ + 1，则必有 x₁ = x₂。

2、函数 g: ℕ → ℕ，定义为 g(n) = n² 是单射，因为对任意不同自然数 m ≠ n，有 m² ≠ n²。

3、函数 h: ℤ → ℕ ∪ {0}，定义为 h(z) = |z| 不是单射，因为 h(1) = h(−1) = 1，违反单射条件。

二、满射的定义与典型例子

满射关注的是“陪域中无遗漏”，即函数的值域必须完全覆盖整个目标集合 B。形式化定义为：设函数 f: A → B，若对任意 b ∈ B，都存在至少一个 a ∈ A，使得 f(a) = b，则称 f 是满射。

1、函数 f: ℝ → ℝ，定义为 f(x) = 2x + 1 是满射，因为对任意实数 y，取 x = (y − 1)/2 ∈ ℝ，就有 f(x) = y。

2、函数 g: ℕ → {0, 2, 4, 6, …}（非负偶数集），定义为 g(n) = 2n 是满射，因为每个非负偶数 e 都可写成 e = 2n，其中 n = e/2 ∈ ℕ。

3、函数 k: ℝ → ℝ，定义为 k(x) = x² 不是满射，因为 −1 ∈ ℝ 但不存在实数 x 满足 x² = −1。

三、既是单射又是满射的函数（双射）

双射同时满足单射与满射，意味着定义域与陪域之间存在一一对应关系，是可逆函数存在的充要条件。

1、恒等函数 id: ℝ → ℝ，定义为 id(x) = x，显然对任意 x₁ ≠ x₂ 有 id(x₁) ≠ id(x₂)，且对任意 y ∈ ℝ，取 x = y 即得 id(x) = y。

2、线性函数 f: ℝ → ℝ，f(x) = ax + b（其中 a ≠ 0），既是单射也是满射，因为斜率非零保证严格单调，且值域覆盖全体实数。

3、函数 φ: ℕ → E，其中 E = {0, 2, 4, 6, …}，定义为 φ(n) = 2n，是 ℕ 到其真子集 E 的双射，这揭示了无穷集合与其真子集可等势的特性。

四、常见非单射或非满射的函数辨析

识别反例有助于巩固对定义边界的理解。这些函数在初学阶段极易误判，需特别注意定义域与陪域的指定。

1、函数 ψ: ℤ → ℕ ∪ {0}，ψ(z) = |z| 是满射但非单射，因每个非负整数 z′ 都有 z = z′ 或 z = −z′ 满足 |z| = z′，但 1 和 −1 映射至同一值。

2、函数 θ: ℕ → ℕ，θ(n) = ⌊n/2⌋（向下取整）既非单射也非满射，因为 θ(0) = θ(1) = 0，且 1 不在值域中（不存在 n 使 ⌊n/2⌋ = 1？错：n=2,3 均得1；但 2 不在值域？验证：⌊n/2⌋ = 2 当且仅当 n ∈ {4,5}，故 2 在值域；真正缺失的是——实际上该函数是满射；需修正：更稳妥反例为 θ(n) = n²，定义域 ℕ，陪域 ℕ，此时 2,3,5 等非平方数不在值域中，故非满射；又因 n ≠ m ⇒ n² ≠ m² 成立，故是单射）。

3、函数 μ: ℝ → ℝ，μ(x) = sin x 既非单射（sin 0 = sin π = 0）也非满射（若陪域为 ℝ，则值域仅为 [−1, 1] ⊂ ℝ）；但若将陪域限定为 [−1, 1]，则变为满射，仍非单射。

今天关于《单射与满射定义及例子解析》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！