配对函数, 在数学中, 是一种将两个自然数唯一地编码成一个自然数的过程, 在集合论中可以用任何来证明整数和有理数有同自然数相同的基数, 在理论计算机科学中用它们把定义在自然数的向量上的函数f, displaystyle, mathbb, rightarrow, mathbb, 编码成一个新函数g, displaystyle, mathbb, rightarrow, mathbb, 定义, 编辑是一种可计算的双射函数, displaystyle, mathbb, times, mathbb, mathbb, 康托尔,. 在数学中 配对函数是一种将两个自然数唯一地编码成一个自然数的过程 在集合论中可以用任何配对函数来证明整数和有理数有同自然数相同的基数 在理论计算机科学中用它们把定义在自然数的向量上的函数f N k N displaystyle f mathbb N k rightarrow mathbb N 编码成一个新函数g N N displaystyle g mathbb N rightarrow mathbb N 定义 编辑配对函数是一种可计算的双射函数 p N N N displaystyle pi mathbb N times mathbb N to mathbb N 康托尔配对函数 编辑 康拖尔配对函数 康托尔配对函数是一种原始递归配对函数 p N N N displaystyle pi mathbb N times mathbb N to mathbb N 定义为 p k 1 k 2 1 2 k 1 k 2 k 1 k 2 1 k 2 displaystyle pi k 1 k 2 frac 1 2 k 1 k 2 k 1 k 2 1 k 2 在应用配对函数到 k 1 displaystyle k 1 和 k 2 displaystyle k 2 的时候 我们经常指示结果的数为 k 1 k 2 displaystyle langle k 1 k 2 rangle 可以把上面的函數以遞迴定義推廣成以下的康托尔元组函数 p n N n N displaystyle pi n mathbb N n to mathbb N 定義為 p 2 k 1 k 2 p k 1 k 2 displaystyle pi 2 k 1 k 2 pi k 1 k 2 p n k 1 k n 1 k n p p n 1 k 1 k n 1 k n displaystyle pi n k 1 ldots k n 1 k n pi pi n 1 k 1 ldots k n 1 k n 引用 编辑Steven Pigeon Pairing function MathWorld 取自 https zh wikipedia org w index php title 配对函数 amp oldid 73542208, 维基百科,wiki,书籍,书籍,图书馆,