수학의 세계에서 무한대는 종종 매혹적인 주제로 묘사됩니다. 그러나 "초한수"에 관해서 이 개념의 깊이와 폭은 많은 사람들을 혼란스럽게 하는 경우가 많습니다. 초한수는 모든 유한수보다 큰 "무한" 수입니다. 여기에는 초한 기수(무한 집합의 크기를 정량화하는 데 사용되는 수)와 초한 순서수(무한 집합을 나타내는 데 사용되는 수)가 포함됩니다. 정렬된 수). 이 글에서는 이런 개념을 심도 있게 탐구하고, 초한수의 매력을 엿볼 수 있도록 하겠습니다.
"초한"이라는 용어는 1895년 수학자 게오르그 칸토어가 처음 사용했는데, 그는 "무한"이라는 단어의 모호한 의미를 피하고자 했지만, 이러한 숫자는 본질적으로 유한하지 않습니다.
수학적 정의에 따르면, 모든 유한 자연수는 적어도 두 가지 방식으로 사용될 수 있습니다. 순서수로 사용하거나 기수로 사용할 수 있습니다. 기수는 "구슬 5개"와 같이 집합의 크기를 지정하는 데 사용되는 반면, 순서수는 "왼쪽에서 세 번째" 또는 "첫 번째"와 같이 정렬된 집합의 멤버 위치를 지정하는 데 사용됩니다. 1월". 27일째". 이러한 개념이 초한수로 확장되면, 둘 사이에 일대일 대응은 더 이상 존재하지 않습니다. 초한 기수는 무한 집합의 크기를 나타내는 반면, 초한 순서수는 순서가 있는 큰 집합에서 숫자의 위치를 나타냅니다.
초한 정수 중에서 가장 유명한 순서수와 기수는 ω(오메가)와 ℵ₀(알레프 널)로, 무한대의 시작점을 나타냅니다.
첫째, ω는 가장 낮은 초한 순서수이며, 일반적으로 자연수의 순서형을 나타내는 데 사용됩니다. ℵ₀는 첫 번째 초한 기수이며 자연수의 기수이기도 합니다. 선택 공리가 성립한다면, 다음으로 높은 기수는 ℵ₁입니다. 이것이 사실이 아니라면 ℵ₁보다 크지만 ℵ₀와 같지 않은 기수가 있을 수 있습니다. 연속체 가설은 ℵ₀와 실수 집합의 기수 사이에 중간 기수가 없다고 제안한다는 점에 주목할 가치가 있습니다. 이 가정은 체르멜로-프랑켈 집합 이론에서 그 자체로나 그 부정을 통해서도 증명될 수 없습니다.
몇 가지 구체적인 예를 살펴보겠습니다. 칸토어의 순서수 이론에서 모든 정수는 그에 상응하는 정수를 갖는다. 모든 정규 정수 다음에 나오는 최초의 무한 정수를 ω라고 한다. 더 구체적으로, ω+1은 ω보다 크고, ω·2, ω², ω^ω도 더 큰 수입니다. 이러한 맥락에서 ω를 포함하는 산술 표현식은 해당 숫자까지의 모든 정수 집합으로 볼 수 있는 순서수를 지정합니다.
문제를 더 복잡하게 만드는 것은, 일부 무한 정수는 칸토어 형태로 표현할 수 없으며, 그러한 첫 번째 정수는 ω^(ω^(ω...))로, ε₀라고 합니다. 이는 자기 재귀적인 숫자로, 각 해 ε₁, ..., εₖ 등이 순서수를 더 크게 만듭니다. 이 과정은 ε_(ε_(ε...))라는 한계에 도달할 때까지 계속될 수 있는데, 이는 ε_α=α의 첫 번째 해이며, 모든 초한 정수를 지정할 때 무한 이름을 상상해야 함을 의미합니다. 시퀀스.무한 정수를 표현하기 위해 칸토어 표준 형식은 이를 나타내는 유한한 데이터 시퀀스를 제공하지만, 모든 무한 정수를 이 표준 형식을 사용하여 표현할 수 있는 것은 아닙니다.
요약하자면, 초한수의 개념은 숫자에 대한 우리의 이해에 도전하고 무한대의 본질에 대해 생각하게 만듭니다. 단순히 수학적 도구를 사용하는 것이 아니라, 깊은 철학적 사고도 필요합니다. 우리는 무한에 직면했을 때, 우리의 사고의 경계가 어디까지 이를 수 있을지 묻지 않을 수 없습니다.