[논문 리뷰] Decomposing Baire class 1 functions into continuous functions

Saharon Shelah, Juris Steprāns|arXiv (Cornell University)|1994. 01. 15.

Anomaly Detection Techniques and Applications참고 문헌 3인용 수 5

한 줄 요약

이 논문은 Baire 계열 1 함수를 분해하는데 필요한 연속 함수의 최소 개수를 조사하며, 이에 해당하는 기수 불변량 dec(그러한 수의 최소값)가 d, 즉 지배 수보다 엄격히 작을 수 있음을 증명한다. CH 모델 위에서 Miller 실수를 사용한 포스팅을 통해, dec < d가 성립하는 모델을 구성함으로써, cov(Meager) ≤ dec ≤ d 사슬에서의 엄격한 부등식이 일관되다는 것을 보여준다.

ABSTRACT

Let dec be the least cardinal kappa such that every function of first Baire class can be decomposed into kappa continuous functions. Cichon, Morayne, Pawlikowski and Solecki proved that cov(Meager) &lt;= dec &lt;= d and asked whether these inequalities could, consistently, be strict. By cov(Meager) is meant the least number of closed nowhere dense sets required to cover the real line and by d is denoted the least cardinal of a dominating family in omega^omega. Steprans showed that it is consistent that cov(Meager) not= dec. In this paper we show that the second inequality can also be made strict. The model where dec is different from d is the one obtained by adding omega_2 Miller - sometimes known as super-perfect or rational-perfect - reals to a model of the Continuum Hypothesis. It is somewhat surprising that the model used to establish the consistency of the other inequality, cov(Meager) not= dec, is a slight modification of the iteration of super-perfect forcing.

연구 동기 및 목표

• Baire 계열 1 함수를 분해하는 데 필요한 연속 함수의 최소 개수를 나타내는 기수 불변량 dec와 지배 수 d 사이의 부등식 dec < d가 일관되게 성립하는지의 강도를 규명하는 것.
• cov(Meager) ≤ dec ≤ d 사슬에서의 상한이 엄격하게 성립할 수 있는지, 특히 두 번째 부등식에 초점을 맞춰 조사하는 것.
• 연속함수의 수가 d보다 엄격히 작은 모델을 구축하기 위해 연속체 가설의 모델 위에서 Miller 실수를 사용한 포스팅을 이용하는 것.
• 연속체의 조합적 기수 불변량과 Baire 계열 1 함수의 분해 간의 관계를 명확히 하는 것.

제안 방법

• 연속체 가설의 모델에 ω₂개의 Miller 실수를 추가하여 포스팅 확장을 구성하는 것.
• Miller 포스팅의 성질을 이용해 일부 기수 불변량은 유지하면서 다른 기수 불변량, 특히 d와 dec는 변화시키는 것.
• Baire 계열 1 함수의 구조와 연속 함수의 점별 극한으로서의 표현 방식을 분석하는 것.
• 결과적으로 얻어진 모델에서 모든 Baire 계열 1 함수가 d보다 작은 연속 함수의 합으로 분해될 수 있음을 증명하는 것.
• cov(Meager)와 d에 관한 기존 결과를 활용하여 새로운 모델에서 dec의 행동을 분리하는 것.
• 포스팅 추론을 적용하여 d는 여전히 크기(ω₂와 동일)를 유지하는 반면, dec는 작아지므로 dec < d를 달성하는 것.

실험 결과

연구 질문

• RQ1 기수 이론의 모델에서 부등식 dec < d가 일관되게 참일 수 있는가?
• RQ2 모든 Baire 계열 1 함수를 분해하는 데 필요한 연속 함수의 최소 개수가 지배 수 d보다 엄격히 작은 모델을 구성하는 것이 가능한가?
• RQ3 Miller 실수의 추가는 d에 비해 기수 불변량 dec에 어떤 영향을 미치는가?
• RQ4 포스팅 확장에서, meager 집합의 커버링 수 cov(Meager)와 분해 수 dec 간의 관계는 어떠한가?
• RQ5 cov(Meager) ≤ dec ≤ d 사슬에서의 두 부등식 모두 엄격한 부등식이 일관되게 성립할 수 있는가?

주요 결과

• 논문은 CH 모델 위에서 Miller 실수를 사용한 포스팅을 통해 dec < d가 성립하는 모델을 구성함으로써, 이러한 엄격한 부등식이 일관되다는 것을 보여준다.
• 구성된 모델에서 지배 수 d는 여전히 ω₂와 동일하게 유지되며, 분해 수 dec는 엄격히 작아진다.
• 이 결과는 cov(Meager) ≤ dec ≤ d 사슬에서의 상한이 엄격하게 성립할 수 있음을 보여주며, Cichon, Morayne, Pawlikowski, Solecki가 제기한 질문에 답한다.
• dec와 d를 분리하는 데 사용된 모델은 이전에 cov(Meager)와 dec를 분리하는 데 사용된 초완전 포스팅의 반복의 약간 수정된 변형이다.
• 이러한 구성은 기수 불변량 dec가 강력한 포스팅 성질을 가진 모델에서도 반드시 d와 같지 않음을 확인한다.
• 논문은 dec ≠ d가 일관되게 성립할 수 있음을 증명하며, 이전의 이러한 기수 불변량 간의 독립성 결과를 확장한다.