原始再帰関数

原始再帰関数とは、原始再帰と合成で定義される関数であり、再帰関数の部分集合である。原始帰納的関数とも。

再帰理論において原始再帰関数は、計算可能性の完全形式化のための重要な要素となる関数のクラスの1つである。このような関数は証明論においても重要である。

数論が扱う関数の多くや、実数を値とする関数の近似は原始再帰的であり、加法、除法、階乗、指数、//n// 番目の素数を求める関数などがある 。実際、原始再帰的でない関数を考案するのは難しいが、いくつかの例が知られている。

計算複雑性理論では、原始再帰関数の集合をPRと呼ぶ。

原始再帰関数のクラスとは、while文を使用せずに計算できる関数のクラスと一致する。原始再帰関数のクラスはグジェゴルチク階層と呼ばれる階層に分類される。

1. 定義
-----

原始再帰関数は数論的関数である。//n// 個の引数をとる関数を //n// 項関数  と呼ぶ。基本的な原始再帰関数は以下のような公理で与えられる:

定数関数  : 0 項の定数関数 0 は原始再帰的である。
後者関数: 1 項 の後者関数 //S// とは、引数の後者  を返す関数であり、原始再帰的である。すなわち、//S//  = k + 1.
射影関数: //n// ≥ 1 の任意の //n// について、1 ≤ //i// ≤ //n// であるような各 //i// についての //n// 項射影関数 //P////i////n//は原始再帰的である。より複雑な原始再帰関数は、以下の公理で与えられる作用素を適用することで得られる:

合成  : //k// 項原始再帰関数 //f// と //k// 個の //m// 項原始再帰関数 //g//1, ..., //g////k// について、//f// と //g//1, ..., //g////k// の合成関数、すなわち //m// 項関数 //h// = //f//, ..., //g////k//) は原始再帰的である。
原始再帰法  : //k// 項原始再帰関数 //f// と  項原始再帰関数 //g// について、//f// と //g// の原始再帰として定義される  項関数、すなわち、//h// = //f// 、 //h//, //x//1, ..., //x////k//) = //g//, //n//, //x//1, ..., //x////k//) であるような関数 //h// は原始再帰的である。上述の基本的な関数と、それに上述の作用素を有限回適用して得られる関数だけが原始再帰的関数である。

1.1. 射影関数の役割
------------

射影関数を使って、上述の関数群での引数の個数を変化させることができる。射影関数の合成を行うと、ある関数の引数のサブセットを別の関数に渡すことができる。例えば、2 項原始再帰関数 //g// と //h// を次のように合成する。

//f// も原始再帰的である。射影関数による形式的定義は以下のようになる。

.

1.2. 述語を数値関数に変換する
-----------------

設定によっては、真理値を引数に含む原始再帰関数や値域が真理値であるような原始再帰関数が考えられる 。これは真理値を何らかの固定された手法で数に変換してやればよい。例えば、「真; true」を //1// に、「偽; false」を //0// に対応させるのが一般的である。このようにすると、集合 //A// の指示関数をある数値が集合 //A// に含まれるかどうかを示す述語とみなすことができる。

2. 例
----

引数が 1 つで再帰的に定義される多くの数論的関数は原始再帰的である。基本的な例として加算と「限定された減算」関数がある。

2.1. 加算
-------

直観的に、加算は次の規則で再帰的に定義できる:

add = //x//,add = add + 1.これを厳密な原始再帰関数の定義に当てはめるため、次のように定義する:

add = //P//11,add, //x//) = //S//, //n//, //x//)).ここで、//P//13 は射影関数であり、3つの引数をとり、最初の引数を返す。また、//S// は後者関数である。

//P//11 は単純な恒等関数であり、上述の原始再帰関数の定義に当てはめるために導入されている。同語反復的な定義となっていた "+" 記号が無くなっている点に注意されたい。

2.2. 減算
-------

原始再帰関数は整数ではなく自然数を扱うもので、減算は自然数の範囲では閉じていないため、ここでは限定された減算関数を扱う。限定された減算関数 sub は //b// - //a// が負でなければその値を返し、負の場合は //0// を返す。

後者関数の反対の動作をする前者関数  を次のように再帰的に定義する:

