判定单射与满射需依定义域、陪域及对应规则系统验证：一、代数法——单射证f(a)=f(b)⇒a=b，满射证∀y∈陪域，∃x使f(x)=y；二、图像法——水平线交点≤1为单射，值域=陪域为满射；三、单调连续法——严格单调连续必单射，端点极限覆盖陪域则满射；四、有限集计数法——|a|>|b|必不单射，|a|

如果您面对一个给定的映射，需要确认它是否为单射或满射，则需依据其定义域、陪域及对应规则进行系统性验证。以下是判定单射与满射的多种方法：

一、依据定义进行代数推导

这是最基础且逻辑严密的判定方式，适用于解析表达式明确的函数，尤其适合考试与理论证明场景。

1、判定单射：假设 f(a) = f(b)，通过代数变形严格推出 a = b。若该推导对定义域内所有 a, b 均成立，则该映射是单射。

2、判定满射：任取陪域中一个元素 y，解方程 f(x) = y。若对每个 y ∈ 陪域，均能在定义域中找到至少一个 x 满足该等式，则该映射是满射。

二、利用图像法（水平线测试）

当映射可表示为实数区间上的可画函数图像时，该方法提供快速直观判断，特别适用于选择题与填空题。

1、判定单射：作任意一条平行于 x 轴的直线。若该直线与函数图像的交点数 ≤ 1，则为单射；若存在某条水平线与图像交于两点或以上，则一定不是单射。

2、判定满射：观察图像在 y 轴方向上的取值范围（即值域）。仅当该值域完全等于题目指定的陪域时，才为满射；若值域是陪域的真子集，则不是满射。

三、借助单调性与连续性分析

适用于定义在实数区间上的连续函数，可大幅简化单射判定，并辅助满射分析。

1、判定单射：若函数在定义域上严格单调递增或严格单调递减，且连续，则必为单射。

2、判定满射：考察函数在定义域端点处的极限行为。例如，若 limₓ→a⁺ f(x) = −∞ 且 limₓ→b⁻ f(x) = +∞，且 f 连续，则其值域为 ℝ；此时若陪域也为 ℝ，则该映射是满射。

四、采用有限集合计数法

当映射的定义域 A 和陪域 B 均为有限集合时，可通过元素个数直接推断，无需逐个验证。

1、判定单射：若 |A| > |B|，则该映射一定不是单射；若 |A| ≤ |B|，则单射可能存在，但需进一步验证映射关系。

2、判定满射：若 |A| 若 |A| = |B|，则该映射是满射当且仅当它是单射。

五、通过值域与陪域的集合比较

该方法聚焦于映射实际输出的集合（即值域）与题目指定陪域之间的包含关系，是满射判定的终极依据。

1、计算或确定该映射的值域，即 { f(x) | x ∈ 定义域 }。

2、将值域与题目中明确给出的陪域进行比对。若值域 = 陪域，则为满射；若值域 ⊂ 陪域（真子集），则不是满射。

3、注意：值域无法大于陪域，因此无需考虑超集情形；陪域必须由题设明确给出，不可默认为实数集或整数集。