[논문 리뷰] The real numbers - a survey of constructions

Ittay Weiss|arXiv (Cornell University)|2015. 05. 18.

Computability, Logic, AI Algorithms참고 문헌 14인용 수 3

한 줄 요약

이 논문은 스테빈의 소수 전개에서부터 코프만처의 급수 기반 방법, 아르탄의 순서군의 완비화에 이르기까지 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.

연구 동기 및 목표

• 기존의 실수 체계 구성법을 종합적이고 통합적으로 개괄하여 다양한 접근 방식 간의 직접적 비교를 가능하게 한다.
• 특히 구성 수학과 계산 수학에서 동형사상이 실질적 동등성을 의미하지는 않기 때문에, 구성법 간의 기초적 차이를 명확히 한다.
• 역사적 기원(예: 스테빈, 1585)에서 현대적 변형(예: 코프만처, 1989)에 이르기까지의 구성법을 조망하며, 비표준 수와 순환수 기반 접근법을 포함한다.
• 모든 구성법이 동형인 완비 순서체를 제공하지만, 효과성, 계산 가능성, 자동화된 시스템에서의 실행 가능성 측면에서의 차이가 있음을 강조한다.
• 각 구성법을 실수와 유리수 또는 정수로부터 구성된 구조적 집합 사이의 전단사 대응으로 통일적으로 제시함으로써, 측면 대 비교 분석을 용이하게 한다.

제안 방법

• 통일된 프레임워크를 채택: 각 구성법을 실수와 더 단순한 실체(예: 유리수, 정수)로부터 유도된 집합 사이의 전단사 대응으로 제시하며, 순서와 산술 연산은 후행적으로 정의한다.
• 유한 수열을 처리하기 쉽게 하기 위해, ∞와 유사하게 행동하는 ω를 포함하는 확장된 자연수 ℕ⁺ = ℕ ∪ {ω}를 사용하여 유한 수열을 무한 수열로 패딩함으로써 급수와 전개의 처리를 단순화한다.
• 각 구성법에 대해, 특정 대수적 또는 순서론적 제약 조건(예: 엔겔 또는 실베스터 기반 구성에서의 성장 조건)을 만족하는 수열 또는 동치류의 부분집합으로서 실수 집합을 정의한다.
• 기존 정리(예: 칸토어의 정리, 헬더의 정리, 데데킨드-맥널리 완비화)를 적용하여 결과 집합의 체 및 순서 구조를 정당화한다.
• 주요 구성법(예: ℤ[√2]에서 (a,b)+(c,d)=(a+c,b+d), (a,b)(c,d)=(ac+2bd,ad+bc))에 대해 산술 및 순서 연산을 명시적으로 제시하여 ℝ와의 일致성을 확보한다.
• ℝ₊와 ℝ을 생성하는 구성법을 구분하며, 후자는 종종 기술적 문제를 단순화하고, 전체 체 구조가 복원 가능할 경우 둘 다 완비로 간주된다.

실험 결과

연구 질문

• RQ1 클래식(데데킨드, 칸토어)에서 현대적(코프만처, 샤누엘)에 이르기까지 다양한 실수 체계 구성법 간의 기초적 가정과 구조적 성질을 비교할 때 어떤가?
• RQ2 다른 구성법이 동형인 완비 순서체를 얼마나 잘 생성하는가? 그리고 이러한 동형사상이 언제 계산 가능하거나 효과적이지 않은가?
• RQ3 특정 수론 정리(예: 엔겔의 정리, 실베스터의 정리, 교대 실베스터의 정리)는 어떻게 무한 급수나 전개를 통해 실수를 생성하는가?
• RQ4 비표준 수나 순환수 기반 구성법은 고전적 실수와 어떤 관계가 있으며, 실수에 국한될 경우 어떤 방식으로 기존의 구성법으로 축소되는가?
• RQ5 모든 구성법에 동일한 프레임워크를 적용하여 직접 비교할 수 있는가? 특히 구성 수학과 자동 정리 증명의 맥락에서.

주요 결과

• 모든 조사된 구성법은 ℝ와 동형인 완비 순서체를 생성하며, 실수의 공리계의 카테고리성(분류성)을 확인하지만, 동형사상이 항상 효과적이거나 계산 가능하지는 않다.
• 밀도 있고 아르키메데스 성질을 갖는 순서체의 조건을 만족하는 순서군(예: ℤ[√2])에 대해 데데킨드-맥널리 완비화를 적용하면, 곱셈이 효과적으로 정의될 수 있다면 ℝ를 체로 생성한다. 이는 아르탄의 접근 방식의 기초가 된다.
• 코프만처와 코프만처의 다수의 구성법(칸토어의, 엔겔의, 실베스터의, 교대 정리 기반)은 모두 실수를 성장 조건 또는 수렴 조건을 만족하는 무한 수열로 정의하며, 유리수는 유한 종료로 식별된다.
• 드 브루이jn의 덧셈 전개 구성법과 팔틴 등에 의한 와펜 제품 방법은 모두 실수를 ℤ 위의 무한 전개 또는 대수적 구조로 표현하며, 산술 연산은 재귀적 규칙으로 정의된다.
• 샤누엘의 구성법은 ℤ의 근사 자기환형사상의 집합을 사용하여, 적절한 거리 함수 하에서 ℤ의 완비화로서 ℝ을 생성하며, 체 구조는 자기환형사상환으로부터 유도된다.
• 콘웨이의 순환수는 ℝ의 복사본을 포함하지만, 그 안에서 실수를 분리하는 것은 데데킨드 컷 구성법으로 축소되며, 이는 순환수가 ℝ의 구성에 본질적으로 새로운 방법을 제공하지는 않음을 시사한다.