[論文レビュー] Uniformity in Mathematics

Dag Normann, Sam Sanders|arXiv (Cornell University)|Aug 29, 2018

Computability, Logic, AI Algorithms被引用数 2

ひとこと要約

この論文は、非可算数学における基礎的で局所的から大域的へとつながる原理であるピンチェルレの定理とコンパクト性の論理的・計算的差異を調査し、両者とも有界性に関係しているものの、ピンチェルレの定理は一意的な逆数学的還元を有さず、特異な計算的性質を示すことが明らかになった。本研究では、ヴァイエルシュトラスの定理に由来する他の局所的から大域的へとつながる原理とも比較され、可算選択公理とリンデレーフの補題がこれらの文脈における役割が検討された。

ABSTRACT

We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e. one of the first 'local-to-global' principles. It is well-known that such principles in analysis are intimately connected to (open-cover) compactness, but we nonetheless exhibit fundamental differences between compactness and Pincherle's theorem. For instance, the main question of Reverse Mathematics, namely which set existence axioms are necessary to prove Pincherle's theorem, does not have an unique or unambiguous answer, in contrast to compactness. We establish similar differences for the computational properties of compactness and Pincherle's theorem. We establish the same differences for other local-to-global principles, even going back to Weierstrass. We also greatly sharpen the known computational power of compactness, for the most shared with Pincherle's theorem however. Finally, countable choice plays an important role in the previous, we therefore study this axiom together with the intimately related Lindelof lemma.

研究の動機と目的

• ピンチェルレの定理—非可算解析における重要な局所的から大域的へとつながる原理—の論理的および計算的性質を分析すること。
• ピンチェルレの定理とコンパクト性の間の逆数学的還元および計算的強度という観点から、両者の比較を行うこと。
• ピンチェルレの定理を証明するために必要な集合存在公理が一意的な答えをもつという基礎的問題が、コンパクト性とは異なり、一意的でないかどうかを調査すること。
• ヴァイエルシュトラスに由来する他の古典的局所的から大域的へとつながる原理に対しても、この比較を拡張すること。
• 可算選択公理とリンデレーフの補題が、これらの原理の論理的および計算的挙動に果たす役割を検討すること。

提案手法

• ピンチェルレの定理を逆数学の枠組みで分析し、その証明に必要な最小限の集合存在公理を同定すること。
• 計算可能性理論的技法を用いて、ピンチェルレの定理とコンパクト性の計算的強度を比較すること。
• ピンチェルレの定理と、ヴァイエルシュトラスの定理に由来する他の局所的から大域的へとつながる原理との論理的同値性および相違点を検討すること。
• 可算選択公理とリンデレーフの補題が、これらの原理の論理的および計算的挙動に果たす役割を調査すること。
• 証明理論的およびモデル理論的手法を用いて、ピンチェルレの定理に対する逆数学的還元の非一意性を評価すること。
• コンパクト性の計算的パワーに鋭い上限を設定し、ピンチェルレの定理のそれと比較すること。

実験結果

リサーチクエスチョン

• RQ1 ピンチェルレの定理を証明するために必要な集合存在公理は何かという逆数学的問いは、一意的または明確な答えをもつか。
• RQ2 ピンチェルレの定理の計算的性質は、コンパクト性のそれとどのように異なるか。
• RQ3 ヴァイエルシュトラスに由来する他の局所的から大域的へとつながる原理は、ピンチェルレの定理と同様の論理的・計算的特徴をどの程度共有しているか。
• RQ4 可算選択公理は、ピンチェルレの定理および関連する原理の論理的挙動に果たす役割は何か。
• RQ5 リンデレーフの補題は、これらの定理の論理的および計算的構造とどのように関係しているか。

主な発見

• コンパクト性とは異なり、ピンチェルレの定理は一意的または明確な逆数学的還元を有さない。コンパクト性は、明確に定義された最小公理要件を有する。
• 両者とも局所的から大域的へとつながる原理であるにもかかわらず、ピンチェルレの定理の計算的性質は、コンパクト性とは根本的に異なる。
• 本研究により、コンパクト性はかつて認識されていたよりもはるかに大きな計算的パワーを有することが明らかになったが、ピンチェルレの定理とは依然として異なる。
• ヴァイエルシュトラスに由来する他の古典的局所的から大域的へとつながる原理も、ピンチェルレの定理と同様に、コンパクト性とは論理的・計算的差異を示す。
• 可算選択公理とリンデレーフの補題は、特にコンパクト性が定理の全パワーを捉えきれない文脈において、これらの原理の論理的および計算的挙動を仲介する上で極めて重要な役割を果たす。
• 本論文は、ピンチェルレの定理の論理的構造が、標準的な逆数学的分類に抵抗することを確立し、コンパクト性とはより深い基礎的差異を示していることを強調した。