单射要求不同输入对应不同输出，满射要求陪域中每个元素都有原像，双射则需同时满足单射与满射；三者核心在于定义域、陪域及像集间的对应关系是否严格一一匹配。

如果您在学习函数映射时遇到概念混淆，无法准确区分单射、满射与一一映射（即双射），则问题通常源于对定义域、陪域及像集之间对应关系的理解偏差。以下是辨析这三类映射的核心路径：

一、单射：强调“输入不同 → 输出必不同”

单射关注的是定义域中元素的像是否互异，其核心在于防止“多对一”中的“一对多”被误判——实际是禁止“二对一”导致的像重复。它不要求陪域被完全覆盖，只保证每个像至多有一个原像。

1、取任意两个不同元素 $x_1, x_2 \in X$，若 $x_1 \neq x_2$，则必须验证 $f(x_1) \neq f(x_2)$。

2、若发现存在 $x_1 \neq x_2$ 但 $f(x_1) = f(x_2)$，例如 $f(x) = x^2$ 在实数集上取 $x = 2$ 和 $x = -2$ 均得 $4$，则该函数不是单射。

3、检查陪域 $Y$ 中是否存在某个 $y$ 对应两个及以上 $x$，若有，则直接否定单射性。

二、满射：强调“陪域中每个元素都有原像”

满射要求函数的值域等于整个陪域，即 $f(X) = Y$。它允许定义域中多个元素映射到同一个陪域元素（允许多对一），但绝不允许陪域中出现“空缺”元素。

1、任取 $y \in Y$，尝试解方程 $f(x) = y$，看是否存在 $x \in X$ 满足该式。

2、若对某个 $y_0 \in Y$，方程 $f(x) = y_0$ 在 $X$ 中无解，例如 $f(x) = e^x$ 定义域为 $\mathbb{R}$、陪域设为 $\mathbb{R}$，则 $y = -1$ 无解，故该设定下不是满射。

3、若将陪域限定为 $(0, +\infty)$，则对任意 $y > 0$，总存在 $x = \ln y \in \mathbb{R}$，此时满足满射条件。

三、双射（一一映射）：单射与满射的严格合取

双射是单射和满射同时成立的情形，意味着定义域与陪域之间存在严格的一一对应关系：每个 $x \in X$ 映射到唯一 $y \in Y$，且每个 $y \in Y$ 恰好被一个 $x \in X$ 映射。此时函数必然可逆。

1、先验证是否为单射：确认所有不同 $x$ 给出不同 $f(x)$。

2、再验证是否为满射：确认每个 $y \in Y$ 都有至少一个 $x$ 满足 $f(x) = y$。

3、若两步均通过，例如 $f(x) = 2x + 3$（定义域与陪域均为 $\mathbb{R}$），则该函数是双射；反之，若任一条件失败，则不能称为一一映射。