셀 수 있는 무한 — 무한에도 크기가 있다
“셀 수 있는 무한은 '번호를 매길 수 있는 무한', 실수는 그것조차 안 되는 더 큰 무한이다.”
수식
|ℕ| = |ℤ| = |ℚ| = ℵ₀ < |ℝ|읽는 법: 자연수·정수·유리수는 1,2,3,…으로 번호를 매길 수 있어 같은 크기 ℵ₀의 무한이지만, 실수는 그보다 더 큰 무한이다
- ℵ₀
- — 알레프 제로 — 가장 작은 무한, '셀 수 있는' 무한의 크기
- ℕ
- — 자연수 집합 — 셀 수 있는 무한의 기준
- ℝ
- — 실수 집합 — 셀 수 없는(더 큰) 무한
이야기의 시작
무한은 다 똑같이 무한일 것 같지만, 아니다 — 셀 수 있는 무한과 셀 수 없는 무한, 크기가 다른 무한이 존재한다.
쉬운 말로
어떤 무한집합의 원소에 1,2,3,…처럼 빠짐없이 번호를 매길 수 있으면 '셀 수 있는(가산) 무한'이다. 자연수, 정수, 유리수가 모두 여기 속한다. 그런데 실수는 그렇게 번호 매기는 것이 원리적으로 불가능하다 — 더 큰 무한이다.
직관
두 무한이 '같은 크기'라는 건 서로 빠짐없이 짝지을 수 있다는 뜻이다(일대일 대응). 힐베르트 호텔을 떠올리자 — 방이 무한히 많고 전부 찼는데도 새 손님이 오면, 모든 손님을 옆방(n→n+1)으로 옮겨 1번 방을 비운다. '꽉 찬 무한'에 자리가 더 있는 것! 이런 짝짓기가 되면 같은 무한이다.
어떻게 만들어지나
짝수만 모아도 자연수와 같은 크기다: n↔2n으로 완벽히 짝지어지니까(부분인데 전체와 같음 — 무한의 역설). 정수도 0,1,−1,2,−2,…로 줄 세우면 번호가 매겨진다. 유리수마저 표를 대각선으로 훑으면 다 셀 수 있다. 반면 실수는 칸토어의 '대각선 논법'이 셀 수 없음을 증명한다.
예시
실수를 다 나열했다 치자 — 0.a₁a₂a₃…, 0.b₁b₂b₃…, … 이제 대각선 자리(1번째 수의 1자리, 2번째 수의 2자리, …)를 각각 다른 숫자로 바꾼 새 수를 만들면, 이 수는 목록의 모든 수와 최소 한 자리가 다르다. 즉 목록에 없다 — 어떤 나열도 실수를 다 담지 못한다. 그래서 |ℝ| > ℵ₀.
흔한 오해
'무한 + 1 = 무한이니 모든 무한은 같다'는 착각이 흔하다. 덧셈으로는 안 커지지만, 실수처럼 '차원이 다른' 무한은 자연수와 결코 일대일로 짝지어지지 않는다. 무한에도 엄연한 위계가 있다.
어디에 쓰나
어떤 문제가 알고리즘으로 풀 수 있는가(계산 가능성), 대부분의 실수는 '이름 붙일 수 없다'는 사실, 확률에서 '거의 모든' 수가 무리수라는 것, 논리학의 무한 위계 — 현대 수학·컴퓨터과학의 밑돌이다.
어디서 왔나
1874년 게오르크 칸토어가 '무한에도 크기가 있다'를 증명하며 집합론을 창시했다. 당대엔 이단 취급받았지만, 힐베르트는 '칸토어가 만든 낙원에서 아무도 우리를 쫓아내지 못한다'고 옹호했다.
선행 개념
확인 문제
다음 중 '셀 수 없는(더 큰)' 무한집합은?
- 정수 전체
- 짝수 전체
- 유리수 전체
- 실수 전체✓
연습
힐베르트 호텔의 방이 무한하고 전부 찼다. 손님 1명이 새로 왔을 때, 자리를 만들려면 손님들은 어떻게 움직여야 하는가?
정답: 3
- n번 방 손님을 n+1번 방으로 모두 한 칸씩 이동
- 그러면 1번 방이 비어 새 손님이 들어감
- 꽉 찬 무한에도 자리를 만들 수 있다
핵심: 셀 수 있는 무한은 '한 칸씩 밀기'로 새 자리를 만든다 — 무한의 역설.
자연수와 짝수의 일대일 대응 n ↔ 2n 에서, n=7 의 짝은 무엇인가?
정답: 14
- 대응 규칙은 n ↔ 2n
- 7 ↔ 2·7 = 14
핵심: 부분집합(짝수)이 전체(자연수)와 같은 크기 — 무한이라 가능.
유리수 전체는 '셀 수 있는(가산)' 무한인가?
정답: 0
- 분수를 표로 배열하고 대각선으로 지그재그 훑으면 1,2,3,…번호가 매겨진다
- 중복(약분 가능)만 건너뛰면 빠짐없이 셀 수 있다
- 따라서 유리수는 가산, 크기 ℵ₀
핵심: 유리수는 촘촘해 보여도 번호 매기기가 가능 — 자연수와 같은 크기.
칸토어의 대각선 논법으로 '실수는 셀 수 없다'를 왜 증명할 수 있는지 노트에 설명해 보라.
정답: undefined
- 실수를 전부 나열했다고 가정(목록 만들기)
- 대각선 자리 숫자들을 각각 다른 값으로 바꾼 새 실수를 구성
- 이 수는 목록의 n번째 수와 n번째 자리가 달라 모든 수와 불일치 → 목록에 없음
- 가정 모순 → 어떤 나열도 실수를 다 담지 못함(셀 수 없음)
핵심: 대각선 논법: '완전한 목록'을 가정하면 항상 빠진 수를 만들 수 있다 → |ℝ| > ℵ₀.