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

유리수의 가산성

1874
  • Georg Cantor
사무실에서 유리수의 개수를 연구하는 19세기 수학자.

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

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

Georg Cantor’s proof of the countability of rational numbers was a landmark in the development of set theory and our understanding of infinity. The proof is constructive and elegant. One common method is to arrange all positive rational numbers [latex]p/q[/latex] in a two-dimensional grid where the row index is [latex]p[/latex] and the column index is [latex]q[/latex]. Then, one can traverse this grid diagonally, starting from [latex]1/1[/latex], then [latex]2/1, 1/2[/latex], then [latex]3/1, 2/2, 1/3[/latex], and so on. This path, known as Cantor’s diagonal argument (though the term is more famous for his proof of the uncountability of the reals), systematically lists every positive rational number.

순회하는 동안, 기약분수가 아닌 분수(예: [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

잠재적 혁신 아이디어

현재 하루 4만 건이 넘는 봇 트래픽을 차단하기 위해 이 콘텐츠는 커뮤니티 회원만 이용할 수 있습니다.
> 로그인 < 또는 >등록 < 이 콘텐츠를 비롯한 모든 제한된 콘텐츠와 도구는 (100% 무료로) 이용할 수 있습니다.

관련 개념: 가산성, 집합론, 게오르크 칸토르, 무한 집합, 기수, 전단사 함수, 자연수, 조밀 집합, 대각선 인자, 알레프-널.

역사적 맥락

유리수의 가산성

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

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

관련 발명, 혁신 및 기술 원칙

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

> 로그인 <