打开主菜单

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

集合论中可以用任何配对函数来证明整数有理数有同自然数相同的基数。在理论计算机科学中用它们把定义在自然数的向量上的函数编码成一个新函数

定义编辑

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

 

康托尔配对函数编辑

 
康拖尔配对函数。

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

 

定义为

 

在应用配对函数到    的时候,我们经常指示结果的数为  

这个定义可以归纳一般化为康托尔元组函数

 

作为

 

引用编辑