[论文解读] A natural construction for the real numbers

Norbert A’Campo|ArXiv.org|Jan 3, 2003

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

一句话总结

本文提出了一种新颖且自然的实数构造方法，通过斜率——即从 ℤ 到 ℤ 的整数值映射，其偏离可加性程度有界——其中实数被定义为这类斜率的等价类。该构造通过斜率上的代数运算推导出加法、乘法和序关系，得到一个与 ℝ 同构的完备、阿基米德、全序域，且明确给出了 √2 和非根式代数数等例子。

ABSTRACT

A new construction of the real number system, that is built directly upon the additive group of integers and has its roots in the definition due to Henri Poincaré of the rotation number of an orientation preserving homeomorphism of the circle.

研究动机与目标

• 为实数提供一种直接从整数加法群出发的新颖且直观的构造方法。
• 通过整数值映射的内在性质定义实数上的算术运算（加法、乘法）和序关系。
• 证明所得结构满足完备、阿基米德、全序域的所有公理。
• 通过非平凡例子说明该构造，包括 √2 和无法用根式表达的代数数。
• 将该构造与有界上同调联系起来，表明 R/Z 同构于 H²_b(ℤ, ℤ)，从而将分析与代数拓扑联系起来。

提出的方法

• 将斜率定义为映射 λ: ℤ → ℤ，使得集合 {λ(m+n)−λ(m)−λ(n) | m,n∈ℤ} 为有限集。
• 通过有限差定义斜率的等价关系：λ∼λ′ 当且仅当集合 {λ(n)−λ′(n) | n∈ℤ} 为有限集。
• 将实数定义为该关系下的斜率等价类。
• 通过代表斜率的逐点加法定义实数的加法：(α+β)(n) = α(n)+β(n)。
• 通过斜率的复合定义乘法：(α∘β)(n) = α(β(n))，并通过有界性证明其定义良好。
• 通过斜率在 ℕ₊ 上的渐近行为定义正性和序关系，从而在 ℝ 上诱导出全序。

实验结果

研究问题

• RQ1 能否直接从整数加法群出发，利用一种自然的代数结构构造实数？
• RQ2 如何仅从整数值映射的性质来定义 ℝ 上的加法、乘法和序关系？
• RQ3 该构造能否自然地表示无理数和非根式代数数，如 √2？
• RQ4 该构造与有界上同调之间存在何种关系，特别是与 H²_b(ℤ, ℤ) 的关系？
• RQ5 该构造是否能生成一个完备、阿基米德、全序域，且同构于 ℝ？

主要发现

• 实数集 ℝ 被构造为斜率集合关于有限差等价关系的商集，加法与乘法通过代表斜率的逐点和与复合运算定义。
• 该构造生成一个完备、阿基米德、全序域，同构于标准 ℝ，满足所有域与序公理。
• 数 √2 由一个奇斜率 σ 表示，定义为 σ(n) = max{δ(n) | δ ∈ Δ}，其中 Δ 是满足 δ(n)² ≤ 2n² 且 δ(n) ≈ √2 n 的整数值映射的集合。
• 该构造表明 ℝ/ℤ 同构于有界上同调群 H²_b(ℤ, ℤ)，同构由 a ↦ θ_a(n,m) = [(n+m)a] − [na] − [ma] 给出。
• 有理数对应于满足：存在某个 q > 0，使得 n ↦ λ(qn) 为线性映射的斜率 λ；整数对应于线性斜率 λ(n) = jn。
• ℝ 上的序关系被编码于域结构之中：x < y 当且仅当存在 t ≠ 0 使得 y−x = t²，表明序关系可仅由域运算定义。