[논문 리뷰] Products and selection principles

Liljana Babinkostova, Marion Scheepers|ArXiv.org|2007. 09. 18.

Advanced Topology and Set Theory참고 문헌 17인용 수 12

한 줄 요약

이 논문은 분리 가능한 거리형 공간들의 곱이 선택적 커버링 성질—특히 멩거, 로스버거, 선택적 스크린러블리티 성질—을 언제 상속하는지를 조사한다. 연속체 가설 하에서 루신 집합과 샤르피ński 집합을 분석함으로써, 루신 집합과 샤르피ński 집합의 곱은 멩거 성질을 가지며, 루신 집합과 γ-집합의 곱은 로스버거 성질을 가짐을 증명함으로써, 선택 원리 이론에서 곱 정리에 대한 이해를 발전시킨다.

ABSTRACT

The product of a Sierpinski set and a Lusin set has Menger's property. The product of a gamma set and a Lusin set has Rothberger's property.

연구 동기 및 목표

• 두 분리 가능한 거리형 공간의 곱이 멩거, 로스버거, 선택적 스크린러블리티와 같은 선택적 커버링 성질을 언제 상속하는지를 규명하는 것.
• σ-콤팩트성 대신 더 약한 성질로 알려진 곱 정리를 일반화하는 것—특히 루신 및 샤르피ński 집합의 맥락에서.
• 선택 원리인 $\mathsf{S}_{fin}(\mathcal{O},\mathcal{O})$, $\mathsf{S}_{1}(\mathcal{O},\mathcal{O})$, $\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$ 가 곱 공간에서 수행하는 역할을 조사하는 것.
• 기존 정리의 한계를 검토하고, 투어비치 유형 성질 및 선택 게임에서의 승리 전략과 같은 새로운 가설을 탐색하는 것.

제안 방법

• 곱 공간에서의 커버링 성질을 분석하기 위해 선택 원리 $\mathsf{S}_{c}(\mathcal{A},\mathcal{B})$, $\mathsf{S}_{fin}(\mathcal{A},\mathcal{B})$, $\mathsf{S}_{1}(\mathcal{A},\mathcal{B})$ 를 활용한다.
• 연속체 가설을 적용하여 특정 위상적 성질을 가진 루신 집합과 샤르피ński 집합을 구성한다.
• 특히 정리 11의 증명에서 귀납적 추론과 게임 이론적 전략을 사용하여, $X$ 가 가산 $\mathsf{S}_{1}(\mathcal{O},\mathcal{O})$-유형을 가질 경우 $X \times Y$ 의 성질을 확립한다.
• 오픈 커버의 구조, 특히 $\omega$-커버, $\gamma$-커버, 군집 가능한 커버를 분석하여 곱 공간의 성질을 특성화한다.
• $\mathsf{tp}_{\mathsf{S}_{1}(\mathcal{O},\mathcal{O})}(X)$, 즉 위상적 성질 순위 개념을 사용하여 $X \times Y$ 에서 선택 게임의 복잡도를 제한한다.
• 마르틴의 공리와 보렐 추측과 같은 집합론적 결과를 적용하여, 다양한 집합론적 모델에서 추측의 강건성을 시험한다.

실험 결과

연구 질문

• RQ1 루신 집합과 샤르피ński 집합의 곱이 언제 멩거 성질을 가질 수 있는가?
• RQ2 루신 집합과 $\gamma$-집합의 곱이 언제 로스버거 성질을 가질 수 있는가?
• RQ3 정리 1에서 $\sigma$-콤팩트성 가정을 투어비치 또는 0차원성과 같은 더 약한 성질로 대체할 수 있는가?
• RQ4 만약 한 인자가 $\mathsf{G}_{fin}^{\alpha}(\mathcal{O},\mathcal{O})$ 에서 승리 전략을 가진다면, $\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$ 성질이 곱에서 유지되는가?
• RQ5 투어비치 성질 $\mathsf{S}_{fin}(\Omega,\mathcal{O}^{gp})$ 는 곱 정리에서 멩거 성질 $\mathsf{S}_{fin}(\mathcal{O},\mathcal{O})$ 를 대체할 수 있는가? 이 경우 $\mathsf{S}_{fin}(\mathcal{O},\mathcal{O})$ 또는 $\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$ 의 상속성이 유지되는가?

주요 결과

• 루신 집합과 샤르피ński 집합의 곱은 멩거 성질 $\mathsf{S}_{fin}(\mathcal{O},\mathcal{O})$ 를 만족하며, 정리 12에서 이를 보였다.
• 루신 집합과 $\gamma$-집합의 곱은 로스버거 성질 $\mathsf{S}_{1}(\mathcal{O},\mathcal{O})$ 를 만족하며, 정리 13에서 이를 입증하였다.
• 정리 11의 증명은 $X$ 가 $\mathsf{tp}_{\mathsf{S}_{1}(\mathcal{O},\mathcal{O})}(X) \leq \omega \cdot n$ 을 만족할 경우, $Y$ 에 대한 적절한 조건 하에서 $X \times Y$ 가 $\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$ 를 상속함을 보여주며, 이 경우의 상한 $\omega^2$ 는 $\omega_1$ 으로 향상될 가능성이 있다.
• 샤르피ński 집합 $S$ 는 $\mathsf{G}_{fin}^{\omega+\omega}(\mathcal{O},\mathcal{O})$ 에서 승리 전략을 가짐을 보였으며(정리 14), $S \times S$ 가 멩거 성질을 가지지 않음에도 불구하고 그렇다.
• 연속체 가설 하에서 반례를 통해, 곱 정리에서 투어비치 성질 $\mathsf{S}_{fin}(\Omega,\mathcal{O}^{gp})$ 는 멩거 성질 $\mathsf{S}_{fin}(\mathcal{O},\mathcal{O})$ 로 대체될 수 없음을 보였다.
• 추측 1은 $X$ 가 가산 $\mathsf{S}_{1}(\mathcal{O},\mathcal{O})$-유형을 가지며 $Y$ 가 $\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$ 와 $\mathsf{S}_{fin}(\Omega,\mathcal{O}^{gp})$ 를 만족할 경우, $X \times Y$ 는 $\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$ 를 만족한다며, 정리 11의 보다 광범위한 일반화를 제안한다.