Product Design, Manufacturing & Innovation Resources
집 » 유리수의 가산성

유리수의 가산성

1874
  • Georg Cantor
19th-century mathematician studying countability of rational numbers in an office.

(설명을 위한 생성된 이미지입니다)

두 유리수 사이에 항상 다른 유리수가 존재한다는 밀집 집합임에도 불구하고, 모든 유리수의 집합 [latex]mathbb{Q}[/latex]는 셀 수 없이 많은 무한 집합이다. 이는 모든 유리수를 자연수 [latex]mathbb{N} = {1, 2, 3, }[/latex]와 일대일로 대응시킬 수 있음을 의미한다. 이 놀라운 결과는 [latex]mathbb{Q}[/latex]가 [latex]mathbb{N}[/latex] 및 [latex]mathbb{Z}[/latex]와 동일한 기수(cardinality)를 가진다는 것을 보여준다.

게오르크 칸토르의 유리수의 가산성 증명은 집합론 발전과 무한에 대한 이해에 있어 획기적인 사건이었습니다. 이 증명은 구성적이고 우아합니다. 일반적인 방법 중 하나는 모든 양의 유리수 [latex]p[/latex]를 행의 인덱스가 [latex]p[/latex]이고 열의 인덱스가 [latex]q[/latex]인 2차원 격자에 배열하는 것입니다. 그런 다음 [latex]1/1[/latex]에서 시작하여 [latex]2/1, 1/2[/latex], [latex]3/1, 2/2, 1/3[/latex] 등으로 대각선으로 이 격자를 따라 이동할 수 있습니다. 칸토르의 대각선 논증으로 알려진 이 경로(비록 이 용어는 그의 실수 비가산성 증명에서 더 유명하지만)는 모든 양의 유리수를 체계적으로 나열합니다. 유리수.

순회하는 동안, 기약분수가 아닌 분수(예: [latex]2/2[/latex] 또는 [latex]2/4[/latex])는 건너뛰어 각 유리수가 한 번만 계산되도록 합니다. 이 과정을 통해 모든 양의 유리수의 정렬된 목록이 생성됩니다. 모든 유리수를 포함하려면 양의 유리수 목록과 음의 유리수 목록을 번갈아 가며 나열하고 맨 앞에 0을 놓으면 됩니다. [latex]0, 1, -1, 1/2, -1/2, 2, -2, �[/latex]. 이렇게 하면 자연수 집합과 유리수 집합 사이에 명시적인 전단사 함수가 구성되므로 [latex]mathbb{Q}[/latex]가 가산 집합임을 증명할 수 있습니다.

이 결과는 유리수가 밀집되어 있기 때문에 직관에 반합니다. 어떤 두 유리수 사이에도 항상 다른 유리수(예: 평균)가 존재하므로, 유리수가 명확한 간격이 있는 정수보다 '더 많다'고 생각할 수 있습니다. 칸토르의 증명은 이러한 직관이 잘못되었으며 무한 집합의 '크기'(기수)는 훨씬 더 미묘한 개념임을 보여주었습니다. 그는 나중에 실수 집합이 셀 수 없이 많다는 것을 증명하여 무한의 위계를 확립했습니다.

UNESCO Nomenclature: 1101
대수학, 정수론 및 군론

유형

추상 시스템

분열

점진적

용법

개념적/이론적

전구체

  • 일대일 대응(전단사) 개념
  • 볼차노의 무한 집합에 관한 초기 연구
  • 엄밀한 수학적 분석의 발전
  • 집합의 개념

응용 프로그램

  • 집합론의 기초
  • 컴퓨터 과학의 계산 이론 (예: 가능한 모든 컴퓨터 프로그램의 집합이 가산 집합임을 증명하는 것)
  • 측도론에서, 가산집합의 측도는 0이다.
  • 무한 집합의 다양한 크기를 구분하기 (예: 유리수와 실수)

특허:

NA

잠재적 혁신 아이디어

  • a task scheduling algorithm for distributed computing that uses a Cantor-like enumeration to assign jobs to an infinite-seeming stream of processors
  • a data serialization format that can uniquely encode any rational-based data structure into a single integer
  • a theoretical model for a universal computing machine with a countably infinite number of states
  • a network addressing protocol that can assign a unique address to a potentially infinite number of devices using a rational number enumeration
  • a method for indexing elements in a dynamically growing, multi-dimensional database by mapping coordinates to a single countable index
  • a procedural content generation algorithm for 비디오 게임 that creates an infinitely large but navigable world by mapping locations to rational numbers
  • a formal language definition where valid statements correspond to rational numbers, allowing for unique enumeration of all possible programs
  • a proof-of-stake 블록체인 protocol where validator selection is based on a deterministic traversal of the set of rational numbers
  • a compression scheme for sparse matrices by mapping non-zero element coordinates to a single integer index
  • a genetic algorithm that explores a solution space by traversing a rational grid, ensuring all potential fractional parameters are eventually tested
관련 개념: 가산성, 집합론, 게오르크 칸토르, 무한 집합, 기수, 전단사 함수, 자연수, 조밀 집합, 대각선 인자, 알레프-널.

역사적 맥락

유리수의 가산성

1790
1800
1844
1874
1893
1900
1779
1799
1801
1850
1875
1897
1950

(날짜를 알 수 없거나 관련이 없는 경우, 예를 들어 "유체역학"의 경우, 주목할 만한 등장 시기를 대략적으로 추정하여 제공합니다.)

10년차 기념일

고화질 이미지 및 다운로드는 등록된 회원에게만 100% 무료로 제공됩니다.

> 로그인 <