정의
무한 집합(infinite set)은 그 원소의 개수가 유한하지 않은 집합을 말한다. 즉, 집합의 원소를 모두 셀 수 없으며, 어떤 자연수 $n$에 대해서도 집합의 원소 개수가 $n$보다 크다. 수학에서는 보통 무한대(∞)와 대비되는 개념으로 다루어지며, 원소의 수를 나타내는 기수(cardinality) 개념을 통해 보다 정확히 정의된다.
기수와 동등성
두 집합 $A, B$가 서로 일대일 대응(bijective correspondence)이 존재하면, 이들은 같은 기수를 가진다. 무한 집합들의 경우, 가장 작은 무한 기수는 가산 무한(countably infinite)이며, 이는 자연수 집합 $\mathbb{N}$과 일대일 대응이 가능한 집합을 의미한다. 가산 무한 외에도 비가산 무한(uncountably infinite) 집합이 존재하며, 예를 들어 실수 집합 $\mathbb{R}$은 $\mathbb{N}$과 일대일 대응이 불가능한 비가산 무한 집합이다.
대표적인 예
- 자연수 집합 $\mathbb{N}$ : ${1,2,3,\dots}$은 가장 기본적인 가산 무한 집합이다.
- 정수 집합 $\mathbb{Z}$ : ${\dots,-2,-1,0,1,2,\dots}$ 역시 가산 무한이다.
- 유리수 집합 $\mathbb{Q}$ : 모든 정수와 분모가 0이 아닌 정수의 비로 표현되는 수들의 집합은 가산 무한이다.
- 실수 집합 $\mathbb{R}$ : 구간 $[0,1]$ 자체가 비가산 무한이며, 전체 실수 집합도 같은 기수를 가진다.
주요 성질
| 성질 | 설명 |
|---|---|
| 부분집합 | 가산 무한 집합의 진부분집합은 가산이거나 유한일 수 있다. |
| 카르테시안 곱 | 두 가산 무한 집합의 카르테시안 곱은 여전히 가산 무한이다. |
| 멱집합 | 임의의 집합 $X$에 대해, 멱집합 $\mathcal{P}(X)$는 $X$보다 엄격히 큰 기수를 가진다(칸토어의 정리). |
| 초한계(연속체 가설) | $\mathbb{R}$의 기수와 $\mathbb{N}$의 다음 기수 $\aleph_1$ 사이에 다른 기수가 존재하지 않는다는 가설이다(증명되지 않음). |
역사적 배경
무한 집합 개념은 19세기 말 조지 칸토어(Georg Cantor)에 의해 체계화되었다. 칸토어는 무한 집합 사이의 비교와 크기 개념을 정의하고, 서로 다른 무한 기수들을 도입함으로써 현대 집합론의 기초를 마련하였다.
관련 개념
- 가산 집합 (Countable set): 무한이면서도 자연수와 일대일 대응이 가능한 집합.
- 비가산 집합 (Uncountable set): 자연수와 일대일 대응이 불가능한 무한 집합.
- 멱집합 (Power set): 한 집합의 모든 부분집합으로 이루어진 집합, 원래 집합보다 더 큰 기수를 가짐.
- 초한계 (Continuum hypothesis): 실수 집합의 기수와 자연수 집합의 다음 기수 사이에 다른 기수가 존재하지 않는다는 명제.
수학적 활용
무한 집합은 분석학, 위상수학, 대수학, 논리학 등 다양한 분야에서 기본적인 역할을 한다. 예를 들어, 실수 직선 위의 구간은 비가산 무한이며, 이를 기반으로 실수 연속성, 미분·적분 이론이 전개된다. 또한, 무한 집합의 구조를 이해하는 것은 모델 이론 및 집합론 공리계(ZFC) 연구에 필수적이다.
