[논문 리뷰] On what I do not understand (and have something to say): Part I

Saharon Shelah|ArXiv.org|1999. 06. 16.

Advanced Topology and Set Theory참고 문헌 124인용 수 55

한 줄 요약

이 논문은 집합론의 깊이 있는 문제들에 대한 개인적이고 비표준적인 탐구를 제시하며, 특히 군집산술, pcf 이론, 반복 강제법을 중심으로 다룬다. 샬라는 pp(ℵω) < ℵω₁의 일致성 문제를 다루며, 이와 연속체 문제와의 연관성을 밝히고, 특히 강제법 기법의 한계를 분석한다. 특히 연속체가 크지만 특정 구조적 성질을 유지하는 모델을 구성하는 데 초점을 맞춘다.

ABSTRACT

This is a non-standard paper, containing some problems in set theory I have in various degrees been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems are presented with a discussion of how I have tried to solve them, and sometimes with failed tries, anecdote and opinion. So the discussion is quite personal, in other words, egocentric and somewhat accidental. As we discuss many problems, history and side references are erratic, usually kept at a minimum (``see ... '' means: see the references there and possibly the paper itself). The base were lectures in Rutgers Fall'97 and reflect my knowledge then. The other half, concentrating on model theory, will subsequently appear.

연구 동기 및 목표

• pcf 이론과 군집산술의 핵심 문제인 부등식 pp(ℵω) < ℵω₁의 일치성을 조사하는 것.
• 연속체가 크지만 바람직한 집합론적 성질을 유지하는 모델을 구성하는 데 있어 반복 강제법의 한계와 잠재력을 탐색하는 것.
• 정의 가능한 강제 체계와 그들이 부울 대수학 및 조합적 구조와 어떻게 상호작용하는지 분석하는 것.
• pcf 이론, 커버링 수, 그리고 위상공간에서의 열린 집합의 수와 같은 위상적 성질 간의 관계를 분석하는 것.
• 강제법과 큰 기수의 맥락에서 cofinality ℵ₁에서 cofinality ℵ₀로의 결과 일반화의 경계를 평가하는 것.

제안 방법

• 강제법 이론을 활용하여 초월수의 모듈로 초월수에 대한 군집산술의 성질을 분석하고, pp(μ)를 적절한 이상에 대해 tcf(∏a/I)의 상한으로 정의한다.
• 특히 cofinality ω인 특수한 기수 κ에 대해 2κ ≥ λ가 되도록 하는 모델을 얻기 위해 반복 강제법 구조를 적용한다.
• 부울 대수학과 그 c.c.c. 성질을 활용하여 위상공간에서의 열린 집합의 수에 대한 결과를 도출한다.
• 강제법 하에서의 구조 성장 분석을 위해 조합적 분할 관계(예: 헤일스-지워트 및 반 데르 와르던 유형 정리)를 도입한다.
• 강제법의 '좋은 정의' 및 nep(nearly eventually proper) 강제법 개념을 사용하여 반복 과정에서 성질의 유지 여부를 통제한다.
• 특히 초월수의 유계 부분집합을 추가하지 않는 강제법의 행동을 분석하며, 이는 초월수 기수와 마하로 기수의 맥락에서 다뤄진다.

실험 결과

연구 질문

• RQ1 ZFC와 일치하는가? pp(ℵω) < ℵω₁이며, 이는 연속체의 구조에 대해 어떤 함의를 갖는가?
• RQ2 반복 강제법을 사용하여 cofinality ω인 특수한 기수 κ에 대해 2κ ≥ λ를 만족하는 모델을 구성할 수 있는가? 이때 κ에 유계 부분집합을 추가하지 않는가?
• RQ3 강제법과 pcf 이론의 맥락에서 cofinality ℵ₁에서 cofinality ℵ₀로의 결과 일반화의 한계는 무엇인가?
• RQ4 정의 가능한 강제 체계가 부울 대수학 및 위상공간에서 체인 조건과 기수 불변량의 유지 여부에 대해 어떻게 상호작용하는가?
• RQ5 Bⁿₖ와 같은 구조의 라미지-이론적 성질이 강제 확장에서의 조합적 구성의 성장에 얼마나 제한적으로 작용하는가?

주요 결과

• ℵω가 강한 극한 기수라는 가정 하에, 고전적인 군집산술 항등식에 의해 pp(ℵω) < ℵω₁ 문제는 2ℵω < ℵω₁와 동치임을 보였다.
• 기하학적 기하학적 기법을 통해 고안된 강제법 구조(기하학적 기하학적 기법을 통해 고안된 강제법 구조)는 cofinality ω인 특수한 기수 κ에 대해 2κ ≥ λ를 달성하며, κ 이하에서 GCH를 유지하고 κ에 유계 부분집합을 추가하지 않는다. 이는 기하학적 기하학적 기법을 통해 고안된 강제법 구조로 확인되었다.
• 이 구조는 고차수의 초월수 기수를 사용하며, pp(κ) ≥ λ를 유도함으로써 cofinality ℵ₁에서 성립하는 어떤 정리도 cofinality ℵ₀로 일반화되지 않음을 보여준다.
• 구조 Bⁿₖ의 원소 수는 급격히 증가하며, 이 수가 n에 대해 고정된 반복 지수함수 형태로 증가하는지 여부는 여전히 미해결 문제이다.
• cofinality ℵ₀인 강한 극한 기수 μ에 대해 |B| ≤ 2μ인 c.c.c. 부울 대수 B가 존재하면 B는 μ-연결되어 있음을 보여주는 결과는 pcf-이론적 커버링 원리에서 유도되었다.
• 위상공간 X가 λ개의 점과 λ를 초월하는 열린 집합을 가지며, μ가 cofinality ℵ₀인 강한 극한 기수이면, X는 적어도 2μ개의 열린 집합을 가져야 하며, 이는 위상공간 이론과 pcf 이론을 연결한다.