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

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

定義

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

康托爾配對函數

Thumb
康拖爾配對函數。

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

定義為

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

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

定義為

引用

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.