配對函數

數學中,配對函數是一種將兩個自然數唯一地編碼成一個自然數的過程。

集合論中可以用任何配對函數來證明整數有理數有同自然數相同的基數。在理論計算機科學中用它們把定義在自然數的向量上的函數編碼成一個新函數

定義

配對函數是一種可計算的雙射函數

 

康托爾配對函數

 
康拖爾配對函數。

康托爾配對函數是一種原始遞歸配對函數

 

定義為

 

在應用配對函數到    的時候,我們經常指示結果的數為  

可以把上面的函數以遞迴定義推廣成以下的康托爾元組函數

 

定義為

 
 

引用