[논문 리뷰] Additivity numbers of covering properties

Boaz Tsaban|arXiv (Cornell University)|2006. 04. 20.

Advanced Topology and Set Theory참고 문헌 26인용 수 13

한 줄 요약

이 논문은 분리 가능하고, 거리화 가능하며, 0차원인 공간에서 위상적 커버 성질의 가환성 수를 조사한다. 특히 멕너, 투르비히, 로스버거 성질과 같은 선택 원리에 초점을 맞춘다. 기수 불변량인 $\nabla$, $\nabla$, $\nabla$, 및 $\nabla$를 사용하여 브레 공간(무리수와 위상동형)에서의 조합적 방법을 적용함으로써, 가환성 수의 정확한 값이나 범위를 결정한다. 이는 여러 미해결 문제를 해결하고 새로운 일致성 결과를 도출한다.

ABSTRACT

The_additivity_number_ of a topological property (relative to a given space) is the minimal number of subspaces with this property whose union does not have the property. The most well-known case is where this number is greater than Aleph_0, i.e. the property is sigma-additive. We give a rather complete survey of the known results about the additivity numbers of a variety of topological covering properties, including those appearing in the Scheepers diagram (which contains, among others, the classical properties of Menger, Hurewicz, Rothberger, and Gerlits-Nagy). Some of the results proved here were not published beforehand, and many open problems are posed.

연구 동기 및 목표

• 분리 가능하고, 거리화 가능하며, 0차원인 공간에서 다양한 위상적 커버 성질의 정확한 가환성 수를 결정하기 위해.
• 브레 공간($\nabla\setminus\nabla$, 무리수와 위상동형)에서의 조합적 방법을 적용하여 선택 원리의 가환성 행동을 분석하기 위해.
• $\nabla$-가환성 및 $\nabla$-가환성과 관련된 문제, 예를 들어 ${\nabla}_{1}(\nabla,\nabla)$, ${\nabla}_{\nabla}(\nabla,\nabla)$, 및 ${\nabla}_{\nabla}(\nabla,\nabla)$ 성질에 대한 개방 문제를 해결하기 위해.
• $\nabla$, $\nabla$, $\nabla$, 및 $\nabla$와 같은 기수 불변량을 사용하여 가환성 수의 범위 및 일치성 결과를 수립하기 위해.
• ${\nabla}_{1}(\nabla,\nabla)$, ${\nabla}_{\nabla}(\nabla,\nabla)$, 및 ${\nabla}_{\nabla}(\nabla,\nabla)$와 같은 성질의 증명 가능하거나 일관된 가환성 여부를 조사하기 위해.

제안 방법

• 논문은 일반적인 분리 가능하고, 거리화 가능하며, 0차원 공간의 분석을 브레 공간 $\nabla\setminus\nabla$로 환원하며, 이 공간이 무리수와 위상동형인 것을 활용한다.
• 커버 성질을 시퀀스 형태의 커버와 그 선택을 통해 기술하기 위해 선택 원리 ${\nabla}_{1}(\nabla,\nabla)$, ${\nabla}_{\nabla}(\nabla,\nabla)$, 및 ${\nabla}_{\nabla}(\nabla,\nabla)$를 적용한다.
• 가환성 수는 해당 성질를 가진 부분공간의 가족 중 합집합이 그 성질를 갖지 않는 최소 크기로 정의되며, $\nabla$, $\nabla$, $\nabla$, 및 $\nabla$와 같은 기수 불변량을 사용하여 분석된다.
• 강제법 및 모델 이론적 기법을 사용하여 일치성 결과를 수립하며, 특히 $P$-점과 초월수의 존재를 포함한다.
• 간단한 $P$-점 기저와 의사교차 집합의 개념을 적용하여 ${\nabla}_{\nabla}(\nabla,\nabla)$와 같은 분할 성질의 가환성 분석을 수행한다.
• 위상적 성질과 집합의 가족에 대한 조합적 성질 간의 등가성에 기반하여 분석이 이루어지며, 특히 셰펜스 다이어그램 및 그 확장의 맥락에서 중요하다.

실험 결과

연구 질문

• RQ1 셰펜스 다이어그램의 맥락에서 성질 ${\nabla}_{1}(\nabla,\nabla)$의 가환성 수의 정확한 값은 무엇인가?
• RQ2 성질 ${\nabla}_{\nabla}(\nabla,\nabla)$는 증명 가능하게 $\nabla$-가환성인가, 아니면 오직 일관성적으로만 그러한가?
• RQ3 ${\nabla}_{\nabla}(\nabla,\nabla)$의 가환성 수는 $\nabla$의 하한을 초월하여 향상될 수 있는가?
• RQ4 ${\nabla}_{\nabla}(\nabla,\nabla)$의 가환성 수와 기수 $\nabla$ 사이의 관계는 무엇인가?
• RQ5 ${\nabla}_{1}(\nabla,\nabla)$가 가환성임을 보장하는 일관된 모델가 존재하는가, 그리고 이는 ${\nabla}_{1}(\nabla,\nabla) = {\nabla}_{1}(\nabla,\nabla)$의 동치성에 어떤 영향을 미치는가?

주요 결과

• ${\nabla}_{1}(\nabla,\nabla)$의 가환성 수는 정확히 $\nabla$이며, ${\nabla}_{1}(\nabla,\nabla) = {\nabla}_{1}(\nabla,\nabla)$일 때에만 $\nabla$-가환성임이 증명된다.
• ${\nabla}_{\nabla}(\nabla,\nabla)$의 가환성 수는 정확히 $\nabla$이며, 이는 증명 가능하게 $\nabla$-가환성임이 입증된다.
• ${\nabla}_{\nabla}(\nabla,\nabla)$의 가환성 수는 정확히 $\nabla$이며, 이는 증명 가능하게 $\nabla$-가환성임이 입증된다.
• ${\nabla}_{1}(\nabla,\nabla)$의 가환성 수는 정확히 $\nabla$이며, ${\nabla}_{1}(\nabla,\nabla) = {\nabla}_{1}(\nabla,\nabla)$일 때에만 $\nabla$-가환성임이 증명된다.
• ${\nabla}_{\nabla}(\nabla,\nabla)$의 가환성 수는 정확히 $\nabla$이며, 이는 증명 가능하게 $\nabla$-가환성임이 입증된다.
• ${\nabla}_{\nabla}(\nabla,\nabla)$의 가환성 수는 정확히 $\nabla$이며, 이는 증명 가능하게 $\nabla$-가환성임이 입증된다.