[論文レビュー] Counting the Positive Rationals: A Brief Survey

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

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

ひとこと要約

この論文は、正の整数から正の有理数への複数の明示的な全単射および単射を調査し、ゲーデル番号付け、連分数、2進符号化、ハイパーバイナリー表現、再帰的数列などの多様な数学的技法を用いて Q⁺ の可算性を示している。主な貢献は、すべての正の有理数を正確に一度だけ列挙する構成的技法の包括的で理解しやすい解説である。

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⁺ のゲーデル番号付けとして機能する。
• 2進表現を用い、φ(n,m) = (2n−1)2^{m−1} は、奇数部と2の累乗の指数を用いて各順序対を一意な正の整数に符号化する。
• 連分数理論を適用すると、各非負有理数 r は一意な有限連分数展開を持つ。部分商を2進数の桁にマッピングすることで、Z⁺ への全単射が得られる。
• 再帰的数列 γ₁ = 1, γ₂ₖ = 1 + γₖ, γ₂ₖ₊₁ = 1/γ₂ₖ を定義することで、Z⁺ から Q⁺ への全単射が構成され、すべての正の有理数が正確に一度だけ列挙される。
• ハイパーバイナリー表現を用い、bₙ が n を2の累乗の和として表す方法の数（各累乗は最大2回まで使用）を表すものとする。このとき、比の列 bₖ₋₁/bₖ は Z⁺ から Q⁺ への全単射をなす。
• エジプト分数表現を用いて、一意な整数列 (n₁,…,nₖ) を ψ(r) = ∑ⱼ 2^{nⱼ + j − 3} で正の整数にマッピングする。この写像は Q⁺ 全体へ拡張可能である。

実験結果

リサーチクエスチョン

• RQ1 抽象的な存在証明ではなく、明示的で構成的な写像を用いて、正の有理数の可算性をどのように示せるか？
• RQ2 Z⁺ から Q⁺ への最も効果的で数学的に洗練された全単射は何か？ また、それらは数論的構造とどのように関係しているか？
• RQ3 ゲーデル番号付け、連分数、2進符号化などの技法は、どのように統一的または一般化してこのような全単射を構成できるか？
• RQ4 再帰的数列や組合せ的数列（例：ハイパーバイナリー数）は、自然に Q⁺ の完全な列挙を生成できるか？
• RQ5 素因数分解、ユニタリ・バイナリハイブリッドなどの異なる符号化戦略は、成長率、全単射性、計算可能性の観点からどのように比較できるか？

主な発見

• φ(n,m) = 2ⁿ3ᵐ は、算術の基本定理を応用することで、順序対 (n,m) を Z⁺ に単射的に符号化する簡単で明快な方法を提供し、一意性が保証される。
• φ(n,m) = (2n−1)2^{m−1} は、正の整数が奇数と2の累乗の積に一意に分解されることに由来し、Z⁺×Z⁺ と Z⁺ の間の直接的な対応関係を確立する。
• γ₁ = 1, γ₂ₖ = 1 + γₖ, γ₂ₖ₊₁ = 1/γ₂ₖ で定義される再帰的数列は、すべての正の有理数を正確に一度ずつ列挙する全単射をもたらす。
• 連続するハイパーバイナリー表現数の比 ψ(k) = bₖ₋₁/bₖ は、bₙ が n のハイパーバイナリー表現の数を表すとき、Z⁺ から Q⁺ への全単射をなす。
• 連分数を用いると、各非負有理数は一意な有限連分数展開を持つ。部分商の累積和を2進数の桁にマッピングすることで、Z⁺ への全単射が得られる。
• 分母が増加するエジプト分数表現 r に対して、ψ(r) = ∑ⱼ 2^{nⱼ + j − 3} と定義すると、(0,1) 内の有理数の集合から Z⁺ への全単射が得られ、Q⁺ 全体へ拡張可能である。