[论文解读] Counting the Positive Rationals: A Brief Survey

David M. Bradley|ArXiv.org|Sep 1, 2005

Advanced Mathematical Identities参考文献 15被引用 7

一句话总结

本文综述了从正整数到正有理数的多种显式双射与单射，通过哥德尔编号、连分数、二进制编码、超二进制表示以及递归序列等多种数学方法，展示了正有理数集的可数性。主要贡献在于系统且易于理解地阐述了构造性方法，以确保每个正有理数恰好被枚举一次。

ABSTRACT

We discuss some examples that illustrate the countability of the positive rational numbers and related sets. Techniques include radix representations, Godel numbering, the fundamental theorem of arithmetic, continued fractions, Egyptian fractions, and the sequence of ratios of successive hyperbinary representation numbers.

研究动机与目标

• 提供一个自包含且易于理解的综述，涵盖多种用于证明正有理数可数性的构造性方法。
• 说明如何利用质因数分解、进位制表示和连分数等数学工具，显式枚举 Q⁺。
• 强调在可数集的语境下，数论、组合数学与集合论之间的关联。
• 提出并分析从 Z⁺ 到 Q⁺ 的双射映射，包括递归、代数与几何构造。

提出的方法

• 利用算术基本定理，映射 φ(n,m) = 2ⁿ3ᵐ 将有序对 (n,m) 注入到 Z⁺ 中，作为 Q⁺ 的哥德尔编号。
• 采用二进制表示，映射 φ(n,m) = (2n−1)2^{m−1} 通过奇数部分与 2 的幂次指数，将每对唯一编码为正整数。
• 应用连分数理论，每个非负有理数 r 具有唯一的有限连分数展开，将部分商映射为二进制数位，从而得到到 Z⁺ 的双射。
• 通过定义递归序列：γ₁ = 1，γ₂ₖ = 1 + γₖ，γ₂ₖ₊₁ = 1/γ₂ₖ，本文构建了一个从 Z⁺ 到 Q⁺ 的双射，恰好枚举所有正有理数一次。
• 利用超二进制表示，其中 bₙ 表示将 n 表示为 2 的幂次之和（每个幂次最多使用两次）的方式数，比值序列 bₖ₋₁/bₖ 构成从 Z⁺ 到 Q⁺ 的双射。
• 本文通过埃及分数表示构造双射，将唯一整数序列 (n₁,…,nₖ) 映射到正整数，公式为 ψ(r) = ∑ⱼ 2^{nⱼ + j − 3}，并将其扩展至整个 Q⁺。

实验结果

研究问题

• RQ1 如何通过显式、构造性映射而非抽象存在性证明来展示正有理数的可数性？
• RQ2 从 Z⁺ 到 Q⁺ 的最有效且数学上优美的双射是什么？它们与数论结构有何关联？
• RQ3 哥德尔编号、连分数与二进制编码等技术在多大程度上可以统一或推广，以构造此类双射？
• RQ4 递归序列或组合序列（如超二进制数）能否自然地生成 Q⁺ 的完整枚举？
• RQ5 在增长速率、双射性与计算可行性方面，不同编码策略（如质因数分解、一元-二进制混合）有何比较优势？

主要发现

• 映射 φ(n,m) = 2ⁿ3ᵐ 利用算术基本定理，将有序对 (n,m) 简单而单射地编码为 Z⁺，确保唯一性。
• 双射 φ(n,m) = (2n−1)2^{m−1} 源于正整数唯一分解为奇数与 2 的幂次之积，建立了 Z⁺×Z⁺ 与 Z⁺ 之间的直接对应。
• 由 γ₁ = 1，γ₂ₖ = 1 + γₖ，γ₂ₖ₊₁ = 1/γ₂ₖ 定义的递归序列，可生成所有正有理数的双射枚举，每个有理数恰好出现一次。
• 超二进制表示数 bₙ（表示 n 用 2 的幂次之和表示，且每个幂次最多使用两次）的相邻项比值序列 ψ(k) = bₖ₋₁/bₖ，构成从 Z⁺ 到 Q⁺ 的双射。
• 利用连分数理论，每个非负有理数具有唯一的有限连分数展开，将部分商的累计和映射为二进制数位，可得到从 Z⁺ 到 Z⁺ 的双射。
• 对于分母严格递增的埃及分数表示，映射 ψ(r) = ∑ⱼ 2^{nⱼ + j − 3} 构成从 (0,1) 内有理数集到 Z⁺ 的双射，且可扩展至整个 Q⁺。