A Note on a Theorem of Apter

이 논문은 $\mathrm{ZF} + \mathrm{AD}_{\mathbb{R}} + \Theta$가 측정가능하다는 가정의 일관성이, $\Theta$가 최소의 강한 정규 기수이자 최소의 측정가능 기수이며 $\Theta$ 미만의 모든 비가산 기수가 가산 공역성을 가진다는 $\mathrm{ZF}$ 체계의 일관성을 함의함을 보여줍니다.

핵심

이 논문은 수학의 가장 추상적이고 어려운 분야 중 하나인 **'집합론 (Set Theory)'**과 **'대형 수 (Large Cardinals)'**에 관한 연구입니다. 전문 용어들이 많이 나오지만, 핵심 아이디어를 일상적인 비유로 풀어내면 다음과 같이 설명할 수 있습니다.

🌌 핵심 주제: "수학의 법칙을 바꾼 새로운 도시 건설"

이 논문의 저자들은 수학의 기본 규칙인 **'선택의 공리 (Axiom of Choice, AC)'**를 없앤 상태에서, 우주가 어떻게 변할 수 있는지 탐구합니다.

• 선택의 공리 (AC): 우리가 가진 물건들 중에서 하나를 골라낼 수 있는 '보편적인 규칙'입니다. 이 규칙이 있으면 수학 세계는 매우 질서 정연하고 예측 가능합니다.
• 결정론 (AD): 이 논문의 주인공인 '결정론 (Axiom of Determinacy)'은 AC 를 없애고 대신 '게임의 규칙'을 강조합니다. 두 사람이 숫자를 가지고 게임을 할 때, 항상 한쪽이 이기는 전략이 있다는 뜻입니다. 이 규칙이 적용되면 기존 수학의 질서가 무너지고 완전히 새로운 풍경이 펼쳐집니다.

🏗️ 연구의 목표: "가장 작은 거인 찾기"

수학자들은 '측정 가능한 수 (Measurable Cardinal)'라는 거대한 숫자들을 찾아냅니다. 보통 이 숫자들은 엄청나게 크고, 그 아래에는 더 작은 숫자들이 무수히 많습니다.

• 기존의 문제: AC 가 있는 세계에서는 '가장 작은 측정 가능한 수'가 어디에 있는지 명확하지 않거나, 너무 큰 수여야만 존재한다고 생각했습니다.
• 저자들의 도전: AC 가 없는 세계 (결정론이 있는 세계) 에서, **'가장 작으면서도 가장 강력한 수 (Θ)'**를 찾아내려는 것입니다. 이 수 Θ 는 실수 (Real numbers) 를 넘어서는 첫 번째 경계선 같은 존재입니다.

🛠️ 방법론: "Prikry 포싱 (Prikry Forcing) 이라는 '레고 블록'"

저자들은 Apter 라는 수학자가 개발한 **'Prikry 포싱'**이라는 기술을 사용합니다. 이를 비유하자면 다음과 같습니다.

• 비유: imagine you have a giant tower made of blocks (numbers).
  • Prikry 포싱: 이 타워의 특정 블록들을 '부수고' 다시 '재구성'하는 도구입니다.
  • 작동 원리: 이 도구를 사용하면, 거대한 수 (κ) 의 성질을 바꿔서 그 수 아래에 있는 모든 숫자들이 '작은 수 (가산 무한)'로 변하게 만들 수 있습니다. 하지만 그 수 자체의 '강력함 (측정 가능성)'은 유지됩니다.

저자들은 이 도구를 Θ 아래에 있는 모든 측정 가능한 수들에게 적용합니다.

1. Θ 아래에 있던 모든 거대한 수들을 '부수어' 작은 수 (cofinality ω) 로 만듭니다.
2. 그 결과, Θ 아래에는 더 이상 '강력한 수'가 남지 않게 됩니다.
3. 결국 Θ만이 유일하게 '강력한 수 (측정 가능)'이자 '규칙적인 수 (Regular)'로 남게 됩니다.

🏆 주요 발견 (Theorem 1.1)

이 논문의 결론은 매우 놀랍습니다.

"선택의 공리가 없는 세계에서, Θ(실수를 넘어서는 경계) 는 '가장 작은 측정 가능한 수'이자 '가장 작은 규칙적인 수'가 될 수 있다."

• 일상적인 비유:
  • 기존 수학 (AC 세계) 은 거대한 산맥이连绵해 있어서, 가장 높은 봉우리 (Θ) 가 언제 등장할지 알 수 없었습니다.
  • 저자들은 AC 를 없애고 새로운 규칙 (AD) 을 적용한 뒤, 산맥을 평평하게 다듬었습니다.
  • 그 결과, Θ라는 한 개의 거대한 봉우리만이 우뚝 서게 되었고, 그 아래에는 더 이상 거대한 산이 존재하지 않게 되었습니다. 즉, Θ 는 이제 '가장 작은 거인'이 된 것입니다.

🧩 왜 중요한가요?

1. 수학적 힘의 절약: 이전에는 이런 현상을 설명하려면 '우드린 (Woodin)'이라는 엄청나게 강력한 수학적 가정이 필요했습니다. 하지만 저자들은 훨씬 더 약한 가정으로도 이 결과를 증명할 수 있음을 보였습니다. 마치 거대한 엔진 없이도 비행기를 띄우는 새로운 방법을 발견한 것과 같습니다.
2. 새로운 가능성: 이 연구는 수학의 지평을 넓혀줍니다. "선택의 공리가 없어도 수학은 성립할 수 있으며, 오히려 더 흥미로운 구조가 만들어질 수 있다"는 것을 보여줍니다.

🔮 남은 질문들 (Open Questions)

논문의 끝부분에서는 아직 해결되지 않은 미스터리들을 던집니다.

• "가장 작은 거인 (Θ) 이 가진 힘의 정도는 정확히 얼마나 될까?"
• "이 거인이 가진 특별한 성질 (측정) 은 우리가 상상하는 것보다 더 다양할 수 있을까?"

📝 요약

이 논문은 **"선택의 공리라는 안전장치를 제거한 후, 수학적 세계를 재건축하여 '가장 작은 거인'을 찾아내는 성공적인 실험"**입니다. 저자들은 복잡한 수학 도구 (Prikry 포싱) 를 이용해 Θ 아래에 있던 모든 경쟁자들을 제거함으로써, Θ 가 유일무이한 '최소 측정 가능한 수'가 될 수 있음을 증명했습니다. 이는 수학의 기초를 다시 한번 생각하게 만드는 중요한 발견입니다.

기술 요약

이 논문은 선택 공리 (AC) 가 없는 ZF 체계 내에서 대규범 (large cardinal) 의 성질, 특히 '측정 가능성 (measurability)'과 '강한 정규성 (strong regularity)' 사이의 관계를 규명하는 데 중점을 둔 수리논리학 연구입니다. Rahman Mohammadpour, Otto Rajala, Sebastiano Thei 세 저자가 작성한 이 논문은 Apter 의 정리에 대한 새로운 해석과 확장, 그리고 Gitik, Hayut, Karagila 의 결과를 약화시킨 새로운 일관성 결과를 제시합니다.

다음은 논문의 문제 제기, 방법론, 주요 기여, 결과 및 의의에 대한 상세한 기술적 요약입니다.

---

1. 문제 제기 (Problem)

• 배경: 일반적으로 측정 가능 cardinal 은 초월적 임베딩 (elementary embedding) 의 임계점 (critical point) 으로 정의되며, 이는 선택 공리 (AC) 하에서 측정 가능한 ultrafilter 를 가진다는 사실과 동치입니다. 그러나 AC 가 없는 ZF 체계에서는 이러한 동치가 성립하지 않을 수 있습니다.
• 핵심 질문: AC 가 없는 환경에서 가장 작은 측정 가능 cardinal 은 얼마나 작을 수 있는가?
  • 기존 결과 (Jech 등): $\omega_1$이 측정 가능할 수 있음이 알려져 있습니다.
  • 추가 조건: 측정 가능 cardinal 이 '불가대 (inaccessible)'여야 한다는 조건을 추가하면 상황이 복잡해집니다.
