선택 공리편집자 확인

선택 공리는 집합론의 공리 중 하나이다. 이 공리는 임의의 집합족이 주어졌을 때, 각 집합에서 하나의 원소를 선택하여 새로운 집합을 구성할 수 있다는 것을 주장한다. 공식적으로는, 공집합이 아닌 집합들로 이루어진 임의의 집합족에 대해, 각 구성원 집합에서 정확히 하나의 원소를 대표로 하는 선택 함수의 존재를 보장한다.

이 공리는 1904년 에른스트 체르멜로에 의해 명시적으로 제시되었다. 무한 집합에 대한 많은 중요한 정리들을 증명하는 데 필수적인 도구로 사용되며, 기초 수학과 수학 기초론의 여러 분야에서 근본적인 역할을 한다. 예를 들어, 모든 벡터 공간이 기저를 가진다는 정리나, 두 집합의 크기를 비교할 수 있다는 정리의 증명에 선택 공리가 필요하다.

선택 공리는 직관적으로 명백해 보이지만, 그 함의는 매우 강력하여 논쟁의 대상이 되어왔다. 이 공리를 받아들이지 않는 수학자들도 있으며, 이로 인해 선택 공리를 사용하지 않는 구성적 수학이 발전하기도 했다. 그럼에도 불구하고 현대 수학의 대부분의 분야에서는 선택 공리를 당연한 공리로 받아들여 광범위하게 활용하고 있다.

선택 공리는 집합론의 공리 중 하나로, 공리적 집합론의 표준 체계인 체르멜로-프렝켈 집합론에서 독립적인 공리로 취급된다. 이 공리는 무한한 선택을 허용한다는 점에서 논쟁의 대상이 되어 왔다.

공리의 공식적인 진술은 다음과 같다. 임의의 집합족이 주어졌을 때, 그 구성원인 모든 집합이 공집합이 아니라고 가정하면, 각 집합에서 정확히 하나의 원소를 선택하는 함수가 존재한다. 이렇게 선택된 원소들로 구성된 새로운 집합을 만들 수 있다는 주장이다. 즉, 비어 있지 않은 집합들로 이루어진 어떤 모임이든, 각 집합에서 대표 원소를 뽑아낼 수 있다는 직관적인 개념을 형식화한 것이다.

이 공리는 유한한 개수의 집합에 대해서는 다른 집합론 공리들로부터 증명 가능하지만, 무한한 개수의 집합에 대해서는 그렇지 않다. 따라서 선택 공리의 핵심은 무한 선택을 정당화하는 데 있다. 이 공리는 해석학, 위상수학, 대수학 등 현대 수학의 여러 분야에서 필수적인 도구로 사용되며, 하우스도르프 극대 원리나 초른의 보조정리와 같은 많은 중요한 정리들이 이 공리와 동치임이 알려져 있다.

선택 공리는 1904년 에른스트 체르멜로가 정렬 정리를 증명하는 과정에서 처음으로 명시적으로 제시하였다. 체르멜로는 이 공리가 무한 집합에 대한 논증, 특히 모든 집합이 정렬될 수 있다는 정리를 증명하기 위해 필수적임을 보였다. 그의 제안은 당시 수학계에 큰 논쟁을 불러일으켰다.

초기에는 많은 수학자들이 선택 공리를 논리적으로 당연한 명제로 받아들이지 않았으며, 그 사용을 회피하려는 움직임이 있었다. 이는 공리가 무한 집합에 대해 명시적인 선택 규칙 없이도 원소를 '선택'할 수 있다고 주장하는 비구성적 성격을 지녔기 때문이다. 그러나 시간이 지나면서 선택 공리가 집합론뿐만 아니라 해석학, 위상수학, 대수학 등 수학의 여러 분야에서 필수적인 도구임이 널리 인정받게 되었다.

20세기 초중반에 걸쳐 쿠르트 괴델과 폴 코언의 중요한 연구 결과가 나왔다. 괴델은 1938년에 선택 공리가 일반적으로 받아들여지는 체르멜로-프렝켈 집합론의 다른 공리들과 모순되지 않음을 증명하였다. 이후 코언은 1963년에 강제법을 개발하여 선택 공리가 체르멜로-프렝켈 집합론의 공리들로부터 독립적임, 즉 증명도 반증도 될 수 없음을 보였다. 이로써 선택 공리는 수학적 진리가 아니라 사용 여부를 선택할 수 있는 하나의 공리로 자리 잡게 되었다.

