bijection是什么意思

bijection（双射）是数学中的一个术语，特别是在集合论和函数理论中经常使用。它指的是一个函数同时满足“单射”（injective）和“满射”（surjective）的性质。

单射（Injective）

如果一个函数 f: A → B 是单射的，那么对于任意两个不同的元素 x 和 y 在集合 A 中，它们在 B 中的图像也不同。也就是说，f(x) ≠ f(y)，当 x ≠ y。

满射（Surjective）

如果一个函数 f: A → B 是满射的，那么对于 B 中的每一个元素 b，都存在至少一个 A 中的元素 a，使得 f(a) = b。换句话说，B 中的每一个元素都被 A 中的某个元素“覆盖”了。

双射（Bijection）

当一个函数既是单射又是满射时，它被称为双射。这意味着 A 和 B 之间的元素一一对应，没有重复也没有遗漏。这种函数可以建立两个集合之间的一种“完美匹配”。

在数学中，双射函数非常重要，因为它允许我们定义逆函数。即，如果 f 是一个双射函数，则存在一个唯一的函数 f⁻¹，使得 f⁻¹(f(x)) = x，且 f(f⁻¹(y)) = y。