単純集合

単純集合（たんじゅんしゅうごう、英：simple set）とは、数理論理学における再帰理論で扱われるある種の集合。帰納的可算だが帰納的ではない集合の例。

 ポストの問題との関係 

単純集合はエミール・ポストによってチューリング完全でなく再帰的でもない帰納的可算集合の研究の中で考案された。そのような集合が存在するかどうかはポストの問題として知られる。ポストはこの問題の解答のために2つの事を証明する必要があった。ひとつは、単純集合は空集合にチューリング還元できないということである。いまひとつは、停止問題は単純集合にチューリング還元できないということである。彼が成功したのは前者であり（これは定義より明白）、後者は多対一還元についてのみ遂げられた。

このような集合が存在することはフリードバーグとムチニクにより1950年に独立に証明された。そこでは優先法と呼ばれる手法が用いられた。彼らは単純だが停止性問題を還元できない集合の構成を与えたNies (2009) p.35。

 性質 
集合  が免疫(immune)とは、 は無限集合であるが、任意の指標  に対して  が成り立つことをいう。あるいは同じことであるが、 の無限部分集合で帰納的可算なものが存在しないことをいう。
集合  が単純(simple)とは、それが帰納的可算であり、補集合が免疫であることをいう。あるいは同じことであるが  が補無限な帰納的可算集合であって、任意の帰納的可算な無限集合と交わることをいう。
集合  が実効的免疫(effectively immune)とは、 は無限集合であるが、帰納的関数  が存在して、任意の指標  に対して  が成り立つことをいう。
集合  が実効的単純(effectively simple)とは、それが帰納的可算であり、補集合が実効的免疫であることをいう。任意の実効的単純集合は単純かつチューリング完全である。
集合  が超免疫(hyper-immune)とは、 は無限集合であるが、 は計算可能な関数によって支配されないことをいう。ただし  は  の元を昇順に枚挙する関数である。Nies (2009) p.27
集合  が超単純(hyper-simple)とは、それが帰納的可算であり、補集合が超免疫であることをいう。Nies (2009) p.37任意の超単純集合は単純である。

免疫集合の中には、補集合が同じく免疫であるものもある。このような集合の対は bi-immune訳注：「双免疫」などと訳すべきかも知れないが、定訳不明のため原語のままと呼ばれる。bi-immune集合は（定義により帰納的可算ではないので）単純集合ではない。

性質

 単純集合の集合とクリエイティブ集合の集合の和集合は交わりを持たない（非交和）。単純集合がクリエイティブであることはなく、その逆もない。
 集合がクリエイティブであることとm-完全であることとは同値である。ゆえに単純集合はm-完全でない。
 単純または余有限(cofinite)である集合の系(collection)は、帰納的可算集合の束の中でフィルターを形成する。

脚注

参考文献

 Robert I. Soare, Recursively Enumerable Sets and Degrees, Springer-Verlag, 1987.	ISBN 0-387-15299-7

Category:数理論理学
Category:計算可能性理論
Category:数学に関する記事