[論文レビュー] On the topological aspects of the theory of represented spaces

Arno Pauly|arXiv (Cornell University)|Apr 17, 2012

Computability, Logic, AI Algorithms参考文献 51被引用数 8

ひとこと要約

本稿では、ベール空間 $\{0,1\}^\mathbb{N}$ からの表現を備えた抽象的構造として、非可算集合上の計算可能性をチューリング機械を用いて形式化する、トポロジーに基づいた洗練された枠組みを提示する。特定の写像の計算可能性を通じてコンパクト性、オーバートネス、分離性といった主要な性質を特徴づけることで、計算可能性解析の基礎的概念を統合し、メトリシビリティや第二可算性といった制限的仮定を排除した一般で最小限の設定を提供する。

ABSTRACT

Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented spaces is well-known to exhibit a strong topological flavour. We present an abstract and very succinct introduction to the field; drawing heavily on prior work by Escardó, Schröder, and others. Central aspects of the theory are function spaces and various spaces of subsets derived from other represented spaces, and -- closely linked to these -- properties of represented spaces such as compactness, overtness and separation principles. Both the derived spaces and the properties are introduced by demanding the computability of certain mappings, and it is demonstrated that typically various interesting mappings induce the same property.

研究の動機と目的

• 非可算集合上の計算可能性を研究するための基本的対象として表現空間を確立し、従来の表現を超えること。
• コンパクト性、オーバートネス、$T_2$ 分離性といった核心的トポロジー的性質が、特定の写像の計算可能性によって特徴づけられることを示すこと。
• 適切性、第二可算性、メトリシビリティといった不要な制限を避けることで、計算可能性解析における先行結果を一般化すること。
• 計算可能な標準写像の計算可能性に基づき、導来空間（例：関数空間、ハイパースペース）の最小で抽象的な基盤を提供すること。
• 表現空間上の自己函手を用いたハイパーコンピュテーションおよび記述的集合論への拡張の基盤を築くこと。

提案手法

• ベール空間 $\{0,1\}^\mathbb{N}$ からの表現を備えた集合として表現空間を定義し、非可算構造上の計算可能性を可能にする。
• 関数空間における評価写像など、特定の写像の計算可能性を通じてトポロジー的性質（例：コンパクト性、オーバートネス）を特徴づける。
• UTM定理を用いて、表現の極値的特徴づけが、計算可能な同型写像を除いて同一の表現空間を定義することを示す。
• $\mathcal{K}(X)$（コンパクト部分集合）、$\mathcal{V}(X)$（開部分集合）、$\overline{X_\prec}$（上界/下界の実数）といった導来空間を、標準的写像の計算可能性を通じて定義する。
• 表現空間の圏の良好な構造を活用し、合成トポロジーの原則を適用してコンパクト性と分離性に関する結果を導出する。
• 評価写像と選択写像の計算可能性が、それぞれ $T_2$ 分離性と適切性という性質を生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 表現空間において、特定の写像の計算可能性のみを用いて、コンパクト性や分離性といったトポロジー的性質をどのように特徴づけられるか。
• RQ2 第二可算性といった位相的公理に依存せずに、関数空間やハイパースペースを表現空間上に定義するための最小限の条件は何か。
• RQ3 適切性やその他の構造的性質が、公理として与えられるのではなく、標準的写像の計算可能性から導かれるまでの範囲はどの程度か。
• RQ4 $\mathcal{K}(X) \wedge \mathcal{V}(X)$ や $\overline{X_\prec}$ といった導来空間が、計算可能性解析および位相論における古典的概念とどのように関係するか。
• RQ5 表現空間の枠組みが、自己函手やジャンプ作用素を用いてハイパーコンピュテーションおよび記述的集合論への拡張をサポートできるか。

主な発見

• 標準的表現を備えた $\mathbb{R}$ は、$\mathbb{R} \times \mathbb{R}$ 上で厳密な順序 $<$ が計算可能であるため、計算可能な $T_2$ 空間である。
• 連続関数 $f$ に対する $f[A]$ の計算可能性を用いて、$\max: \mathcal{K}(\mathbb{R}) \wedge \mathcal{V}(\mathbb{R}) \to \mathbb{R}$ が計算可能であることが示された。
• 関数 $f[A]$ と $\max$ の合成により、最大値関数泛化 $\operatorname{max-value}:(\mathcal{K}(\mathbb{R}) \wedge \mathcal{V}(\mathbb{R})) \times \mathcal{C}(\mathbb{R},\mathbb{R}) \to \mathbb{R}$ が計算可能である。
• $\overline{\mathbb{R}_\prec}$, $\overline{\mathbb{Q}_\prec}$, $\overline{\mathbb{R}_\succ}$, $\overline{\mathbb{Q}_\succ}$ の表現空間は、すべて計算可能な同型写像を介して同型であるため、$\mathbb{R}$ および $\mathbb{Q}$ 上の上界/下界の実数が同一の構造をもたらすことが示された。
• $\mathbb{R}$ は $\mathbb{R}_\prec \wedge \mathbb{R}_\succ$ と計算可能な同型であるため、全実数直線が上界部と下界部の計算可能な共通部分集合として再構成可能であることが確認された。
• 評価写像の計算可能性が適切性の特徴づけであることが示され、これにより先行研究が一般化され、合成トポロジーの原則とも整合した。