双射

双射就是一场完美配对：把 $A$ 的元素与 $B$ 的元素两两牵手，既没有碰撞（$A$ 中两人抢同一个对象），也没有遗漏（$B$ 中有人落单）。它抓住的是"两个集合的元素一样多"这件事最原始的含义——不需要先会数数，牧人不清点数目也能用一羊一石的对应确认羊没有丢。这个观察对无限集合同样奏效，而且正是在无限场合它才显出威力：当"数出一个数字"不再可能时，"能否配对"仍是一个完全确定的问题。两个刻画各有用途：逐点刻画（恰好命中一次）适合直接验证具体映射，代数刻画（存在双侧逆）适合在不接触元素的情况下论证，例如双射的复合是双射，直接由 $(g\circ f{)}^{-1}=f^{-1}\circ g^{-1}$ 看出。

$f:\mathbb{Z}\to 2\mathbb{Z}$，$f(n)=2n$ 是双射：单射因为 $2m=2n$ 推出 $m=n$，满射因为每个偶数都形如 $2n$。这个例子同时展示了无限集合的标志性现象——$2\mathbb{Z}$ 是 $\mathbb{Z}$ 的真子集，却与全集等势。同样，$\tan :(-\frac{\pi }{2},\frac{\pi }{2})\to \mathbb{R}$ 给出有界区间与整条实直线之间的显式双射（严格单调加上连续满射），说明集合的大小与几何长度是两回事。

边界情形提醒两个条件缺一不可：$f:\mathbb{R}\to \mathbb{R}$，$f(x)=e^x$ 是单射但不满（取不到非正值）；$f(x)=x^3-x$ 是满射但不单（$f(0)=f(1)=0$）。二者都不可逆。还要注意双射性依赖于定义域和陪域的申报：同一条公式 $x\mapsto e^x$ 改写成 $\mathbb{R}\to (0,\mathrm{\infty })$ 就成了双射。另一个常见误用是把两个不同映射的性质直接拼接：一个单射 $A\to B$ 加一个满射 $A\to B$，在 ZF 中不能自动给出双射，因为从满射构造反向单射需要为每个纤维选择原像。Cantor–Schröder–Bernstein 定理公理库康托–施罗德–伯恩斯坦定理Cantor–Schröder–Bernstein theorem若 A 可单射到 B 且 B 可单射到 A，则 A 与 B 之间存在双射。真正使用的是两个方向的单射 $A\hookrightarrow B$ 与 $B\hookrightarrow A$；在带选择公理的环境中，满射可先选出右逆，再转化为这种情形。

双射是基数公理库基数Cardinality · Size of a set忽略元素性质与排列，只用双射和单射刻画集合的大小及其比较。概念的地基：两个集合等势被定义为其间存在双射，因此关于"集合大小"的每一条论断最终都落实为构造或排除双射。在组合计数中，双射证明是最有说服力的一类论证——要证两族对象一样多，就在它们之间造一个显式一一对应，例如 $n$ 元集的子集与长度 $n$ 的 0-1 串经指示向量一一对应，立得子集共 $2^n$ 个。集合自身到自身的双射即置换公理库排列Permutation有限集合到自身的双射，或其元素的有序排列。，全体置换在函数复合公理库函数复合Function composition · Composition of maps按先 f 后 g 的次序把映射串联为 g∘f。下构成对称群，这是群论最早的原型。更一般地，各数学分支中的同构（群同构、同胚、线性同构）都是"保持相应结构的双射"，双射提供了其中"可逆地翻译、不损失信息"的集合论骨架。