Simple setとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Simple setの意味・解説 

単純集合

(Simple set から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/23 09:57 UTC 版)

ナビゲーションに移動 検索に移動

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

ポストの問題との関係

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

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

性質

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

免疫集合の中には、補集合が同じく免疫であるものもある。このような集合の対は bi-immune[4]と呼ばれる。bi-immune集合は(定義により帰納的可算ではないので)単純集合ではない。

性質

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

脚注

  1. ^ Nies (2009) p.35
  2. ^ Nies (2009) p.27
  3. ^ Nies (2009) p.37
  4. ^ 訳注:「双免疫」などと訳すべきかも知れないが、定訳不明のため原語のまま

参考文献

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

「Simple set」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

「Simple set」に関係したコラム

  • ETFの銘柄一覧

    ETFの銘柄数は2012年9月の時点で約140あります。そして、いずれの銘柄にも価格の連動となる対象の商品があります。ここでは、ETFの銘柄をジャンルごとに紹介します。表の「コード」は株式コード、「市...

辞書ショートカット

すべての辞書の索引

「Simple set」の関連用語

Simple setのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Simple setのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの単純集合 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS