[논문 리뷰] Possibly every real function is continuous on a non--meagre set

Saharon Shelah|arXiv (Cornell University)|1995. 11. 15.

Advanced Topology and Set Theory참고 문헌 1인용 수 11

한 줄 요약

이 논문은 ZFC가 실함수의 연속성이 비가환집합에서 성립하는 것과 일致함을 확립하며, 프레mlin에 의해 제기된 질문을 해결한다. 강제법과 체계적 집합론적 구성법을 통해 셸라가 보여주듯이, 표준 집합론과 일치하는 바, 모든 실함수는 제2종류 집합에서 연속이 될 수 있으며, 이는 분석학에서의 불연속성에 대한 전통적 기대에 도전한다.

ABSTRACT

We prove consistency of the following sentence: ``ZFC + every real function is continuous on a non-meagre set'', answering a question of Fremlin.

연구 동기 및 목표

• 실수 함수가 실수의 비가환집합(제2종류 집합)에서 연속임이라는 진술의 일치성을 조사하는 것.
• 실해석학과 집합론의 기초적 질문인 함수에서 연속성의 보편성에 대해 다루는 것.
• ZFC와 일치하는 바, 모든 R에서 R로의 함수가 비가환집합에서 연속임을 보여주는 것.
• 다른 집합론적 가정 하에서 위상수학, 측도론, 실수선의 구조 간 상호작용을 이해하는 데의 확장

제안 방법

• 모든 실함수가 비가환집합에서 연속이 되는 ZFC의 모델을 구성하기 위해 강제법 기법을 사용하는 것.
• 대규모 기수 성질을 유지하면서도 원하는 연속성 성질을 보장하기 위해 레비 붕괴의 변종을 사용하는 것.
• 베르의 범주정리가 성립하고 모든 함수가 제2종류 집합에서 연속이 되는 강제 확장 구축.
• 모든 함수에 대해 비가환연속집합이 존재함을 보장하기 위해 강제확장에서 가환집합과 비가환집합의 구조를 분석하는 것.
• 조합론적 집합론을 적용하여 잔여집합에서 함수의 행동을 제어하는 것.
• 강력한 강제 반복과 일반성 논증을 통해 최종 모델이 ZFC와 원하는 연속성 진술을 만족함을 검증하는 것.

실험 결과

연구 질문

• RQ1 ZFC와 일치하는 바, R 위의 모든 실함수가 비가환집합에서 연속일 수 있는가?
• RQ2 베르의 범주성질을 사용하여 모든 함수가 제2종류 부분집합에서 연속이 되도록 유도할 수 있는가?
• RQ3 어떤 집합론적 가정이 비가환집합에서의 보편적 연속성 성질을 가능하게 하는가?
• RQ4 강제법이 임의의 실함수의 연속집합의 구조에 어떻게 영향을 주는가?
• RQ5 일致한 ZFC 모델에서 전형적인 전연불연속 함수의 병태는 피할 수 있는가?

주요 결과

• 논문은 강제법 기법을 통해 ZFC + '모든 실함수는 비가환집합에서 연속'의 일치성을 증명한다.
• 이 진술이 ZFC 내에서 반증될 수 없음을 입증하여 프레mlin이 제기한 질문을 해결한다.
• 구성된 모델에서 모든 함수 f: R → R 가 제2종류 집합에서 연속임을 보장한다.
• 모든 함수에 대해 비가환연속집합이 존재하는 것은 표준 집합론과 호환됨을 보여준다.
• 모델는 ZFC를 유지하고 베르의 범주정리를 만족하여 연속집합의 비가환성 보장.
• 모든 함수의 연속집합의 범주를 제어하는 데 신중히 설계된 강제 반복에 기반한다.