선택 공리 (Axiom of Choice, AC)는 집합론의 기본 공리 중 하나로, 임의의 비공허한 집합들의 모임에 대해 각 집합에서 하나씩 원소를 선택하는 선택 함수를 존재한다는 것을 선언한다.
정의
임의의 집합 $ \mathcal{A} $가 각 원소가 비공허한 집합인 경우,
$$
\exists f : \mathcal{A} \to \bigcup \mathcal{A}\quad\text{such that}\quad \forall A \in \mathcal{A}; (f(A) \in A)
$$
인 함수 $ f $가 존재한다는 명제를 선택 공리라고 한다. 여기서 $ f $를 선택 함수라 한다.
형식화된 표현
- Zermelo–Fraenkel 집합론(ZF)에서 선택 공리는 추가 공리이며, ZF와 결합된 체계를 ZFC(Zermelo‑Fraenkel with Choice)라 부른다.
주요 등가 명제
선택 공리는 다음과 같은 여러 수학적 명제와 등가임이 증명된다.
- Zorn의 보조정리: 모든 사전순으로 정렬된 집합이 상한을 갖는 경우, 그 집합에는 극대 원소가 존재한다.
- 전순서 정리(Well‑ordering theorem): 모든 집합은 전순서(전순서관계)로 정렬될 수 있다.
- 바울리-베른스테인 정리(Borel–Cantelli theorem) 등 확률론·위상수학·대수학에서 등장하는 여러 정리들.
역사·배경
- 에른스트 체르멜로(Ernst Zermelo, 1904)가 최초로 선택 공리를 명시하였다. 그는 바젤 집합론(Hilbert’s paradox of the Grand Hotel)에서 발생하는 선택 문제를 해결하기 위해 도입하였다.
- 이후 아브라함 프렐(Abraham Fraenkel)과 존 스코우트(John Scott) 등이 ZF 체계에 통합하면서 ZFC가 표준적인 기초 체계가 되었다.
수학적·철학적 논쟁
선택 공리는 직관적으로 “어떤 무한 집합에서도 원소를 무작위로 선택할 수 있다”는 점에서 논란이 있다. 특히 Banach–Tarski 역설(한 구가 두 개의 동일한 구로 분해·재배열될 수 있음) 등 비직관적 결과를 초래한다. 이 때문에 선택 공리를 비공리적(non‑constructive)이라 평가하는 입장도 존재한다.
주요 응용
- 위상수학: Tychonoff 정리(모든 곱공간이 콤팩트) 등에 필수.
- 대수학: 모든 벡터 공간이 기저를 갖는다는 사실(벡터 공간 기저 존재)은 선택 공리와 동등.
- 수론·함수해석: Hahn–Banach 정리, 각종 확장 정리 등에 활용.
- 확률론: 확률 공간의 구축 및 카라테오디 증명 등에서 사용한다.
선택 공리와 ZF 체계의 관계
- ZF만으로는 선택 공리를 증명할 수 없으며, 선택 공리를 가정하지 않은 ZF 체계에서도 일관성이 유지된다(Gödel·Cohen의 독립성 결과).
- 코헨의 강제법(Cohen forcing)을 통해 선택 공리가 ZF와 독립임이 증명되었으며, 선택 공리를 부정하는 ZF¬C(선택 공리 부정) 모델도 존재한다.
관련 개념
| 개념 | 설명 |
|---|---|
| 선택 함수 | 각 집합에서 하나의 원소를 선택하는 함수 |
| ZFC | Zermelo‑Fraenkel 집합론에 선택 공리를 추가한 체계 |
| Zorn의 보조정리 | 선택 공리와 동등한 전형적인 응용 정리 |
| 전순서 정리 | 모든 집합이 전순서화될 수 있음 |
| 무한 선택 | 무한 개의 비공허 집합에 대해 동시에 선택함을 의미 |
요약
선택 공리는 현대 수학의 거의 모든 분야에서 기본적인 도구로 활용되는, 비공헌적인(constructively non‑explicit) 공리이며, ZFC라는 표준 집합론 체계의 핵심 구성 요소이다. 그 존재와 부정이 각각 다른 수학적 세계를 만들어 내는 점에서, 선택 공리는 수학적·철학적 의미 모두에서 중요한 위치를 차지한다.