무한 공리(英: Axiom of Infinity)는 집합론에서 무한 집합의 존재를 보장하기 위해 채택되는 공리이다. 주로 Zermelo–Fraenkel 집합론(ZF) 체계에 포함되며, 무한 집합이 존재함을 전제로 하는 여러 수학적 구성에 필수적인 역할을 한다.
정의
ZF 집합론에서 무한 공리는 다음과 같이 공식화된다.
존재하는 집합 $I$ 가 다음 두 조건을 만족한다.
- 공집합 $ \varnothing $ 가 $I$의 원소이다.
- 임의의 원소 $x$가 $I$에 속하면, 그 원소의 후계 $x \cup {x}$ 역시 $I$에 속한다.
이때 $I$는 보통 무한 집합이라고 부르며, 위 조건에 의해 자연수들의 전통적 구현인 전수집합(Von Neumann natural numbers) $\omega = {0,1,2,\dots}$가 존재한다는 것을 보장한다.
역할 및 중요성
- 자연수 체계 구축: 무한 공리를 통해 자연수 집합 $\omega$를 정의할 수 있다. 이는 수학 전반에서 자연수와 정수, 유리수, 실수 등을 순차적으로 구축하는 기초가 된다.
- 무한 구조의 존재: 무한 공리는 유한 집합만으로는 설명할 수 없는 무한 순서, 무한 그래프, 무한 차원 공간 등 다양한 무한 구조의 존재를 정당화한다.
- 다른 공리와의 관계: 선택 공리(AC)와는 독립적인데, 즉 ZF와 무한 공리만으로는 선택 공리를 증명하거나 부정할 수 없으며, 반대로 선택 공리만으로는 무한 집합의 존재를 보장할 수 없다.
변형 및 확장
- ZFC: ZF에 선택 공리(Choice Axiom)를 추가한 체계인 ZFC에서도 무한 공리는 동일하게 채택된다.
- 대체 집합론: 일부 대체 집합론(예: NF, AD)에서는 무한 공리의 형태가 다르게 표현되거나, 무한 집합 자체가 다른 방식으로 도입될 수 있다.
관련 개념
- 공리계: 공리적 방법에 의해 수학 체계를 구축하는 접근법.
- 전수집합(ω): 무한 공리로부터 도출되는 최소 무한 순서형 집합.
- 선택 공리(Choice Axiom): 각각의 비공집합에 선택 함수를 부여하는 공리.
참고 문헌
- Jech, Thomas. Set Theory. Springer, 3rd ed., 2003.
- Kunen, Kenneth. Set Theory: An Introduction to Independence Proofs. Elsevier, 1980.
이 항목은 무한 공리라는 용어가 집합론에서 널리 사용되는 개념임을 바탕으로 작성되었습니다.