[論文レビュー] On the uncountability of $\mathbb{R}$

Dag Normann, Sam Sanders|arXiv (Cornell University)|Jul 15, 2020

Computability, Logic, AI Algorithms参考文献 53被引用数 7

ひとこと要約

この論文は、高階逆数学およびクレインのS1–S9計算可能性理論を用いて、ℝの非可算性の論理的・計算的強さを調査する。NIN（[0,1]からℕへの単射が存在しない）およびNBI（全単射が存在しない）は、直観的に単純であるにもかかわらず、驚くべきほど強い原理であることが示され、アゼラの収束定理などの主要定理を含む。それらを証明または計算するには、強力な記述的公理や不連続関数型が必要となる。

ABSTRACT

Cantor's first set theory paper (1874) establishes the uncountability of $\mathbb{R}$. We study this most basic mathematical fact formulated in the language of higher-order arithmetic. In particular, we investigate the logical and computational properties of NIN (resp. NBI), i.e. the third-order statement: there is no injection (resp. bijection) from $[0,1]$ to $\mathbb{N}$. Working in Kohlenbach's higher-order Reverse Mathematics, we show that NIN and NBI are hard to prove in terms of (conventional) comprehension axioms, while many basic theorems, like Arzela's convergence theorem for the Riemann integral (1885), are shown to imply NIN and/or NBI. Working in Kleene's higher-order computability theory based on S1-S9, we show that the following fourth-order process based on NIN is similarly hard to compute: for a given $[0,1] ightarrow \mathbb{N}$-function, find reals in the unit interval that map to the same natural number.

研究の動機と目的

• 高階算術の枠組みにおいて、カントールのℝの非可算性の論理的および計算的強さを分析すること。
• NINおよびNBIが直観的に弱く見えるにもかかわらず、強力な記述的公理および不連続関数型を必要とする理由を調査すること。
• アゼラのリーマン積分に対する収束定理などの基礎的定理とNIN/NBIとの関係を確立すること。
• RCA₀^ωのような弱い体系が、有界変動関数の有限個の不連続点集合を取り扱えるかの限界を探索すること。
• 連続性原理に基づく非正規スケールを証明論において提唱し、不連続関数型を含まないNINのような原理をより適切に分類できるようにすること。

提案手法

• 第三階算術において、ℝの非可算性をNIN（[0,1]からℕへの単射が存在しない）およびNBI（全単射が存在しない）として形式化すること。
• Kohlenbachの高階逆数学を用いて、NINおよびNBIを証明するために必要な記述的公理の強さを評価すること。
• クレインのS1–S9高階計算可能性理論を用いて、与えられた[0,1]→ℕ関数のもとで同じ自然数に写像される実数の特定の計算可能性を分析すること。
• NINが半連続関数および有界変動関数を含む制限版と同値であることを示し、自然な関数クラス全体にわたるその頑健性を示すこと。
• コルトゥールの木の補題や非単調な帰納的定義といった原理がNINを含むことを確立し、逆数学の核心的結果と関連づけること。
• 双対写像ではなく有限列に基づく新しい「有限集合」の概念を導入し、有界変動関数の不連続点集合のような「きわめてきわどい」有限集合をよりよく捉えること。

実験結果

リサーチクエスチョン

• RQ1 ℝの非可算性がNINとして形式化されても、直観的に単純であるにもかかわらず、なぜ強力な記述的公理を必要とするのか？
• RQ2 NINおよびNBIは、リーマン積分に対するアゼラの収束定理といった古典的定理とどのように関係しているのか？
• RQ3 クレインのS1–S9フレームワークにおいて、任意の[0,1]→ℕ関数のもとで衝突（同じ自然数に写像される2つの実数）を求める計算の強さはどの程度か？
• RQ4 RCA₀^ωのような弱い体系は、有界変動関数の不連続点集合が有限または弱可算であることを証明できるのか？
• RQ5 標準的な「有限」と「可算」の定義は、解析における自然に生じる有限集合を捉えきれず、どのように改善できるのか？

主な発見

• NINおよびNBIは高階逆数学において論理的に強い原理であり、リーマン積分に対するアゼラの収束定理などの主要定理を含む。
• NINは半連続関数および有界変動関数を含む制限版と同値であることが示され、自然な関数クラス全体にわたるその頑健性が裏付けられる。
• クレインのS1–S9フレームワークにおいて、与えられた[0,1]→ℕ関数のもとで衝突を計算することは、NIN自体と同等の計算的強度を要するため、高い計算複雑性を示す。
• Cantor空間における可算集合のボルツァノ＝ワイエルシュトラス定理と高階Π₁¹-CA₀を組み合わせるとΠ₂¹-CA₀に達する。これは、可算性原理が不連続関数型を含むと爆発的に強化されることを示している。
• 標準的なZFの「有限」の定義（{0,…,n}への双対写像によるもの）は、有界変動関数の不連続点集合のような「きわめてきわどい」有限集合を捉えるには不十分である。有限列に基づく新しい定義は、弱い体系においてより適切である。
• 有界変動関数のジャンプ不連続点の集合は、高さ関数の意味で弱可算であるが、ℕへの単射を構成するにはRCA₀^ω + QF-AC⁰,¹よりも強い記述的公理が必要となる。