선택 공리는 현대 수학의 여러 핵심 분야에서 필수적인 역할을 한다. 이 공리가 없으면 무한한 선택 과정을 포함하는 많은 중요한 정리들을 증명할 수 없다. 특히 무한 집합에 대한 연구에서 선택 공리는 강력한 도구가 된다. 예를 들어, 모든 벡터 공간이 기저를 가진다는 정리나, 모든 환에 극대 아이디얼이 존재한다는 정리, 그리고 체론에서의 대수적 폐포 존재성 등은 선택 공리를 필요로 한다.

해석학과 위상수학에서도 선택 공리의 중요성은 두드러진다. 티호노프 정리는 임의의 콤팩트 공간들의 곱공간이 콤팩트하다는 내용으로, 선택 공리와 동치인 명제로 알려져 있다. 또한 하이네-보렐 정리의 일반화나, 모든 연속 함수의 균등 수렴에 관한 정리들도 선택 공리에 의존한다. 이처럼 선택 공리는 현대 수학의 기초를 이루는 여러 분야에서 불가결한 위치를 차지하고 있다.

선택 공리는 수학적 증명에서 강력한 도구로 사용되지만, 그 존재 자체와 사용에 대한 논쟁이 지속되어 왔다. 이 공리는 무한한 선택을 허용하며, 이는 유한한 경우와는 본질적으로 다른 성질을 지닌다. 특히 비구성적 성격으로 인해, 선택된 원소가 명시적으로 제시되지 않는다는 점이 논란의 주요 원인이다. 일부 수학자들은 이와 같은 비구성적 방법이 수학의 엄밀성과 직관에 반한다고 주장한다.

선택 공리를 반대하는 입장은 주로 구성주의 수학과 직관주의 수학에서 나타난다. 이들은 수학적 존재는 반드시 구성 가능해야 한다고 보며, 선택 공리를 통해 존재가 증명되는 대상이 실제로 어떻게 구성되는지 알 수 없다는 점을 문제로 삼는다. 예를 들어, 르베그 측정이 불가능한 집합의 존재는 선택 공리를 사용해 증명되는 대표적인 예시로, 이는 우리의 기하학적 직관과 배치되는 결과를 낳는다.

반면, 대다수의 현대 수학자들은 선택 공리를 받아들이며, 이는 표준적인 수학 기초론 체계인 체르멜로-프렝켈 집합론의 공리로 포함된다. 이 공리가 없으면 현대 수학의 중요한 정리들, 예를 들어 모든 벡터 공간이 기저를 가진다는 정리나 하우스도르프의 극대 원리 등이 성립하지 않게 된다. 따라서 실용적 관점에서 선택 공리는 수학의 광범위한 영역을 통일적으로 다루는 데 필수불가결한 도구로 인정받고 있다.

논쟁의 또 다른 축은 선택 공리와 독립적인 명제들의 존재이다. 연속체 가설과 마찬가지로, 선택 공리 자체가 현재 받아들여진 집합론의 공리들로부터 증명되거나 반증될 수 없다는 것이 쿠르트 괴델과 폴 코언에 의해 밝혀졌다. 이는 수학자가 선택 공리의 진위를 공리적으로 '선택'할 수 있음을 의미하며, 이에 따라 서로 다른 수학적 체계가 공존할 수 있는 가능성을 열어놓았다.

• 위키백과 - 선택 공리

• 위키백과 - 체르멜로-프렝켈 집합론

• 위키백과 - 정렬 원리

• 위키백과 - 조른의 보조정리

• 위키백과 - 하우스도르프 극대 원리

• 위키백과 - 집합론

• 위키백과 - 기수 (수학)

• 위키백과 - 초한 귀납법

• Stanford Encyclopedia of Philosophy - Axiom of Choice

• Encyclopedia of Mathematics - Axiom of choice