保型性問題
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)
もう一つの重要な問題は再帰理論の構造物における保型性の存在である。このような構造の一つとして、有限な差を除いて包含関係が成り立つような帰納的可算集合同士の関係がある。この構造においては、A が B に含まれる必要十分条件は差集合 B - A が有限であることである。（前節で定義したような）極大集合は、非極大集合に対して保型的にはなれないという性質がある。つまり、今しがた述べたような構造の下で帰納的可算集合に保型性が存在するのなら、如何なる極大集合も他の極大集合に写像できる。Soare (1974) はこの逆も成り立つこと、即ち任意の二つの極大集合は保型的であることを示した。従って極大集合は軌道を成す。つまり全ての保型性は自ずと極大性を保ち、如何なる二つの極大集合も何らかの保型性によって互いに変換し合うことができる。その他の例として、Harrington が得た停止問題に多対一同値な creative 集合(en)も、保型的な性質を有する。 帰納的可算集合の束論の傍らで、全ての集合のチューリング次数の構造や或いは帰納的可算集合のチューリング次数の構造についても、保型性は研究されている。何れについても、Cooper は幾つかの次数を他の次数に写像するような自明でない保型性を構成したと主張している。しかしながらこの構成法は確かめられておらず、一部の研究者によると誤りがあり、従ってチューリング次数に自明でない保型性が存在するか否かは依然としてこの分野の主たる未解決問題の一つだという (Slaman and Woodin 1986, Ambos-Spies and Fejer 2006)。
※この「保型性問題」の解説は、「再帰理論」の解説の一部です。
「保型性問題」を含む「再帰理論」の記事については、「再帰理論」の概要を参照ください。
- 保型性問題のページへのリンク
