[論文レビュー] Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces

Arno Pauly, Matthew de Brecht|arXiv (Cornell University)|Jul 7, 2013

Computability, Logic, AI Algorithms参考文献 22被引用数 15

ひとこと要約

この論文は、代表化空間を用いたカテゴリカルな枠組みとして、合成的記述的集合論を導入し、ボレル階層や射影的階層といった古典的概念を自己函手として再解釈する。計算可能ポーランド空間における′-開性が $K_{\sigma}$-性質と同値であることが示され、カテゴリカルな双対性を通じて位相的構造と計算的構造が統合される。

ABSTRACT

Using ideas from synthetic topology, a new approach to descriptive set theory is suggested. Synthetic descriptive set theory promises elegant explanations for various phenomena in both classic and effective descriptive set theory. Presently, we mainly focus on developing the ideas in the category of represented spaces.

研究の動機と目的

• カテゴリカル理論と代表化空間を用いた記述的集合論の合成的枠組みの構築を目的とする。
• 記述的集合論の古典的、効果的、計算的側面を、共通のカテゴリカル言語のもとで統合することを目的とする。
• 可測関数や階層（例：$\Sigma_n^0$, $\Delta_1^1$）を代表化空間上に作用する自己函手として再定式化することを目的とする。
• 開性といった位相的性質と、$K_{\sigma}$-性質といった計算的構造との間の関係を確立することを目的とする。
• カテゴリカルな双対性を通じて、関数の可測性における一様性と計算可能性を理解する基盤を提供することを目的とする。

提案手法

• 合成的記述的集合論の基礎的設定として、連続的および計算可能な写像を含む代表化空間の圏を用いる。
• ボレル階層や射影的階層をカテゴリカルにモデル化するため、自己函手 $a$、$\int_{\textrm{GH}}$、および $\prime$ を定義する。
• ′-自己函手を、開性の持ち上げとして定義し、Sierpiński空間 $\mathbb{S}^\prime$ を介して $K_{\sigma}$-性質と関連付ける。
• 実装者と適切な表現（例：$j_{\textrm{GH}}$）を用いて、Gandy-Harrington空間などの空間を表現し、計算可能性を保証する。
• 特にSierpińskiに類似した対象の使用を含む合成位相の原則を適用し、カテゴリカル構造から位相的性質を導出する。
• 関手 $\int_{\textrm{GH}}$ と $a$ の随伴関係を用いて、効果的 $\Sigma^1_1$-集合が効果的開集合に写されることを示し、効果的構造と位相的構造を結びつける。

実験結果

リサーチクエスチョン

• RQ1 古典的記述的集合論の概念（例：$\Sigma_n^0$-可測性）は、代表化空間の圏における自己函手としてどのように再解釈できるか？
• RQ2 開性のカテゴリカルな意味は何か？ そして、$K_{\sigma}$-性質のような古典的位相的性質とどのように関係するか？
• RQ3 射影的階層は、随伴や自己函手といったカテゴリカル構成を用いて、ボレル階層から合成的に導出可能か？
• RQ4 合成的構成は、関数可測性における一様性に関して、どれほど古典的結果を回復するか？
• RQ5 計算可能自己函手 $\int_{\textrm{GH}}$ と $\prime$ はどのように相互作用し、効果的解析的集合の構造に何を明らかにするか？

主な発見

• ′-自己函手は、計算可能ポーランド空間において、開性を $K_{\sigma}$-性質と同値な位相的性質へ持ち上げる。
• 計算可能ポーランド空間が′-開であることは、$K_{\sigma}$-空間であることと同値であり、直接的なカテゴリカル-位相的同値性が確立される。
• 自己函手 $\int_{\textrm{GH}}$ は、$a$ に対してMarkov計算的左随伴であり、効果的 $\Sigma^1_1$-集合を効果的開集合に写す。
• 写像 $j_{\textrm{GH}}$ は、効果的解析的集合の列挙を介してGandy-Harrington空間の適切な表現を提供する。
• 前像写像 $f^{-1}$ は代表化空間の圏における射でなければならないため、古典的な前像の存在だけでは、合成的枠組みにおける連続性を保証しない。
• ′-開ポーランド空間が $K_{\sigma}$-空間であることの証明は、非正則な木の $\Pi_1^1$-完全性および閉部分集合上の空でない性質の写像がボレル的でないことに依拠している。