单射要求不同输入不同，满射要求陪域中每个元素都有原像；双射兼具两者，是可逆函数的充要条件。例如f(x)=2x+1是ℝ上的双射，|x|是满射但非单射，sin x在ℝ上既非单射也非满射。

如果你在学习离散数学或抽象代数时遇到“单射”与“满射”的概念矛盾，通常是因为两者均描述函数在输入与描述时：单射强调“输入不重合则输出必不重合”，即函数不会将两个不同的自变量映射到同一个因变量上。其形式化定义为：设函数f: A → B，若对任意a₁, a2 ∈ A，当a₁ ≠ a2 时总有 f(a₁) ≠ f(a2)，则称 f 是单射。

1、函数因为 f: ℝ → ℝ，定义为 f(x) = 2x + 1 是单射，若 2x₁ + 1 = 2x2 + 1，则必有ℕ → ℕ，定义为 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，取 g(n) = 2n 是满射，因为每个非负偶数 e 都可写成 e = 2n，其中 n = e/2 ∈ ℕ。

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

聪豹Wiseal

聪豹Wiseal是一个专业的历史时间线收集整理工具下载双射同时满足单射与满射，意味着定义1。

1、恒等函数id: ℝ → ℝ，为id(x) = x，显然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⌋（ n ∈ {4,5}，故 2 θ(n) = n²，定义域；真正缺失的是 n ≠ m ⇒ n² ≠ m² 成立，故为单射）。

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