칸토어 집합은 수학의 여러 분야, 특히 위상수학, 측도론, 프랙탈 기하학에서 중요한 역할을 하는 집합이다. 1883년 독일의 수학자 게오르크 칸토어(Georg Cantor)가 처음으로 소개하였으며, 겉보기에는 길이가 0이 될 것 같지만 실제로는 비가산(uncountable) 무한 개의 점들을 포함하고 있는 특이한 성질을 가지고 있다. 르베그 측도가 0이면서 비가산인 집합의 대표적인 예시로 꼽힌다.
구성 방법
가장 흔하게 알려진 "고전적인 칸토어 집합"은 다음과 같은 과정을 통해 구성된다.
- 시작: 닫힌 구간 $[0, 1]$에서 시작한다. 이 구간의 길이는 1이다.
- 첫 번째 단계: 구간을 삼등분하여 가운데 1/3을 제거한다. 즉, $[1/3, 2/3]$ 구간을 제거한다. 남아있는 구간은 $[0, 1/3] \cup [2/3, 1]$이 된다. 제거된 길이의 총합은 $1/3$이다.
- 두 번째 단계: 남아있는 각 구간 (현재 두 개)을 다시 삼등분하여 각 구간의 가운데 1/3을 제거한다. 즉, $[0, 1/3]$에서는 $[1/9, 2/9]$를, $[2/3, 1]$에서는 $[7/9, 8/9]$를 제거한다. 남아있는 구간은 $[0, 1/9] \cup [2/9, 1/3] \cup [2/3, 7/9] \cup [8/9, 1]$이 된다. 이 단계에서 제거된 길이의 총합은 $2 \times (1/9) = 2/9$이다.
- 무한 반복: 이 과정을 무한히 반복한다. 즉, 각 단계에서 남아있는 모든 구간을 삼등분하여 가운데 1/3을 제거하는 작업을 영원히 계속한다.
칸토어 집합($C$)은 이 무한한 과정 후에 $[0, 1]$에서 제거되지 않고 남아있는 모든 점들의 집합이다.
주요 특징 및 성질
칸토어 집합은 다음과 같은 독특한 수학적 성질을 가진다.
- 르베그 측도 0: 각 단계에서 제거되는 구간들의 총 길이를 합하면 다음과 같은 기하급수(geometric series)가 된다: $L = \frac{1}{3} + 2 \times \frac{1}{3^2} + 4 \times \frac{1}{3^3} + \cdots = \sum_{n=1}^{\infty} \frac{2^{n-1}}{3^n} = \frac{1}{3} \sum_{n=0}^{\infty} \left(\frac{2}{3}\right)^n = \frac{1}{3} \cdot \frac{1}{1 - 2/3} = \frac{1}{3} \cdot 3 = 1$. 이는 $[0, 1]$ 구간의 전체 길이 1이 모두 제거된다는 것을 의미한다. 따라서 칸토어 집합의 르베그 측도(Lebesgue measure)는 0이다.
- 비가산성 (Uncountability): 놀랍게도 칸토어 집합은 비가산 무한 집합이다. 즉, 자연수와 일대일 대응될 수 없을 정도로 많은 점들을 포함한다. 이는 칸토어 집합의 점들이 3진법으로 표현했을 때 숫자 '1'을 포함하지 않는 0과 2로만 구성된 실수들과 동형임을 통해 증명될 수 있다.
- 조밀하지 않음 (Nowhere Dense): 칸토어 집합은 어떤 열린 구간도 포함하지 않으며, 집합의 내부가 비어 있다. 이는 어디에서도 "조밀"하지 않다는 것을 의미한다.
- 완전 집합 (Perfect Set): 칸토어 집합은 닫힌 집합이며, 모든 점이 극한점(limit point)이다.
- 전체 비연결 공간 (Totally Disconnected Space): 칸토어 집합의 어떤 두 점도 연결된 부분집합으로 포함되지 않는다. 즉, 모든 연결 성분이 단 하나의 점으로 이루어져 있다.
- 자기 유사성 (Self-similarity) 및 프랙탈 성질: 칸토어 집합의 어떤 부분을 확대해도 전체 집합과 동일한 구조가 반복적으로 나타난다. 이는 프랙탈의 대표적인 특징이다.
- 하우스도르프 차원 (Hausdorff Dimension): 칸토어 집합의 하우스도르프 차원은 $\log_3 2 \approx 0.6309$이다. 이는 정수 차원이 아닌 프랙탈 차원을 갖는 초기이자 가장 잘 알려진 예시 중 하나이다.
응용 및 중요성
칸토어 집합은 수학의 다양한 분야에서 이론적 중요성과 응용성을 가진다.
- 측도론: 르베그 측도 0이면서 비가산인 집합의 존재를 보여주는 반례 또는 예시로 활용된다.
- 위상수학: 전체 비연결, 완전 집합, 컴팩트 공간 등의 개념을 설명하는 데 사용된다. 특정 위상 공간이 칸토어 집합과 위상동형(homeomorphic)임을 보이는 경우가 많다.
- 프랙탈 기하학: 자기 유사성을 가진 프랙탈 구조의 가장 단순하고 기본적인 예시로, 프랙탈의 개념과 차원을 이해하는 데 기초가 된다.
- 동역학계: 혼돈계(chaotic systems)의 위상적 분석에서 칸토어 집합의 구조가 나타나는 경우가 있다.
- 푸리에 해석: 칸토어 집합에 대한 푸리에 급수 또는 푸리에 변환의 성질이 연구되기도 한다.
변형 및 일반화
고전적인 칸토어 집합 외에도 다양한 변형이 존재한다. 예를 들어, 가운데 1/3이 아닌 다른 비율의 구간을 제거하거나, 여러 차원으로 확장된 칸토어 집합(예: 칸토어 먼지(Cantor dust)는 2차원 또는 3차원 공간에서 칸토어 집합과 유사한 방식으로 구성된다) 등이 있다. 이들 역시 유사한 프랙탈적 성질을 가지며 다양한 연구 대상이 된다.