A Foundation for the Core Mathematician

技術的サマリー：核心数学者のための基盤

問題提起
著者であるデヴィッド・マンフォードとサイ＝デヴィッド・フリードマンは、標準的な選択公理付きツェルメロ・フレンケル集合論（ZFC）が数学研究の「核心」にとって不適切な基盤であると論じている。ZFC は広く受け入れられているが、著者らはそれが「確固たる固定された」基盤を提供できないと主張する。その理由は、無数のモデル（「マルチバース」的見方）を許容し、非構成的で「現実離れした」集合（例えば、バナッハ・タルスキーのパラドックスや非可測集合の生成を通じて）を生み出すような選択公理（AC）の依存にある。さらに、連続体仮説の独立性と大基数公理の存在は、集合の唯一の宇宙に対するプラトン主義的信念を揺るがしている。

本論文は、数学的経験の「中心的な核心」は自然数（$\mathbb{N}$）、実数（$\mathbb{R}$）、およびそれらから導かれる構造に関係すると仮定している。著者らは以下の要件を満たす基盤を求めている：

1. 実数 $\mathbb{R}$ を与えられた「現実世界」の物体として扱うこと（任意の集合ではなく、$\mathbb{R}$ 固有のプラトン主義的見方）。
2. この核心におけるすべての予想が明確な真理値（唯一のモデル）を持つことを保証すること。
3. 標準解析に必要な十分な強さを保ちつつ、非可算な選択によって引き起こされる病理を回避すること。

方法論と公理系
本論文は、これを具体化するための特定の公理系 $T$ と 2 つの異なるモデルを提案している。

1. 公理（$T$）:
提案された系 $T$ は、$(ZF^-) + \mathbb{R} + A^{\text{null}}_N + DC$ として定義される。

• $ZF^-$: 冪集合公理と非可算な選択公理を除いたツェルメロ・フレンケル集合論。これには外延性、正則性、対、和、無限、内包、収集、および置換が含まれる。
• 与えられた $\mathbb{R}$: 実数の集合は、物理的連続体をモデル化する原始的な与えられた実体として扱われる。
• フライリングの公理（$A^{\text{null}}_N$）: これが中心的な革新である。独立な確率変数と相対性理論（情報の漏洩を排除するため）を用いた「ダーツ投げ」思考実験に基づき、任意の関数 $f: [0,1]^{\mathbb{N}} \to \mathcal{N}$（数列を零集合に写す）に対して、すべての $i$ について $x_i \notin f(\sigma(i))$ となる独立な確率実数の列 $\{x_i\}$ が存在すると主張する。
  • 帰結: この公理は非可算な選択公理と矛盾する。これは $\mathbb{R}$ が整列可能でないことを意味し、連続体仮説が偽であることを示唆する。
• 従属選択公理（DC）: 系はベルナイスによって導入された従属選択公理を保持する。これはほとんどの標準解析（例えば、ベールの範疇定理、極限の存在）に十分であるが、完全な AC よりも弱い。

2. 提案されたモデル（$M$）:
著者らは、集合が特定の順序数 $\alpha^*$ までの超限帰納法を通じて $\mathbb{N}$ と $\mathbb{R}$ から構成されるモデル $M = L_{\alpha^*}(\mathbb{R})$ を構成する。

• 構成: $L_0(\mathbb{R}) = \mathbb{R}$ から始めて、モデルは定義可能な集合を反復する。
• 極限 $\alpha^*$: 帰納法は、$\mathbb{R}$ の新しい部分集合が生成されなくなる点、すなわち「完全な $\mathbb{R}$-許容順序数」$\alpha_{ZF^-}$ で停止する（$L_{\alpha^*}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R}) = L_{\alpha^*+1}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R})$ と定義される）。
• 性質: このモデルにおいて、すべての命題には「根拠となる真理」が存在する。このモデルは $ZF^-$、DC、およびフライリングの公理を満たす。そのようなモデルの存在は、ZFC の無矛盾性と到達不能基数の存在から導かれることが示されている。

3. 最小主義的代替案（ソロベイのモデル）:
本論文はまた、ZF と到達不能基数の無矛盾性を仮定するロバート・ソロベイのモデルに基づく「最小主義的」基盤についても論じている。

• 構成: $\mathbb{R}$ のすべての部分集合がルベーグ可測であり、ベール性質を持つような可算推移モデルが構成される。
• 完全性: 著者らは「最小性性質」と汎用集合 $G$ を含む $T$ の拡張である理論 $T^*$ を定義する。彼らは、$T^*$ の任意の 2 つの整礎モデルが同じ一次元文を満たすと主張する。これは、大きくて非整礎な集合を拒絶する核心数学者にとって、ゲーデルの不完全性に対する解毒剤として機能する、整礎モデルに対するある種の「完全性」を提供する。

主要な貢献と結果

• 非可算選択の拒絶: 本論文は、非可算な選択公理をフライリングの確率的公理 $A^{\text{null}}_N$ で形式的に置き換える。後者は「現実世界」にとってより直感的であり、非可測集合の構成を回避すると論じている。
• 第二階算術の精緻化: 第二階算術（$Z_2$）が解析の多くにとって十分であることを認めつつも、著者らはすべてのボレル集合の「集合」や位相空間を直接定義するには不十分であると論じている。提案されたモデルは、$\mathbb{R}$ を明示的に含み、$\alpha^*$ までの構成を可能にすることで $Z_2$ を拡張する。
• 濃度の曖昧状態: 本論文は、モデルのユニークな特徴を浮き彫りにしている。すなわち、$\mathbb{R}$ から $\omega_1$（最初の非可算順序数）への全射は存在するが、フライリングの公理により全単射は存在しない。したがって、$\omega_1$ は存在するが、$\mathbb{R}$ との明確な濃度関係を持たず、標準的な ZFC とは異なる「曖昧状態（limbo）」に存在する。
• 無矛盾性の証明: 著者らは、彼らの公理が到達不能基数の存在に対して相対的に無矛盾であることを示している。彼らはソロベイの強制法を用いて、ZFC + 到達不能基数が無矛盾であれば、彼らの系 $T$（およびより強力な $T^*$）も無矛盾であることを示している。

意義と主張
本論文は、実数、整数、およびそれらから導かれる構造（例えば、解析、偏微分方程式、バナッハ空間）を扱う「核心数学者」にとって「より優れた基盤」を提供すると主張している。

• 明確性: 主張される主な意義は、集合論の「マルチバース」に対抗し、すべての予想が一意の答えを持つ「確固たる固定された」基盤の回復にある。
• 実在性: 確率変数の物理的直観（フライリングの公理）と $\mathbb{R}$ の与えられた性質に基盤を置くことで、著者らは彼らの基盤が、抽象的で非構成的な完全な ZFC よりも数学的実践と整合的であると論じている。
• 不完全性への解毒剤: 「最小主義的」基盤（$T^*$）は、大基数の独立性現象を避けつつも、実数の堅牢な理論を維持したい数学者に対する解決策として提示されている。

著者らは謙虚であり、彼らのアプローチは到達不能基数の無矛盾性に依存しており、確率的な手法は最終的に特定の大きな基数の文脈において射影集合の可測性を反証する可能性があると指摘している。しかし、彼らは彼らの枠組みが数学研究の大部分にとって一貫性があり、議論の余地のない基盤を提供すると断言している。