[논문 리뷰] Division by four

Peter G. Doyle, Cecil S. Qiu|arXiv (Cornell University)|2015. 04. 06.

History and Theory of Mathematics참고 문헌 7인용 수 4

한 줄 요약

이 논문은 유한 집합에 대해 nA가 nB에 임베딩되면 A가 B에 임베딩됨을 보여주는 간결한 증명을 제시한다—이는 nA ≡ nB(일대일 대응)이면 A ≡ B임을 암시한다. 코펜하겐-버너스타인 정리(정리)를 사용하여, 기수 관계에서 유한 배수의 취소가 가능한 기본적인 결과를 집합론에 확립한다.

ABSTRACT

Write A<=B if there is an injection from A to B, and A==B if there is a bijection. We give a simple proof that for finite n, nA<=nB implies A<=B. From the Cantor-Bernstein theorem it then follows that nA==nB implies A==B. These results have a long and tangled history, of which this paper is meant to be the culmination.

연구 동기 및 목표

• 유한 n과 집합 A, B에 대해 nA ≤ nB ⇒ A ≤ B임을 간결하게 증명하는 것.
• 집합 기수에서 유한 배수의 취소가 가능한지에 대한 오랫동안 남아있던 기초적 질문을 해결하는 것.
• 유한 집합에서 단사 및 전단사 사상에 관한 역사적으로 복잡한 결과의 선구적 통합과 종결을 이루는 것.
• 코펜하겐-버너스타인 정리를 핵심 도구로 사용하여 nA ≡ nB이면 A ≡ B임을 보이는 것.

제안 방법

• A ≤ B를 A에서 B로의 단사 사상 존재로 정의하고, A ≡ B를 일대일 대응 존재로 정의한다.
• nA ≤ nB(즉, A의 n개 복제본이 B의 n개 복제본에 임베딩됨)라는 가정을 바탕으로, 집합의 n중 복제에서의 단사 사상의 구조적 분석을 통해 A ≤ B를 도출한다.
• 코펜하겐-버너스타인 정리를 적용한다. 이 정리는 A ≤ B이면서 B ≤ A이면 A ≡ B임을 보여준다.
• n의 유한성을 활용하여, n중 복제된 집합 간의 단사 사상이 원래 집합의 구조적 제약을 유지함을 보장한다.
• 유한 복제에 따른 단사 사상의 행동을 분석하여, nA ≤ nB에서 A ≤ B로의 논리적 체인을 구성한다.
• nB ≤ nA로부터 유도된 대칭적 함의와 함께 A ≤ B를 도출함으로써, nA ≡ nB이면 A ≡ B임을 결론짓는다.

실험 결과

연구 질문

• RQ1 모든 유한 n과 집합 A, B에 대해 nA ≤ nB이면 A ≤ B인가?
• RQ2 고급 도구 없이도 집합의 유한 배수의 취소 성질을 증명할 수 있는가?
• RQ3 코펜하겐-버너스타인 정리는 일대일 대응의 취소를 어떻게 확립하는가?
• RQ4 n의 유한성은 복제된 집합의 단사 및 전단사 행동에 어떤 영향을 미치는가?
• RQ5 간단하고 자생적인 증명으로 오랫동안 남아있던 집합론적 기수 취소 문제를 해결할 수 있는가?

주요 결과

• 유한 n에 대해, nA에서 nB로의 단사 사상이 존재하면, A에서 B로의 단사 사상도 존재한다.
• 이 결과는 집합의 n중 복제 간 단사 사상에 대한 직접적인 구조적 추론에서 유도된다.
• 코펜하겐-버너스타인 정리는 n이 유한할 경우 nA ≡ nB이면 A ≡ B임을 보장한다.
• 증명은 최소한의 가정과 명확한 논리 흐름으로 역사적으로 복잡했던 문제를 해결한다.
• 표준 집합론적 정의에 따르면, 집합 기수에서의 유한 배수의 취소는 유효하다.
• 이 결과는 유한 집합 이론에서의 단사 및 전단사 사상에 관한 이전 연구의 정점이자 단순화이다.