정의
집합론(集合論, 영어: Set Theory)은 수학의 기초 분야로, 집합, 즉 객체들의 모임을 다루는 이론이다. 집합론은 수, 함수, 관계와 같은 수학적 개념들을 형식화하고 그 기초를 다지는 데 사용되며, 현대 수학 전반의 기초를 구성하는 중요한 역할을 한다.
개요
집합론은 19세기 후반 게오르크 칸토어(Georg Cantor)에 의해 체계적으로 발전하였다. 칸토어는 무한 집합의 개념을 도입하고, 무한의 크기를 비교하는 기법(기수와 순서수)을 개발함으로써 집합론의 초석을 놓았다. 이후 수학의 역설(예: 러셀의 역설) 발견을 계기로 집합론은 공리적 체계로 재정립되었으며, 대표적으로 ZFC 공리계(Zermelo-Fraenkel 집합론에 선택공리를 추가한 체계)가 현대 수학에서 표준적으로 사용된다.
집합론은 수학의 거의 모든 분야에 응용되며, 위상수학, 해석학, 대수학, 수리논리학 등에서 기초 언어로 사용된다. 또한, 집합론 자체가 독자적인 연구 분야로서, 독립성 증명, 강제법(forcing), 큰 기수(large cardinals), 구성 가능 우주(L) 등의 고등 주제를 포함한다.
어원/유래
‘집합론’은 한국어로 ‘집합’과 ‘논’의 합성어로, ‘집합에 관한 이론’이라는 의미를 가진다. ‘집합’이라는 용어는 ‘여러 개의 사물이 뭉쳐 있는 상태’를 나타내는 일반 명사에서 수학적 용어로 추상화된 것이다. 원어인 영어 "Set Theory"는 독일어 "Mengenlehre"(멘겐레레)에서 유래되었으며, 이는 칸토어가 사용한 용어에서 비롯되었다.
특징
- 집합은 원소(element)들을 포함하는 기본적인 수학적 구조이며, 집합의 정의는 ‘명확히 정의된 객체들의 모임’이다.
- 집합론은 공리적 접근을 통해 역설을 회피하고 일관성 있는 체계를 추구한다. ZFC 공리계는 이 목적을 위한 대표적 예이다.
- 무한 집합의 존재를 가정하며, 그 크기를 비교할 수 있는 기수 이론을 포함한다.
- 집합론은 수학적 증명의 기초를 제공하지만, 특정 명제(예: 연속체 가설)는 ZFC 내에서 증명 불가능한 것으로 알려져 있다.
관련 항목
- 게오르크 칸토어
- ZFC 공리계
- 러셀의 역설
- 기수(基数)와 순서수(序數)
- 수리논리학
- 공리적 집합론
- 강제법(Forcing)
- 연속체 가설(Continuum Hypothesis)