单射要求不同输入对应不同输出，满射要求值域等于到达集，双射则需同时满足两者；判断分别依据f(x₁)=f(x₂)⇒x₁=x₂、∀y∈b∃x∈a使f(x)=y，以及二者兼备。
一、单射的定义与判断方法
单射（Injective Function）要求函数中任意两个不同的自变量，其对应的因变量也互不相同，即“不同输入产生不同输出”。判断一个函数是否为单射，核心是验证是否存在x₁ ≠ x₂但f(x₁) = f(x₂)的情况。
1、设函数f: A → B，任取x₁, x₂ ∈ A，假设f(x₁) = f(x₂)，推导是否必有x₁ = x₂。
2、若能推出x₁ = x₂，则f是单射；若存在反例使x₁ ≠ x₂但f(x₁) = f(x₂)，则f不是单射。
3、对实值函数，可考察其图像是否满足水平线测试：任意水平线y = c至多与图像交于一点。
二、满射的定义与判断方法
满射（Surjective Function）要求函数的值域等于其到达集B，即B中每个元素都至少有一个原像。判断关键在于检查是否对任意y ∈ B，都存在x ∈ A使得f(x) = y成立。
1、写出函数表达式f(x)，将y = f(x)视为关于x的方程。
2、对任意给定y ∈ B，解该方程是否有解x ∈ A。
3、若对所有y ∈ B均存在解，则f是满射；若存在某个y₀ ∈ B无解，则f不是满射。
4、对实值函数，可验证值域是否完全覆盖到达集B，例如f: ℝ → ℝ, f(x) = x² 不是满射，因其值域为[0, +∞) ≠ ℝ。
三、双射的定义与判定条件
双射（Bijective Function）是单射与满射的同时成立，即函数是一一对应且完全覆盖到达集。它保证了函数存在反函数，且反函数也是双射。
1、先验证f是否为单射：检查是否f(x₁) = f(x₂) ⇒ x₁ = x₂。
2、再验证f是否为满射：检查是否∀y ∈ B, ∃x ∈ A 使 f(x) = y。
3、若两条件均满足，则f是双射；等价地，可直接尝试构造反函数f⁻¹，并验证f⁻¹(f(x)) = x 且 f(f⁻¹(y)) = y 是否在全定义域上成立。
4、典型示例：f: ℝ → ℝ, f(x) = 2x + 1 是双射；而 f: ℤ → ℤ, f(n) = 2n 是单射但非满射。
四、集合基数视角下的区别与联系
当A、B为有限集时，单射、满射、双射的存在性直接受|A|与|B|大小关系制约：单射存在当且仅当|A| ≤ |B|，满射存在当且仅当|A| ≥ |B|，双射存在当且仅当|A| = |B|。
1、若f: A → B是单射且A、B有限，则|A| ≤ |B|，且f(A) ⊆ B中恰好含|A|个互异元素。
2、若f: A → B是满射且A、B有限，则|B| ≤ |A|，且每个b ∈ B至少被一个a ∈ A映射到。
3、若f: A → B是双射且A、B有限，则|A| = |B|，且f建立了A与B元素之间的一一配对。
五、常见函数类型对照分析
通过具体函数实例对比三类性质，有助于快速识别差异。注意定义域与到达集的明确指定至关重要——同一表达式在不同定义域/到达集下可能呈现不同射性。
1、f(x) = eˣ：若定义为f: ℝ → ℝ，则是单射但非满射（值域(0,∞) ⊂ ℝ）；若定义为f: ℝ → (0,∞)，则是双射。
2、f(x) = sin x：若定义为f: ℝ → [-1,1]，则是满射但非单射（周期性导致多对一）；若限制定义域为[-π/2, π/2]，则f: [-π/2, π/2] → [-1,1]是双射。
3、恒等函数id_A: A → A，对任意非空集合A，恒为双射。
