复合函数单射性需内层g与外层f均为单射，或f在g的像集上单射；满射性需f满射且g覆盖f定义域所需部分，或f在g(A)上满射到陪域；若复合函数单射，则g必单射，但f未必；通过映射链分析可直观判断两者性质。
如果需要判断一个复合函数是否具有单射性或满射性，可以通过分析其组成部分函数的性质来得出结论。以下是几种有效的判断方法：
一、利用组成部分函数的单射性判断复合函数的单射性
若复合函数 $ h = f \circ g $ 由函数 $ g: A \to B $ 和 $ f: B \to C $ 构成，则可以通过考察 $ g $ 和 $ f $ 的单射性来判断 $ h $ 是否为单射。具体而言，当两个函数都满足一定条件时，复合函数将保持单射性。
1、若 $ g $ 是单射且 $ f $ 是单射，则 $ f \circ g $ 一定是单射。
2、验证过程：假设 $ x_1, x_2 \in A $ 且 $ x_1 \neq x_2 $，由于 $ g $ 单射，故 $ g(x_1) \neq g(x_2) $；再因 $ f $ 单射，有 $ f(g(x_1)) \neq f(g(x_2)) $，即 $ h(x_1) \neq h(x_2) $。
3、注意：即使 $ f $ 不是单射，只要 $ g $ 的像集限制在 $ f $ 的定义域中使得 $ f $ 在该子集上单射，仍可能使 $ f \circ g $ 单射。
二、通过原函数的满射性判断复合函数的满射性
复合函数 $ f \circ g $ 的满射性依赖于外层函数 $ f $ 的满射能力和内层函数 $ g $ 提供足够覆盖的能力。关键在于最终值域能否覆盖目标集合的所有元素。
1、若 $ g $ 是满射且 $ f $ 是满射，则 $ f \circ g $ 一定是满射。
2、推理方式：对任意 $ z \in C $，存在 $ y \in B $ 使得 $ f(y) = z $（因 $ f $ 满射），又因 $ g $ 满射，存在 $ x \in A $ 使得 $ g(x) = y $，因此 $ f(g(x)) = z $，说明 $ h(x) = z $ 有解。
3、特别地：即使 $ g $ 不是满射，只要 $ f $ 在 $ g(A) $ 上的限制是满射到 $ C $，则 $ f \circ g $ 仍可为满射。
三、反向推导法：从复合函数性质反推分量函数性质
已知复合函数 $ f \circ g $ 具有某种性质时，可以部分推断出各成分函数的性质，这对判断单射性和满射性也具辅助作用。
1、若 $ f \circ g $ 是单射，则 $ g $ 必定是单射。
2、理由：若 $ g(x_1) = g(x_2) $，则必有 $ f(g(x_1)) = f(g(x_2)) $，即 $ h(x_1) = h(x_2) $。但若 $ h $ 单射，则 $ x_1 = x_2 $，从而 $ g $ 必须单射。
3、然而，此时 $ f $ 不一定为单射，仅需在其输入来自 $ g(A) $ 时表现良好即可。
四、图像覆盖与映射链分析法
借助集合之间的映射关系图，观察从原始定义域到最终陪域的传递路径，有助于直观判断复合函数的单射性与满射性。
1、绘制三个集合 $ A, B, C $ 及映射 $ g: A \to B $、$ f: B \to C $ 的箭头图。
2、检查每个 $ x \in A $ 经 $ g $ 映射后再经 $ f $ 映射的结果是否唯一对应不同输出值，以判断单射性。
3、查看所有 $ z \in C $ 是否至少有一个 $ x \in A $ 满足 $ f(g(x)) = z $，以确认满射性。
4、此方法尤其适用于有限集合或具体数值例子中的快速判断。
