是，有限集到自身的映射中单射与满射等价：单射时像集元素个数等于原集，故为满射；满射时若不单射则像集元素少于原集，矛盾；但无限集如f(n)=2n为单射非满射，故不成立。
在有限集到自身的映射中，单射与满射是否等价是一个常见的集合论问题。考虑一个从有限集合 $ A $ 到其自身的映射 $ f: A \to A $，由于定义域和陪域具有相同的有限元素个数，某些特殊性质会自然成立。以下是判断该命题是否成立的分析步骤：
一、有限集上单射推出满射
当映射 $ f $ 是单射时，意味着不同的输入对应不同的输出，即若 $ a \neq b $，则 $ f(a) \neq f(b) $。由于集合 $ A $ 是有限的，且 $ f $ 将 $ A $ 中所有元素无重复地映射到 $ A $ 内部，那么像集的元素个数等于 $ A $ 的元素个数。因此，像集必须覆盖整个 $ A $。
1、设 $ |A| = n $，并列出 $ A = \{a_1, a_2, \dots, a_n\} $。
2、因为 $ f $ 是单射，所以 $ f(a_1), f(a_2), \dots, f(a_n) $ 互不相同。
3、这组像共有 $ n $ 个不同元素，而陪域 $ A $ 也只有 $ n $ 个元素。
4、因此，像集等于陪域，即 $ f $ 是满射。
二、有限集上满射推出单射
当映射 $ f $ 是满射时，表示 $ A $ 中每一个元素都是某个输入的像，即对任意 $ b \in A $，存在 $ a \in A $ 使得 $ f(a) = b $。由于定义域和陪域大小相等，且每个元素都被覆盖，不可能有两个不同输入映射到同一输出而不遗漏其他值。
1、假设 $ f $ 不是单射，则存在 $ a_1 \neq a_2 $ 使得 $ f(a_1) = f(a_2) $。
2、此时至少有两个输入共享同一个输出，导致其余 $ n - 2 $ 个输入最多只能产生 $ n - 2 $ 个额外的不同输出。
3、总共最多有 $ n - 1 $ 个不同的像，无法覆盖全部 $ n $ 个元素。
4、这与满射矛盾，故 $ f $ 必须是单射。
三、无限集情况下的反例说明
上述等价性仅适用于有限集。对于无限集，单射与满射不再必然等价。例如考虑自然数集 $ \mathbb{N} $ 上的映射 $ f(n) = 2n $，它是单射但不是满射，因为奇数不在像集中。
1、验证 $ f(n) = 2n $：若 $ 2m = 2n $，则 $ m = n $，满足单射。
2、但不存在 $ n $ 使得 $ f(n) = 1 $，因此不是满射。
3、这表明在无限集中，单射不蕴含满射。