pred=0,pred = //n//.これを原始再帰関数の形式的定義となるよう変換すると、次のようになる:

pred=0,pred) = //P//22, //n//).限定された減算関数は、この前者関数を使って定義される。ちょうど後者関数を使って加算が定義されるのと似ている:

sub = //P//11,sub, //x//) = pred, //n//, //x//)).ここで sub は //b// - //a// を表している。原始再帰的定義を単純化するために引数の順番を一般的なものと逆にしている。これは適当な射影の合成で容易に修正できる。

他にも冪乗や素数判定が原始再帰関数である。原始再帰関数 //e//, //f//, //g//, //h// があるとき、//e// ≤ //f// ならば //g// の値を返し、そうでないとき //h// の値を返す関数も原始再帰的である。

2.3. 整数および有理数の演算
----------------

ゲーデル数を使うと、原始再帰関数を整数や有理数に拡張することができる。整数を標準的な方法でゲーデル数に符号化した場合、その算術演算である加算、減算、乗算は全て原始再帰的である。同様に有理数をゲーデル数で表した場合、体の演算は全て原始再帰的である。

3. 再帰関数との関係
-----------

再帰関数は、例えばμ作用素を使って定義できる。μ作用素は入力に対して、出力が返ってくることを保証しない。このような関数を部分関数  と言い、始域のどのような入力に対しても出力が返ってくる関数を全域関数  と言う。

原始再帰関数は全て全域再帰的であるが、全域再帰関数が全て原始再帰的とは言えない。アッカーマン関数 //A// は全域再帰関数でありながら原始再帰的でない有名な例である。アッカーマン関数を使って、原始再帰関数が全域再帰関数の部分集合であるとする見方もある。この場合、関数が原始再帰的であるとは、その関数がチューリングマシンで計算可能で、かつある //m// に対して //A//以下のステップ数で必ず停止するものと定義される。

4. 限界
-----

原始再帰関数は、計算可能関数とはどのようなものである筈か、という直観と密接に関連する。出発点となる原始再帰関数は直観的に計算可能であり、そこから新たな原始再帰関数を作るための二種類の操作に関しても、具体的に関数値を計算する手続きを与えている。しかし、原始再帰関数の集合に全ての計算可能関数が含まれるわけではない。カントールの対角線論法を応用して、原始再帰的でない計算可能関数が存在することを証明できる。証明の概略は次の通り:

原始再帰関数の全体は計算的枚挙可能である。すなわち、2変数の計算可能関数 であって、 がちょうど原始再帰関数全体と一致するようなものが存在する。この を と書くことにする。原始再帰関数 に対して なる は一意的とは限らない。。次のような無限×無限行列を考える。第 行の第 列には の値が書かれているものとする。この行列の対角線部分に注目する。関数 を考える。 は上記の行列の対角線上の値に 1 を加えた値を返す関数である。この関数は計算可能だが、如何なる原始再帰関数もこの関数を計算できないことが明らかである。何故ならどのような原始再帰関数も、この関数とは対角線部分において値が異なるからである。従って原始再帰的でない計算可能関数が存在する。この論法は枚挙可能な計算可能関数の任意のクラスに適用できる。別記事  を参照のこと。ただし、部分計算可能関数は、例えばチューリングマシンでの符号化を使って番号付けするなどの方法で、明確に枚挙可能である。

全域再帰的だが原始再帰的でない関数として、他にも次のような例が知られている:

アッカーマン関数 や2つの引数に同じ値を与えた関数 は全域再帰的だが原始再帰的ではない。
クヌースの矢印記法は全域再帰的だが原始再帰的でない。アッカーマン関数はクヌースの矢印記法による表示を持つ。
グジェゴルチク階層の初期関数 は2変数関数として全域再帰的だが原始再帰的ではない。
パリス・ハリントンの定理は、原始再帰的でない全域再帰関数に関わる。この関数はラムゼー理論に基づいているため、アッカーマン関数よりも「自然」だと言われることがある。
スーダン関数

5. 原始再帰関数の例
-----------

以下の例と定義の典拠は Kleene  pp. 223-231 である。類似の一覧は Boolos-Burgess-Jeffrey 2002 pp. 63-70 にもある。以下の例で、原始再帰関数は4種類に分類される:

