[論文レビュー] Reverse mathematics of compact countable second-countable spaces

François G. Dorais|arXiv (Cornell University)|Oct 29, 2011

Computability, Logic, AI Algorithms参考文献 10被引用数 4

ひとこと要約

この論文は、第二順序算術の部分体系において、可算第二可算位相空間におけるコンパクト性の逆数学を調査する。$\omega$-集合値化（$\mathsf{ACA}_0$）が、コンパクト性、離散性、ハウスドルフ性といった標準的な位相的性質が期待通りに振る舞うために必要かつ十分であることが示され、一方$\omega$-再帰的集合値化（$\mathsf{RCA}_0$）は、有限コンパクト離散空間が有限であることや、コンパクト空間の積がコンパクトであることといった重要な結果を証明できない。弱い体系でも良好な振る舞いを回復させるために、本稿ではこれらの性質の有効的変種を導入する。

ABSTRACT

We study the reverse mathematics of the theory of countable second-countable topological spaces, with a focus on compactness. We show that the general theory of such spaces works as expected in the subsystem $\mathsf{ACA}_0$ of second-order arithmetic, but we find that many unexpected pathologies can occur in weaker subsystems. In particular, we show that $\mathsf{RCA}_0$ does not prove that every compact discrete countable second-countable space is finite and that $\mathsf{RCA}_0$ does not prove that the product of two compact countable second-countable spaces is compact. To circumvent these pathologies, we introduce strengthened forms of compactness, discreteness, and Hausdorffness which are better behaved in subsystems of second-order arithmetic weaker than $\mathsf{ACA}_0$.

研究の動機と目的

• 可算第二可算空間における基本的な位相的性質—コンパクト性、離散性、ハウスドルフ性—が、第二順序算術の部分体系において成立するために必要な論理的強度を分析すること。
• $\omega$-再帰的集合値化（$\mathsf{RCA}_0$）が、コンパクト離散空間の有限性や積のコンパクト性といった標準的な位相的結果を証明できない限界を特定すること。
• 弱い体系でも良好に振る舞うように、コンパクト性、離散性、ハウスドルフ性の強化された有効的バージョンを導入し、弱い体系で生じる病理的現象を回避すること。
• 特定の位相定理—例えば、可算完備線形順序への順序位相のコンパクト性や、コンパクト空間の積のコンパクト性—の正確な論理的強度を明確にすること。

提案手法

• 論文は、点を自然数で、基底を自然数の集合の列で表現することで、可算第二可算位相空間を第二順序算術の枠組み内で符号化する。
• 標準的な逆数学的手法を用い、$\omega$-再帰的集合値化（$\mathsf{RCA}_0$）、弱いケーニヒの補題（$\mathsf{WKL}_0$）、$\omega$-集合値化（$\mathsf{ACA}_0$）などの部分体系で定理を分析する。
• 位相的性質（例：有効的コンパクト、有効的離散、有効的ハウスドルフ）の有効的変種を導入し、弱い体系でも振る舞いを安定化させる。
• 木構造（無限の分岐を持たないもの）に基づく構成を用い、$\omega$-再帰的集合値化のモデルで反例を構成する。
• 関連する木が有限であること（つまり無限の分岐を持たないこと）を示すことにより、弱いケーニヒの補題を用いて特定の空間のコンパクト性を証明する。
• ある位相的原則が$\omega$-再帰的集合値化上で算術的集合値化と同値であることを証明し、論理的強度を確立する。

実験結果

リサーチクエスチョン

• RQ1 $\omega$-再帰的集合値化（$\mathsf{RCA}_0$）は、任意のコンパクト離散可算第二可算空間が有限であることを証明できるか？
• RQ2 $\omega$-再帰的集合値化（$\mathsf{RCA}_0$）は、2つのコンパクト可算第二可算空間の積がコンパクトであることを証明できるか？
• RQ3 $\omega$-再帰的集合値化（$\mathsf{RCA}_0$）は、可算完備線形順序への順序位相がコンパクトであることを証明できるか？
• RQ4 コンパクト性、離散性、ハウスドルフ性の有効的変種は、$\omega$-再帰的集合値化で良好な振る舞いを回復するか？
• RQ5 2つのコンパクト可算第二可算空間の積がコンパクトであるという命題の正確な論理的強度は何か？

主な発見

• 論文は、$\omega$-再帰的集合値化（$\mathsf{RCA}_0$）が、任意のコンパクト離散可算第二可算空間が有限であることを証明できないことを示し、弱い体系における重要な病理的現象を明らかにする。
• 論文は、$\omega$-再帰的集合値化（$\mathsf{RCA}_0$）が、任意のコンパクト可算第二可算空間が逐次コンパクトであることを証明できないことを確立する。
• 論文は、$\omega$-再帰的集合値化（$\mathsf{RCA}_0$）が、可算完備線形順序への順序位相がコンパクトであることを証明できないことを証明する。
• 論文は、$\omega$-再帰的集合値化（$\mathsf{RCA}_0$）が、2つのコンパクト可算第二可算空間の積がコンパクトであることを証明できないことを示す。
• 論文は、「任意のコンパクト可算第二可算空間は有効的コンパクトである」「任意の離散的有効的コンパクト空間は有効的離散である」「任意のハウスドルフ的有効的コンパクト空間は有効的ハウスドルフである」という命題が、すべて$\omega$-再帰的集合値化上で算術的集合値化と同値であることを特定する。
• 論文は、$\omega$-集合値化（$\mathsf{ACA}_0$）が、可算第二可算空間において標準的な位相的性質が期待通りに振る舞うために必要かつ十分であると結論づける。