Movatterモバイル変換


[0]ホーム

URL:


コンテンツにスキップ
Wikipedia
検索

後者関数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
この項目「後者関数」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。(原文:en:Successor function
修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページ履歴も参照してください。2017年8月

数学の分野における後者関数(こうしゃかんすう、後続者関数[1]:successor function)、もしくは後者演算 (successor operation)は原始再帰関数のひとつである。後者関数S は任意の自然数n にその後者(後継、後続者)n + 1 を割り当てる:S(n) ≔n + 1 (∀n)。例えばS(1) = 2 でありS(2) = 3 である。0番目のハイパー演算H0(a,b) ≔ 1 +b としての後者演算は「ゼレーション」("zer­ation")[注釈 1] とも呼ばれる。

概要

[編集]

後者関数は、ペアノの公理にて自然数を定義するために使用される。つまり、0以上の自然数は加法ではなく、後者関数を使って定義されている。例えば1はS(0) と定義され、自然数の加算は次の様に再帰的に定義される。

m+0=m
m+S(n)=S(m)+n

これにより、例えば 5 + 2 = 5 +S(1) =S(5) + 1 = 6 + 1 = 6 +S(0) =S(6) + 0 = 7 + 0 = 7 などが導かれる。

集合論に基づき自然数を構成する際の一般的アプローチは、数0 を空集合{} で定義する事と、後者S(x)x ∪ {x} で定義する事である。

無限公理は、0 を含み、S に関して閉じている集合 の存在を保障する。 の各元は自然数と呼ばれる。[2]

後者関数は、(加算乗算累乗テトレーションなどを構築するために使用される)ハイパー演算の無限階層の基礎基盤であり又、それは帰納的関数によって計算可能性の特徴描写に使われている原始関数の1つでもある。

関連項目

[編集]

[編集]

注釈

[編集]
  1. ^"zer(oth)-" + "-ation"

出典

[編集]
  1. ^再帰的関数論” (pdf).京都大学数理解析研究所. p. 6. 2017年11月27日閲覧。
  2. ^Halmos 1968, Chapter 11.

参考文献

[編集]
  • Halmos, Paul R. (1968).Naive Set Theory. University series in undergraduate mathematics. Van Nostrand Reinhold 

外部リンク

[編集]
スタブアイコン

この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています

https://ja.wikipedia.org/w/index.php?title=後者関数&oldid=104271736」から取得
カテゴリ:
隠しカテゴリ:

[8]ページ先頭

©2009-2025 Movatter.jp