関数  - 数論的関数、つまり自然数から自然数への関数
述語  - 自然数から真理値への関数
命題結合子  - 真理値から真理値への関数。ブール関数
表現関数  - 真理値から自然数への関数。述語の値を 0 や 1 に変換するのは表現関数である。φ の値が 0 か 1 で P が真のとき //0// となるなら、関数 φ は述語 P の表現関数と定義される。以下の例で、a' のような " ' " 記号付きの記号は後者  を意味し、一般に "+1" を表す。つまり、a +1 =def a' である。16から21番の関数と #G の関数は原始再帰関数とゲーデル数の数値表現の相互変換に関わるものである。

加算: a+b
乗算: a*b
べき乗: ab,
階乗 a! : 0! = 1, a'! = a!*a'
pred: デクリメント: 「a の前者」は " a>0 なら a-1 → anew 、そうでなければ 0 → a " と定義される
減算: a ∸ b の定義は " a ≥ b なら a-b, そうでなければ 0 "
最小 
最大 
絶対値: | a-b | =def a ∸ b + b ∸ a
~sg: NOT[signum=1 、そうでなく a>0 なら sg=0
sg: signum: a=0 なら sg=0 そうでなく a>0 なら sg=1
剰余 : a が b で割り切れない場合の余り
除算 [ a | b ]: 剰余が 0 の場合。
s = b: sg | a - b |
a < b: sg
a | b: 除算
Pr: a は素数 Pr =def a>1 & NOT1<c<a [ c|a ]
Pi: i+1 番目の素数
i : pi =def μx [ x<a [pix|a & NOT(pi x'|a ] の指数 ai 。μx は #E で説明されている最小化演算子。
lh: a の「長さ」または消えない指数  の個数
a*b: a と b が素因数であるとき、a*b は素因数の乗算結果を示す。
lo: 基数 y での x の対数 //以下では、x =def xi, ... xn という省略形を使用。添え字も必要に応じて使われる。「//x// において原始再帰的」とは「//x// が原始再帰的な場合は原始再帰的である」という意味。//
#A: 関数 Ψ と定数 q1 , ... qn から明示的に定義できる関数 φ は Ψ において原始再帰的である。
#B: 総和 Σy<z ψ と総乗 Πy<zψ は ψ において原始再帰的である。
#C: 述語 Q の各引数を関数 χ1 , ..., χm で置き換えた述語 P は χ1, ..., χm, Q において原始再帰的である。
#D: 以下の述語は Q と R において原始再帰的である:
否定: NOT_Q .
論理和: Q V R,
論理積: Q & R,
含意: Q → R
同値: Q ≡ R
#E: 以下の述語は、述語 R において原始再帰的である:
y<z R: y<z とは、「ある z よりも小さい y が存在し、～が成り立つ」という意味
y<z R:  とは、「z よりも小さい全ての y について ～ が成り立つ」という意味
μyy<z R: 演算子 μyy<z R は最小化演算子あるいはμ演算子の限定された形式である。その定義は「z より小さい最小の y について R が真である」ことを意味する。
#F: ケースによる定義: Q1, ..., Qm は相互排他的述語であるとき、φ1, ..., Q1, ... Qm において以下の関数は原始再帰的である: φ =
φ1 if Q1 is true,
. . . . . . . . . . . . . . . . . . .
φm if Qm is true
φm+1 otherwise
#G: φ が方程式 φ = χ, x2, ... xn を満足するとき χ において φ は原始再帰的である。

6. 参考文献
-------

Brainerd, W.S., Landweber, L.H. , //Theory of Computation//, Wiley, ISBN 0-471-09585-0
Robert I. Soare, //Recursively Enumerable Sets and Degrees//, Springer-Verlag, 1987. ISBN 0-387-15299-7
Stephen Kleene  //Introduction to Metamathematics//, North-Holland Publishing Company, New York, 11th reprint 1971: . In Chapter XI. General Recursive Functions §57
George Boolos, John Burgess, Richard Jeffrey , //Computability and Logic: Fourth Edition//, Cambridge University Press, Cambridge, UK. Cf pp. 70-71.

7. 関連項目
-------

再帰的定義
PR
μ再帰関数

8. 脚注
-----

9. 外部リンク
--------

[1] 照井一成