제르멜로 정리를 위한 새로운 간결 증명

초록

본 논문은 모든 집합에 대해 잘 정렬을 부여할 수 있다는 제르멜로 정리의 기존 증명들이 복잡한 데 반해, 선택 공리를 이용한 보다 직관적이고 간결한 증명을 제시한다. 증명 과정은 선택 함수의 존재를 가정하고, 전이 함수를 정의한 뒤 전이 귀납법을 적용해 전체 집합을 순서화하는 단계로 구성된다. 저자는 이 접근법이 기존 증명보다 논리적 단계가 적고 이해하기 쉬우며, 교육 현장에서 활용하기에 적합하다고 주장한다.

상세 분석

제르멜로 정리, 즉 “모든 집합은 잘 정렬될 수 있다”는 명제는 선택 공리와 동등한 강도를 갖는 것으로 알려져 있다. 전통적인 증명은 Zermelo가 1904년에 제시한 선택 함수와 전이 귀납법을 결합한 방식이나, 이후 Hausdorff, von Neumann, Kuratowski 등이 제시한 다양한 변형이 존재한다. 이들 증명은 보통 “선택 함수 → 전이 함수 정의 → 전이 귀납법 적용 → 전체 집합의 전이 폐쇄”라는 4단계 구조를 따르지만, 각 단계에서 복잡한 집합론적 기술이 필요하고, 특히 전이 함수를 정의할 때의 세밀한 경우 구분이 독자를 혼란스럽게 만든다.

본 논문이 제시하는 “새로운 간결 증명”은 이러한 복잡성을 최소화하는 데 초점을 맞춘다. 먼저, 저자는 선택 공리를 직접적으로 “임의의 비공집합에 대해 하나의 원소를 선택하는 함수 f” 형태로 가정하고, 이를 이용해 각 원소 x에 대해 “x보다 작은 원소들의 집합이 비어 있지 않다면 f를 적용해 최소 원소를 선택한다”는 전이 함수를 정의한다. 이 전이 함수는 전통적인 정의와 달리, 선택 함수 f만을 사용해 일관되게 구성되므로 별도의 경우 구분이 필요하지 않다.

다음 단계에서는 전이 귀납법을 적용한다. 전이 귀납법은 “어떤 성질 P가 모든 전이 이전 단계에서 성립하면, 전이 단계에서도 성립한다”는 원리를 이용하는데, 여기서는 “집합 A의 모든 원소가 이미 순서화된 부분집합에 포함된다면, A 전체도 순서화될 수 있다”는 형태로 전개된다. 저자는 이 과정에서 전이 함수가 이미 정의된 모든 원소에 대해 최소 원소를 제공함을 보이며, 이를 통해 전이 단계마다 새로운 최소 원소를 추가해 나가면 결국 전체 집합이 잘 정렬된 순서를 갖게 됨을 증명한다.

핵심적인 기술적 통찰은 전이 함수의 정의를 선택 함수 하나로 단순화함으로써, 전이 귀납법 적용 시 발생할 수 있는 복잡한 경우 분석을 회피한 점이다. 또한, 저자는 증명 과정에서 사용되는 모든 집합과 함수가 ZF 체계 내에서 정의 가능함을 명시하고, 선택 공리의 사용을 명시적으로 한 번만 요구함으로써 증명의 “간결성”을 강조한다.

그러나 몇 가지 검토가 필요하다. 첫째, 전이 함수가 실제로 모든 경우에 대해 최소 원소를 제공할 수 있는지에 대한 정밀한 검증이 부족하다. 선택 함수 f가 임의의 비공집합에 대해 하나의 원소만을 보장하므로, 전이 단계에서 “가장 작은” 원소를 선택한다는 주장에는 추가적인 논증이 요구된다. 둘째, 전이 귀납법의 적용 범위가 전체 집합에 대해 충분히 포괄적인지, 특히 무한 집합의 경우 전이 단계가 정상적인 순서형을 형성하는지에 대한 논의가 생략되었다. 이러한 점들은 기존 증명에서 다루는 복잡성을 완전히 없애지는 못했지만, 논문의 접근법이 교육적 목적이나 직관적 이해를 돕는 데는 충분히 가치가 있다.

결론적으로, 이 논문은 선택 공리와 전이 귀납법이라는 두 핵심 도구를 가능한 한 최소한의 형태로 결합해 제르멜로 정리를 증명하려는 시도를 보여준다. 증명의 구조가 단순해 보이지만, 몇몇 미세한 논리적 구멍을 메우기 위한 추가적인 보완이 필요하다. 이러한 보완이 이루어진다면, 해당 증명은 교과서 수준에서 제르멜로 정리를 소개하는 데 유용한 대안이 될 수 있다.