配对函数

在数学中，配对函数是一种将两个自然数唯一地编码成一个自然数的过程。

在集合论中可以用任何配对函数来证明整数和有理数有同自然数相同的基数。在理论计算机科学中用它们把定义在自然数的向量上的函数${\displaystyle f:{\mathbb{N}}^k\to <!--\; \to \; -->\mathbb{N}}$编码成一个新函数${\displaystyle g:\mathbb{N}\to <!--\; \to \; -->\mathbb{N}}$。

配对函数是一种可计算的双射函数

康托尔配对函数是一种原始递归配对函数

定义为

在应用配对函数到 ${\displaystyle k_1}$ 和 ${\displaystyle k_2}$ 的时候，我们经常指示结果的数为 ${\displaystyle ⟨<!--\; ⟨\; -->k_1,k_2⟩<!--\; ⟩\; -->}$

可以把上面的函数以递回定义推广成以下的康托尔元组函数

定义为