单射要求不同输入对应不同输出，满射要求陪域中每个元素都有原像；双射兼具二者，是可逆函数的充要条件。例如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]，则变为满射，仍非单射。