• 선행 연구:
  • Apter [1]: $AD + V=L(R)$ 하에서 가장 작은 측정 가능 cardinal 이 가장 작은 정규 극한 (regular limit) cardinal 이 될 수 있음을 보였습니다.
  • Gitik, Hayut, Karagila [5]: $\kappa^{++}$-초컴팩트 (supercompact) cardinal 이 존재하면, $\kappa$가 가장 작은 강한 불가대 (strongly inaccessible) 이자 측정 가능 cardinal 인 모델을 구성할 수 있음을 보였습니다. 하지만 이 결과는 매우 강한 대규범 가정 ($\kappa^{++}$-supercompact) 을 필요로 합니다.
• 연구 목표: Gitik, Hayut, Karagila 의 정리를 약화시켜, 더 작은 대규범 가정 하에서 "가장 작은 측정 가능 cardinal = 가장 강한 불가대 (strongly inaccessible)"인 모델을 구성하는 것입니다. 여기서 '강한 불가대'는 AC 하의 기존 정의와 약간 다르며, 저자들은 이를 **'강한 정규성 (strongly regular)'**으로 정의합니다.

2. 방법론 (Methodology)

이 논문은 Prikry forcing과 대칭적 확장 (symmetric extension) 기법을 결합하여 모델을 구성합니다.

• 기본 가정: $ZF + \Theta_{meas}$를 가정합니다.
  • $\Theta_{meas}$는 $ADR$(Determinacy of reals) 과 "$\Theta$ 위에 $R$-완전 (R-complete) 인 측도가 존재함"의 합집합입니다.
  • 여기서 $\Theta$는 실수 집합 $R$에서 사상이 존재하지 않는 가장 작은 cardinal 입니다.
  • $ADR$ 하에서 $\Theta$ 미만의 모든 정규 cardinal 은 측정 가능합니다.
• 정의:
  • 강한 정규성 (Strongly Regular): $\kappa$가 셀 수 없는 (uncountable) cardinal 이고, 모든 $\alpha < \kappa$와 모든 함수 $f: P(\alpha) \to \kappa$에 대해 $f$의 치역이 $\kappa$에서 유계 (bounded) 일 때, $\kappa$를 강한 정규 cardinal 이라 합니다.
  • 측도: $R$-완전 측도는 $\Theta$-완전 측도를 함의합니다.
• 구축 과정:
  1. Prikry Forcing: $\Theta$ 미만의 각 측정 가능 cardinal $\kappa$에 대해, 해당 cardinal 의 측정 가능성을 파괴하면서 cofinality 를 $\omega$로 만드는 Prikry forcing $P_\kappa$를 정의합니다.
  2. 유한 지지 곱 (Finite Support Product): $\Theta$ 미만의 모든 측정 가능 cardinal들의 집합 $M$에 대해, $\{P_\kappa \mid \kappa \in M\}$의 유한 지지 곱 $P$를 구성합니다.
  3. 대칭적 확장 (Symmetric Extension):
     • $P$-generic filter $G$를 통해 생성된 모델 $V[G]$를 고려하되, 모든 $G$를 포함하지 않고 $M$의 유한 부분집합 $c$에 해당하는 $G_c$만을 포함하는 대칭적 모델 $N$을 정의합니다.
     • 이 모델 $N$은 $V$의 외적 모델 (outer model) 이며, $V$와 동일한 cardinal 계층을 유지합니다.
  4. 측도의 리프트 (Lifting): $V$에 존재하던 $\Theta$ 위의 $R$-완전 측도 $\mu$가 대칭적 모델 $N$으로 리프트되어 $\mu^*$가 됨을 보입니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

주요 정리 (Theorem 1.1):
$ZF + \Theta_{meas}$가 일관적 (consistent) 이라면, 다음을 만족하는 ZF 모델이 존재합니다.

1. $\Theta$는 강한 정규 (strongly regular) cardinal 입니다.
2. $\Theta$는 가장 작은 셀 수 없는 정규 (uncountable regular) cardinal 입니다.
3. $\Theta$는 가장 작은 측정 가능 (measurable) cardinal 입니다.
4. $\Theta$ 미만의 모든 셀 수 없는 cardinal 은 가산 cofinality (countable cofinality) 를 가집니다.

기술적 세부 사항:

