선택 공리는 무한한 집합 묶음에서 원소를 하나씩 뽑아 새로운 집합을 구성할 수 있다는 가정입니다. 이는 벡터 공간의 기저 존재 증명 등 현대 수학의 필수적인 도구로 쓰이지만, 하나의 구를 분해해 똑같은 크기의 구 두개를 만드는 바나흐-타르스키 역설처럼 기괴한 결과를 초래하기도 합니다. 현대 수학의 논리적 풍요로움을 위해 반드시 필요한 '필요악' 같은 존재입니다.
선택공리는 여러 개의 공집합이 아닌 집합들이 있을 때, 각 집합에서 원소를 하나씩 골라 새로운 집합을 만들 수 있다는 수학적 명제입니다. 구체적인 규칙이나 방법이 없더라도, 수학적으로 그러한 선택이 가능하다고 가정하는 것이 이 공리의 핵심입니다. 예를 들어, 세상의 모든 신발장에 있는 신발 중에서 왼쪽 신발만 하나씩 꺼내어 모으는 것이 수학적으로 허용된다는 뜻입니다. 이 공리는 수학의 현대적 기초를 다지는 집합론에서 매우 중요한 위치를 차지합니다. 해석학이나 위상수학 등 다양한 분야에서 존재하지 않을 것 같은 대상을 증명할 때 필수적으로 사용됩니다. 백터 공간의 기저가 존재함을 증명하거나, 무한집합의 크기를 비교하는 등 추상적인 문제를 해결할 때 쓰입니다.
