[논문 리뷰] Infinite games and cardinal properties of topological spaces

Angelo Bella, Santi Spadaro|arXiv (Cornell University)|2012. 12. 22.

Advanced Topology and Set Theory참고 문헌 9인용 수 5

한 줄 요약

이 논문은 무한한 위상 게임을 사용하여 위상 공간의 기수 한계를 설정하며, 특히 약한 리인델뢰프, 첫 번째 가산성, 거의 정규 공간에 중점을 둔다. 이는 샤피로브스키의 정규 열린 집합 수에 대한 경계를 게임 이론적 증명으로 제시하고, 헤이날-줄라스의 첫 번째 가산 ccc 하우스도르프 공간에 대한 경계가 거의 정규 공간으로 확장됨을 보여, 집합론적 위상수학에서 오랫동안 남아 있던 질문에 답한다.

ABSTRACT

Inspired by work of Scheepers and Tall, we use properties defined by topological games to provide bounds for the cardinality of topological spaces. We obtain a partial answer to an old question of Bell, Ginsburg and Woods regarding the cardinality of weakly Lindelöf first-countable regular spaces and answer a question recently asked by Babinkostova, Pansera and Scheepers. In the second part of the paper we study a game-theoretic version of cellularity, a special case of which has been introduced by Aurichi. We obtain a game-theoretic proof of Shapirovskii's bound for the number of regular open sets in an (almost) regular space and give a partial answer to a natural question about the productivity of a game strengthening of the countable chain condition that was introduced by Aurichi. As a final application of our results we prove that the Hajnal-Juhász bound for the cardinality of a first-countable ccc Hausdorff space is true for almost regular (non-Hausdorff) spaces.

연구 동기 및 목표

• 클래식한 방법이 실패하는 경우에 위상 공간의 기수를 제한하기 위한 게임 이론적 접근을 제공한다.
• 벨, 깅스버그, 우즈의 열린 질문인 정규 첫 번째 가산 약한 리인델뢰프 공간의 기수에 대한 질문을 다룬다.
• 게임 이론적 프레임워크를 사용하여 샤피로브스키의 정규 열린 집합 수에 대한 경계를 확장한다.
• 게임 이론적 강화된 가산 체인 조건의 생산성(productive)을 조사한다.
• 첫 번째 가산 ccc 하우스도르프 공간에 대한 헤이날-줄라스 경계를 거의 정규 공간, 비-하우스도르프 공간으로 일반화한다.

제안 방법

• 플레이어들이 세밀한 가족과 원소를 번갈아 선택하는 게임 $ G^{ heta}_{1}( cal{C}, cal{D}) $ 를 도입하고 분석하며, 플레이어 두 번째가 합집합이 조밀한 경우에 승리한다.
• 플레이어 두 번째가 $ G^{ heta}_{1}( cal{C}, cal{D}) $ 에서 승리 전략을 가진다는 것을 이용하여 공간의 조밀도와 $ \rho $-특성의 경계를 설정한다.
• 순서수 초월적 귀납법을 사용하여 크기가 $ \theta^{ ext{cf}( heta)} $ 인 조밀 집합 $ D $ 를 구성하며, 전략 존재성과 위상 기수 불변량 사이의 연결 고리를 맺는다.
• 게임 이론적 조밀도 경계를 통해 $ \pi w(X) \leq \pi\chi(X)^{c(X)} $ 를 증명하며, 샤피로브스키 결과를 일반화한다.
• 게임 이론적 $ \pi $-중요도의 특성화를 활용하여, $ \pi $-특성이 가산인 공간에 대해 게임의 생산성을 증명한다.
• 게임 이론적 조밀도 경계와 알려진 부등식을 조합하여 헤이날-줄라스 경계를 거의 정규 공간으로 확장한다.

실험 결과

연구 질문

• RQ1 게임 이론적 방법을 사용하여 정규 첫 번째 가산 약한 리인델뢰프 공간의 기수를 연속체로 경계할 수 있는가?
• RQ2 거의 정규 공간에서 정규 열린 집합 수에 대한 샤피로브스키 경계에 대한 게임 이론적 증명이 존재하는가?
• RQ3 가산 $ \pi $-특성을 가진 공간에 대해 게임 이론적 강화된 ccc 의 생산성이 성립하는가?
• RQ4 첫 번째 가산 ccc 하우스도르프 공간에 대한 헤이날-줄라스 경계가 거의 정규, 비-하우스도르프 공간으로 확장될 수 있는가?
• RQ5 $ G^{\omega}_{1}(\ncal{C}, \ncal{D}) $ 에서의 승리 전략과 공간의 $ \pi $-중요도 및 조밀도 사이의 관계는 무엇인가?

주요 결과

• 논문은 벨, 깅스버그, 우즈의 질문에 부분적인 답을 제시한다. 즉, 플레이어 두 번째가 $ G^{ heta}_{1}(\ncal{O}_X, \ncal{O}_X) $ 에서 승리 전략을 가진 정규 첫 번째 가산 약한 리인델뢰프 공간은 기수 최대 $ 2^{\aleph_0} $ 를 가진다.
• 샤피로브스키 경계에 대한 게임 이론적 증명이 확립된다: 임의의 거의 정규 공간 $ X $ 에 대해 $ \rho(X) \leq \pi\chi(X)^{c(X)} $ 이다.
• 게임 $ G^{\omega}_{1}(\ncal{C}, \ncal{D}) $ 는 $ \pi $-중요도를 특성화한다: 가산 $ \pi $-특성을 가진 정규 공간은 $ \pi $-중요도가 가산일 필요와 충분조건으로 플레이어 두 번째가 이 게임에서 승리 전략을 가진다.
• 게임 $ G^{\omega}_{1}(\ncal{C}, \ncal{D}) $ 에서 승리 전략을 가진다는 성질은 가산 $ \pi $-특성을 가진 공간의 클래스에 대해 생산적이다.
• 첫 번째 가산 ccc 하우스도르프 공간에 대한 헤이날-줄라스 경계 $ |X| \leq 2^{\aleph_0} $ 는 거의 정규 공간에 대해서도 성립하며, 하우스도르프 분리 공리가 없더라도 성립한다.
• 반례를 통해, 플레이어 두 번째가 $ G^{\omega}_{1}(\ncal{C}, \ncal{D}) $ 에서 승리 전략을 가진 $ T_1 $ 첫 번째 가산 공간에서는 헤이날-줄라스 경계가 실패함을 보여, 거의 정규성의 필수성을 입증한다.