선택공리 (Axiom of Choice) 소개
Source
Evernote/Article Scraps/오늘의유머 - 수학의 부스러기 2. 선택공리.md
Summary
수학은 ‘왜?‘라는 물음의 종착점을 공리(Axiom)로 정한다. 이 문서에서는 공리 중 하나인 ‘선택공리(Axiom of Choice)‘를 소개한다. 선택공리는 비어 있지 않은 집합들의 모임에서 각 집합마다 원소 하나씩을 뽑아 새로운 집합을 구성할 수 있다는 명제이다. 유한하거나 규칙이 명확한 무한집합(예: 자연수)의 경우 선택함수를 명시적으로 정의할 수 있으나, 선택공리는 이러한 명시적 규칙이 없는 일반적인 경우에도 선택이 가능함을 보장하는 기초적 약속이다.
Key Points
- 수학의 기초는 더 이상 질문하지 않고 인정하는 ‘공리’ 위에 세워진다.
- 선택공리: 비어 있지 않은 집합들의 모임에서 각 집합으로부터 원소 하나씩을 선택하여 새로운 집합을 만들 수 있다.
- 유한 집합이나 구조가 명확한 무한 집합(예: 자연수의 부분집합)에서는 선택 기준(함수)을 명시적으로 정의할 수 있다.
- 선택공리는 명시적 선택 규칙이 존재하지 않더라도 선택 자체의 가능성을 보장하는 논리적 기초다.