|
対関数(ついかんすう、英: Pairing function)とは、2つの自然数を一意に符号化して1つの自然数を返す関数である。 集合論では、任意の対関数を用いて、有理数全体の集合 Q が可算濃度であることを証明できる。理論計算機科学では、自然数のベクトルの関数 ''f'' : N''k'' → N を新たな関数 ''g'' : N → N に変換するために使われる。 全ての対関数は原始再帰関数である。 == 定義 == 対関数は次のような全単射関数である。 : 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「対関数」の詳細全文を読む スポンサード リンク
|