표현과 동등성에 따른 가산성의 새로운 해석

초록

이 논문은 집합 X의 가산성을 정의할 때 동등관계 =ₓ가 핵심 역할을 함을 밝히고, 이를 고차 역수학(RM) 체계에 적용한다. 전통적인 가산성 원리들을 정의 1.1에 맞춰 재구성하면, 카운터 선택(QF‑AC₀¹)과 페퍼만의 투사 원리(BOOT)와 같은 강력한 원리와 동치가 된다. 특히 Cantor, Sierpiński, König의 고전 정리들을 고차 RM에서 분석해 Π₁¹‑CA₀ 수준까지 끌어올린다.

상세 분석

논문은 먼저 “가산 집합”이라는 개념을 기존의 “자연수로의 전사 존재”에서 한 단계 추상화한다. 정의 1.1에 따르면, 집합 X와 그 위에 정의된 동등관계 =ₓ가 주어질 때, X가 가산이라는 것은 X→ℕ의 함수 Y가 존재하여 Y(x)=Y(y)이면 반드시 x=ₓy가 되는 경우이다. 여기서 핵심은 “x=ₓy”가 단순히 원소가 동일함을 의미하는 것이 아니라, 해당 구조에서 허용되는 표현(representation)들의 동등성을 의미한다는 점이다. 예를 들어 실수는 빠르게 수렴하는 Cauchy 수열로 표현되며, 동일한 실수라도 무수히 많은 수열이 존재한다. 따라서 전통적인 “주입 함수”만으로는 충분히 가산성을 포착하지 못한다.

이러한 정의를 채택하면, 기존에 약한 것으로 알려진 가산성 관련 정리들이 실제로는 강력한 선택 원리와 동치임을 보일 수 있다. 논문은 고차 역수학 체계인 RCA_ω⁰, ACA_ω⁰ 등을 배경으로, 다음과 같은 주요 결과를 도출한다.

1. Cantor‑König‑Sierpiński 정리와 BOOT: Cantor의 가산 선형 순서의 특성화, Sierpiński의 가산 메트릭 공간 정리, König의 무한성 보조정리 등을 정의 1.1에 맞춰 재구성하면, 각각이 Feferman의 투사 원리(BOOT)와 동치가 된다. BOOT은 “Y:ℕ^ℕ→ℕ에 대해 ∃X⊆ℕ such that n∈X ↔ ∃f Y(f,n)=0”이라는 형태의 3차 원리로, Π₁ᵏ‑CA₀를 Π₁ᵏ⁺¹‑CA₀로 끌어올리는 부트스트랩 역할을 한다.

2. QF‑AC₀¹와의 연계: 가산 집합에 대한 기본적인 선택 원리인 QF‑AC₀¹(양자화 자유 공식에 대한 선택)와 BOOT을 동시에 가정하면, Π₁¹‑CA₀ 수준의 강력한 전건을 얻는다. 이는 기존 2차 역수학에서 가산성 원리들이 보통 ATR₀ 수준에 머물던 것과 대조적이다.

3. 표현 의존성의 메타수학적 의미: 정의 1.1이 강조하는 “동등관계에 의존하는 가산성”은 실질적으로 집합이 어떤 코딩 방식을 채택하느냐에 따라 논리적 강도가 달라진다는 메타수학적 교훈을 제공한다. 이는 Bishop식 구성주의와도 일맥상통하며, “집합은 그 동등성 판정 절차와 함께 정의된다”는 관점을 뒷받침한다.

논문은 또한 고차 RM에서 사용되는 여러 함수자(∃², ∃³, S² 등)의 보존 정리와, 이들 함수자가 BOOT 및 QF‑AC₀¹와 어떻게 상호작용하는지를 상세히 논의한다. 특히, Hunter의 보존 결과를 활용해 ACA_ω⁰+Principle 1.8이 ATR₀와 보존 관계에 있음을 보여, 고차 체계와 2차 체계 사이의 교량을 마련한다.

결과적으로, “가산성”이라는 개념 자체가 선택 원리와 투사 원리라는 강력한 논리적 도구와 동치가 될 수 있음을 증명함으로써, 기존 역수학 문헌에서 가산성에 대한 이해를 크게 확장한다.