[논문 리뷰] Counting the Positive Rationals: A Brief Survey

David M. Bradley|ArXiv.org|2005. 09. 01.

Advanced Mathematical Identities참고 문헌 15인용 수 7

한 줄 요약

이 논문은 양의 정수에서 양의 유리수로의 다수의 명시적 전단사 사상과 단사 사상들을 조사하며, 고델 첨자법, 연분수, 이진 인코딩, 초이진 표현, 재귀 수열 등을 포함한 다양한 수학적 기법을 통해 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⁺에 대한 고델 첨자법으로 기능한다.
• 이진 표현을 활용하여, φ(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/γ₂ₖ로 정의된 재귀 수열은 모든 양의 유리수를 정확히 한 번씩 포함하는 전단사적 나열을 제공한다.
• 연속된 초이진 표현 수의 비율 수열 ψ(k) = bₖ₋₁/bₖ는 Z⁺에서 Q⁺로의 전단사 사상이 되며, 여기서 bₙ은 n의 초이진 표현 수를 나타낸다.
• 연분수를 이용하면 각 음이 아닌 유리수는 유일한 유한 연분수 전개를 가지며, 부분 몫의 누적 합을 이진 숫자로 매핑하면 Z⁺로의 전단사 사상이 유도된다.
• 증가하는 분모 nⱼ를 가진 이집트 분수 표현에 대해 ψ(r) = ∑ⱼ 2^{nⱼ + j − 3}는 (0,1) 내의 유리수 집합에서 Z⁺로의 전단사 사상이며, 이를 Q⁺ 전체로 확장할 수 있다.