• 모든 $\kappa < \Theta$의 cofinality 파괴: Prikry forcing 을 적용하여 $\Theta$ 미만의 모든 측정 가능 cardinal $\kappa$의 cofinality 를 $\omega$로 만듭니다. 이로 인해 $N$ 내에서는 $\Theta$ 미만의 어떤 cardinal 도 정규 (regular) 가 될 수 없게 됩니다.
• 측정 가능성의 소멸: $\Theta$ 미만의 어떤 cardinal 도 $N$에서 측정 가능하지 않게 됩니다. 왜냐하면 측정 가능 cardinal 은 cofinality 가 $\omega$가 될 수 없기 때문입니다 (Prikry forcing 으로 인해 모든 $\kappa < \Theta$는 cofinality $\omega$가 됨).
• $\Theta$의 측정 가능성 유지: $V$에 존재하던 $\Theta$ 위의 $R$-완전 측도 $\mu$가 $N$으로 리프트되어 $\Theta$가 여전히 측정 가능함을 증명합니다. 이는 $N$ 내의 모든 집합이 $V$의 유한 부분 forcing 에 의해 결정된다는 사실 (Lemma 3.4) 을 활용하여 증명됩니다.
• 강한 정규성 증명: $N$ 내의 임의의 함수 $f: P(\alpha) \to \Theta$ ($\alpha < \Theta$) 가 $\Theta$에서 유계임을 보입니다. 이는 $AD$와 $\Theta_{meas}$ 가정을 사용하여, 만약 유계가 아니면 $R$에서 $\Theta$로의 비유계 사상이 존재하게 되어 모순이 발생함을 이용합니다.

4. 의의 및 의의 (Significance)

• 대규범 가정의 약화: Gitik, Hayut, Karagila 의 정리는 $\kappa^{++}$-supercompact 와 같은 매우 강한 대규범을 필요로 했지만, 이 논문은 $ADR + \Theta$ 위의 $R$-완전 측도 존재 (Woodin limit of Woodin cardinals 보다 약함) 만으로도 동일한 구성이 가능함을 보였습니다. 이는 대규범의 일관성 강도 (consistency strength) 를 크게 낮춘 것입니다.
• AC 부재 하의 대규범 구조 규명: 선택 공리가 없는 환경에서 '가장 작은 측정 가능 cardinal'과 '가장 작은 강한 불가대 (강한 정규) cardinal'이 일치할 수 있음을 보여주었습니다.
• 새로운 개념의 정립: '강한 정규성 (strongly regular)'이라는 개념을 도입하여, AC 하의 '불가대 (inaccessible)'와 구분하면서도 AC 하에서는 동치인 성질을 명확히 했습니다. 이는 AC 가 없는 모델에서 cardinal 의 성질을 분류하는 데 중요한 기준이 됩니다.

5. 남은 질문 (Open Questions)

논문 마지막 부분에서는 다음과 같은 미해결 문제를 제시합니다:

1. 일관성 강도: "$\Theta$가 가장 작은 불가대이자 가장 작은 측정 가능 cardinal"이라는 명제의 정확한 일관성 강도는 무엇인가?
2. 측도의 집중: 가장 작은 불가대/측정 가능 cardinal 이 cofinality $\omega_1$인 점들에 집중하는 측도를 가질 수 있는가? 또는 정규 cardinal 들에 집중하는 측도를 가질 수 있는가?
3. o(Θ) 의 크기: $\Theta$가 가장 작은 불가대이자 측정 가능 cardinal 일 때, $\Theta$의 ordinal height $o(\Theta)$는 얼마나 클 수 있는가?
4. 정규 cardinal 의 위치: $\Theta$가 가장 작은 측정 가능이자 강한 정규 cardinal 이지만, $\xi$번째 셀 수 없는 정규 cardinal 일 수 있는가?

결론

이 논문은 Apter 의 분석을 기반으로 Prikry forcing 과 대칭적 확장을 정교하게 결합하여, $ZF + ADR$ 하에서 $\Theta$가 동시에 가장 작은 측정 가능 cardinal 이자 가장 강한 정규 (불가대) cardinal 인 모델을 구성했습니다. 이는 선택 공리가 없는 세계에서의 대규범 이론의 지평을 넓히는 중요한 진전이며, 기존 결과보다 훨씬 약한 가정으로 강력한 대규범 구조를 실현 가능함을 보였습니다.