[論文レビュー] The real numbers - a survey of constructions

Ittay Weiss|arXiv (Cornell University)|May 18, 2015

Computability, Logic, AI Algorithms参考文献 14被引用数 3

ひとこと要約

本稿では、スティーヴィンの小数展開から、Knopfmacherの級数に基づく手法やArthanの順序群の完備化に至るまで、20以上の実数の数学的構成法について包括的で統一的なサーベイを提示する。各構成法を、有理数または整数から構築された構造的集合と実数との間の全単射対応として定式化し、代数的・順序的・位相的性質を強調することで、構成的および計算的文脈における基礎的ニュアンスを明確にし、直接比較を可能にする。

ABSTRACT

We present a comprehensive survey of constructions of the real numbers (from either the rationals or the integers) in a unified fashion, thus providing an overview of most (if not all) known constructions ranging from the earliest attempts to recent results, and allowing for a simple comparison-at-a-glance between different constructions.

研究の動機と目的

• 既知の実数の構成法を包括的かつ統一的に概説し、多様なアプローチ間での直接比較を可能にする。
• 特に構成的数学および計算数学の文脈において、同型性が実用的同等性を意味しないことから、構成法間の基礎的差異を明確にする。
• 歴史的起源（例：Stevin, 1585）から現代的変種（例：Knopfmacher, 1989）まで、構成法をサーベイする。非標準的およびノンスタンドアード数に基づくアプローチを含む。
• すべての構成法が同型な完備順序体をもたらすが、それらの有効性、計算可能性、自動化システムへの実装可能性において差が生じることを強調する。
• 各構成法を一様に提示する——実数と有理数または整数から構築された構造的集合との間の全単射対応として——、並べて分析を容易にする。

提案手法

• 一様な枠組みを採用：各構成法を、実数と単純な対象（例：有理数、整数）から導かれる集合との間の全単射対応として提示し、順序および演算を後から定義する。
• ∞に似た振る舞いを示すωを含む拡張自然数 ℕ⁺ = ℕ ∪ {ω} を用い、有限列をωでパディングすることで無限列として扱い、級数や展開の取り扱いを単純化する。
• 各構成法について、実数の集合を、特定の代数的または順序論的制約（例：エンゲルやシルベスターに基づく構成法における成長条件）を満たす列または同値類の部分集合として定義する。
• 既知の定理（例：カントールの定理、オーラーの定理、デデキンド＝マクネイルの完備化）を適用し、得られる集合の体および順序構造を正当化する。
• 主要な構成法（例：ℤ[√2] における (a,b)+(c,d)=(a+c,b+d), (a,b)(c,d)=(ac+2bd,ad+bc)）について、算術および順序演算を明示的に提示し、ℝと整合することを保証する。
• ℝ₊を生成する構成法とℝを生成する構成法を区別し、前者は技術的側面を簡素化する傾向があること、および全体の体構造が回復可能な限り両者が完全であることを注記する。

実験結果

リサーチクエスチョン

• RQ1 古典的（デデキンド、カントール）から現代的（Knopfmacher、Schanuel）に至るまでの、実数のさまざまな構成法が、基礎的仮定および構造的性質においてどのように比較できるか。
• RQ2 異なる構成法が同型な完備順序体を生成する程度は何か。また、これらの同型が計算不能または非有効的となる文脈は何か。
• RQ3 特定の数論的定理（例：エンゲルの定理、シルベスターの定理、交互のシルベスターの定理）が、無限級数または展開を用いた実数の生成に果たす役割は何か。
• RQ4 非標準的またはノンスタンドアード数に基づく構成法は、古典的実数とどのように関係しているか。また、実数に制限を加えると、それらが既知の構成法にどのように還元されるか。
• RQ5 構成的数学および自動定理証明の文脈において、すべての構成法に一様な枠組みを適用し、直接比較を可能にすることができるか。

主な発見

• サーベイされたすべての構成法は、ℝに同型な完備順序体を生成する。これは、実数の公理のカテゴリシティを確認するが、同型が常に有効的または計算可能であるとは限らない。
• 稠密でアーケメデス的かつ順序付き可換群（例：ℤ[√2]）のデデキンド＝マクネイルの完備化により、乗法が有効に定義できる限りℝが体として得られる。これはArthanのアプローチの根拠である。
• KnopfmacherとKnopfmacherの複数の構成法（カントールの定理、エンゲルの定理、シルベスターの定理、交互の定理を用いるもの）は、すべて、成長条件または収束条件を満たす無限列として実数を定義し、有理数は有限終了によって同定する。
• De Bruijnの加法的展開構成法とFaltinらのワイヤード積法は、いずれもℤ上での無限展開または代数的構造として実数を符号化し、再帰的規則によって算術を定義する。
• Schanuelの構成法は、ℤの近似自己準同型を用い、適切な距離の下でのℤの完備化としてℝを生成する。体構造は自己準同型環から導かれる。
• コンウェイのノンスタンドアード数にはℝのコピーが含まれるが、それらの中から実数を抽出することは、デデキンド切断の構成法に帰着する。これは、ノンスタンドアード数がℝの根本的に新しい構成法を提供しないことを示唆している。