配对函数

✍ dations ◷ 2025-08-16 19:12:16 #配对函数

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

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

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

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

定义为

在应用配对函数到 ${displaystyle k_{1}}$ $k_1$ 和 ${displaystyle k_{2}}$ $k_2$ 的时候，我们经常指示结果的数为 ${displaystyle langle k_{1},k_{2}rangle }$ ${displaystyle langle k_{1},k_{2}rangle }$

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

定义为

相关

花园十字蛛十字园蛛（学名：Araneus diadematus），又名园圃蜘蛛、花园十字蛛或园蛛，是一种在西欧很普遍的鬼蛛属。它们亦分布在北美洲，由新英格兰及美国东南部至西北部及毗邻的加拿大。十字园蛛
乌药乌药（学名：Lindera aggregata），又称作台乌、台乌药、台片、天台乌、天台乌药、乌药片，为樟科山胡椒属下的一个种。天台乌药：中国地理标志产品。产于浙江省天台县。
艾曼纽·塞涅艾曼纽·塞涅（Emmanuelle Seigner，1966年6月22日－），法国女演员、模特儿和歌手，她是著名电影导演罗曼·波兰斯基的妻子。主要电影作品有《潜水钟与蝴蝶》(2007) 和 (1988)。凭借
乔莫·肯雅塔乔莫·肯雅塔（Jomo Kenyatta，1891年10月20日－1978年8月22日），肯尼亚政治人物，独裁者，第一位肯尼亚总统，肯尼亚国父。肯雅塔1914年皈依基督教并迁居内罗毕，1920年结婚并进入政府部门工
西炯子西炯子（12月26日－），日本漫画家。鹿儿岛县指宿市出身。鹿儿岛县立指宿高等学校、都留文科大学国文科毕业。高中时投稿至杂志《JUNE》的“竹宫惠子的漫画教室”获采用，因此出道。曾
克莱尼不动点定理在数学中，序理论的 Kleene 不动点定理指出给定任何完全格和任何具有斯科特连续性的函数 f {\displaystyle f} 内的最小元素，那么
变星总表变星总表(General Catalogue of Variable Stars) (GCVS)是变星的列表。它的第一版包含10,820颗恒星，是B. V. Kukarkin和P. P. Parenago编辑，在1948年由俄罗斯科学院发行。第二
产权比率产权比率，是资产负债率的另一种表现形式，它和资产负债率的性质一样，是总负债与股东权益的比值。产权比率表明每1元股东权益借入的债务额。
科克维尔 (怀俄明州)科克维尔（英语：Cokeville）是美国怀俄明州林肯县下属的一座城镇。该镇的人口在2000年为506人，2010年有535，2011年则估计有533人。‡跨州聚居地
沈诗章沈诗章（英语：Shen Shih-Chang，1912年－2002年3月5日），出生于中国上海，美国生理学家。其祖父为沈应奎，清末曾任贵州布政使和台湾布政使。沈诗章早年考入燕京大学，之后在北京协和医学院攻读硕士，师从林可胜。1937年由丹麦的林登斯特·罗姆兰格教授介绍，到剑桥大学生物化学实验室攻读博士学位，导师是李约瑟，研究方向是两性动物卵内不同地方的呼吸比率，他当时正在研究称为“呆巴子”的超微测微器。从剑桥大学毕业后，前往美国耶鲁大学任教（1948年至1958年）。1958年至1975年，在哥伦比亚大学