チューリングジャンプ

チューリングジャンプ（Turing jump または Turing jump operator）とは、計算可能性理論におけるある数学的な操作に付与された名前。名称はアラン・チューリングに因む。直感的に言えば、何らかの決定問題 X について、より難しい決定問題 X’を対応付けることである。ここでいう X’は、X を解けるようなオラクルを持つ神託機械では決定出来ない問題を指す。

この作用素は問題 X のチューリング次数を増やす（ジャンプさせる）ので「ジャンプ作用素」と呼ばれる。つまり問題 X’は X にチューリング還元可能ではない。
ポストの定理はチューリングジャンプ作用素と自然数の集合の算術的階層との関係を明らかにしている。

定義

集合 X と X-計算可能（X から相対的に計算可能）な関数のゲーデル数  があるとする。このとき、X のチューリングジャンプ X’は次のように定義される。

n番目のチューリングジャンプ X(n) は次のように帰納的に定義される。

X の ω ジャンプ X(ω) は 集合の列  の effective join(en) である:

ここで  は i 番目の素数を表す。

0’は空集合のチューリングジャンプを表す記号としてよく使われる。これは次の書き方もある。

同様に、  は空集合の n 番目のジャンプである。

例

 空集合のチューリングジャンプ  は停止問題にチューリング同値である。
 全ての n について、集合  は算術的階層のレベル  においてm-完全。
 X の述語を含むペアノ算術において真である式のゲーデル数から成る集合は、 から相対的に計算可能。

性質

 X’は X-帰納的可算だが X-計算可能ではない。
 もし A と B がチューリング同値なら、A’と B’もチューリング同値である。この逆は成り立たない。
 (ShoreとSlaman, 1999) X から X’への関数の対応付けはチューリング次数の成す半順序集合の中で定義可能。

チューリングジャンプ作用素が持つ様々な性質について、チューリング次数を参照されたい。

参考文献 

 Ambos-Spies, K. and Fejer, P.  Degrees of Unsolvability.  未出版。 http://www.cs.umb.edu/~fejer/articles/History_of_Degrees.pdf

脚注

数理論理学
数学に関する記事
数学のエポニム