개념
대상을 모아 원소 관계와 크기를 연구하는 언어. 칸토어의 무한 집합 연구와 역설들을 거쳐 여러 공리적 집합론이 발전했으며, ZF·ZFC는 널리 쓰이는 기초 체계다.
한 호흡으로 이해하기
대상을 원소의 모임으로 기술하고, 포함·합집합·함수 같은 관계를 엄밀히 다룬다. 칸토어의 집합·무한 연구는 “무한에도 서로 다른 크기가 있다”는 결과를 낳았고 큰 논쟁을 불렀다. 역설 뒤에 ZF/ZFC 같은 공리계가 발전해 많은 현대 수학의 공통 형식 언어가 됐지만, 범주론·유형이론 같은 다른 기초 관점도 있다. 칸토어의 병을 반대자들의 박해 하나로 설명하지 않는다.
한눈에 보기
연산 | 정의 | A={1,2,3}, B={2,3,4}일 때 |
|---|---|---|
A ∪ B | A 또는 B에 속함 | {1, 2, 3, 4} |
A ∩ B | A이고 B에 속함 | {2, 3} |
A \ B | A에 있고 B에 없음 | {1} |
A × B | 모든 순서쌍 | {(1,2),(1,3),(1,4),(2,2),...} (총 9개) |
𝒫(A) | A의 모든 부분집합 | {∅, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, A} (총 2³=8개) |
ZF/ZFC는 무제한적인 집합 만들기를 피하면서 이런 연산을 형식화한다. 무모순성은 체계 내부에서 간단히 보장되는 사실이 아니며, 수학의 기초 관점도 하나뿐이지 않다.
핵심 식
합집합·교집합·차집합·멱집합
핵심 순간
칸토어 — 무한 집합의 분류
실수의 무한이 자연수보다 더 큼을 증명. 무한에 위계가 있음을 보임.
러셀의 역설
"자기 자신을 포함하지 않는 집합들의 집합" — 순진한 집합론의 모순 발견. 위기의 순간.
체르멜로의 공리화
러셀 역설을 피하기 위해 명확한 공리계를 제안. ZF(체르멜로-프랭켈) 집합론의 시작.
괴델·코언 — 연속체 가설은 ZFC와 독립
괴델의 1940년 CH 방향과 코언의 1963년 ¬CH 방향 결과를 합쳐 ZFC가 어느 쪽도 결정하지 못함을 밝혔다.
오늘날의 응용
수학의 많은 대상을 형식화하고, 가산성·기수·순서를 연구하는 데 쓰인다. 데이터베이스 집합 연산이나 형식 언어와도 연결되지만 타입 이론처럼 다른 기초 관점도 존재한다.
MathVoyage 너머로
불러오는 중…