[논문 리뷰] Closed Discrete Selection in the Compact Open Topology

Christopher Caruvana, Jared Holshouser|arXiv (Cornell University)|2018. 12. 16.

Advanced Topology and Set Theory참고 문헌 6인용 수 4

한 줄 요약

이 논문은 $C_k(X)$, 즉 $X$ 위의 연속 실수값 함수의 공간에서의 닫힌 이산 선택 게임과 $X$ 위의 수정된 콪 pact-open 게임 사이의 등가성을 확립한다. 주요 기여는 $C_k(X)$에서의 닫힌 이산 선택 게임 전략이 이 수정된 게임의 전략과 정확히 일치한다는 점으로, $C_k(X)$의 선택 원리와 $X$의 위상적 성질, 그의 컴팩트 부분집합의 초집합, 그리고 연관된 함수 공간 간의 연결 고리를 제공한다.

ABSTRACT

In 2017, Tkachuk isolated the closed discrete selection property while working on problems related to function spaces [15]. In this paper we will study the closed discrete selection property and the related games and strategies on $C_k(X)$. Clontz and Holshouser showed previously that the closed discrete selection game on $C_p(X)$ is equivalent to a modification of the point-open game on $X$. In this paper we show that the closed discrete selection game on $C_k(X)$ is equivalent to a modification of the compact-open game on $X$. We also connect discrete selection properties on $C_k(X)$ to a variety of other properties on $X$, $C_k(X)$, and hyperspaces of $X$.

연구 동기 및 목표

• 연속 함수 공간 $C_k(X)$, 즉 $X$에서 $\mathbb{R}$로의 연속 함수들의 공간에서의 닫힌 이산 선택 성질과 그 게임 이론적 대응을 조사한다.
• 닫힌 이산 선택 게임에서의 전략과 $X$ 위의 수정된 콤팩트-오픈 게임에서의 전략 사이의 정확한 등가성을 확립한다.
• $C_k(X)$에서의 이산 선택 성질을 $X$, $C_k(X)$, 그리고 $X$의 컴팩트 부분집합의 초집합 $\mathbb{K}(X)$의 위상적 성질과 연결한다.
• 선택 원리와 게임 등가성의 맥락에서 $k$-커버와 $\gamma_k$-커버에 관한 이전 결과들을 수정하고 확장한다.
• 제한된 정보와 마르코프 전략을 통한 이러한 등가성의 강건성을 탐색하고, 향후 연구를 위한 열린 문제를 규명한다.

제안 방법

• Arens, Scheepers, Kočinac의 함수 공간에서의 선택 원리에 관한 기법들을 적응 및 확장한다.
• Clontz가 개발한 새로운 이중성 프레임워크를 적용하여 $C_k(X)$에서의 닫힌 이산 선택 게임을 $X$ 위의 수정된 콤팩트-오픈 게임과 연결한다.
• 비자명한 열린 커버만 고려하는 관례를 도입하고, 분석에 $\Lambda$-커버와 $k$-커버를 명시적으로 포함한다.
• 전략과 함수 수열의 재귀적 구성 기법을 사용하여 게임에서 승리하지 못하는 행동을 보여주며, 선택 원리 간의 함의 관계를 증명한다.
• 컴팩트 집합과 그들의 커버를 분석하기 위해 $\mathbb{K}(X)$에 대한 비에토리스 위상 구조를 사용하고, 형태 $[U_0; U_1, \dots, U_n]$의 기본 열린 집합을 이용해 위상적 구조를 묘사한다.
• 함수 공간 $C_k(X)$의 동차성 특성을 활용하여, 강한 가산 팬 조임성과 강한 가산 밀도 팬 조임성의 개념을 선택 원리와 연결한다.

실험 결과

연구 질문

• RQ1 닫힌 이산 선택 이론이 $C_k(X)$에서 $C_k(X, [0,1])$로 어떻게 일반화될 수 있는가?
• RQ2 Propositions 43과 45—$k$-커버와 $\gamma_k$-커버에 관한 것—은 현재 범위를 초월해 어떻게 일반화될 수 있는가?
• RQ3 $X$에서 플레이어 I가 $G_1(\mathscr{N}[K(X)], \neg\mathcal{K}_X)$에서 승리 전략을 가질 수 있지만, 유한 열린 게임이나 사전 결정된 전략 하에서는 그렇지 않은 공간 $X$가 존재하는가?
• RQ4 이러한 등가성과 전략은 $\omega$-길이의 플레이를 초월해 더 긴 길이의 게임으로 어떻게 확장되는가?
• RQ5 $G_1(\mathscr{N}[K(X)], \neg\mathcal{K}_X)$에서의 마르코프 전략과 $C_k(X)$에서의 닫힌 이산 선택 게임의 승리 전략 사이의 정확한 관계는 무엇인가?

주요 결과

• 닫힌 이산 선택 게임은 $X$ 위의 비자명한 수정된 콤팩트-오픈 게임과 등가이며, 여기서는 비자명한 커버만 고려하고 $\Lambda$-커버를 포함한다.
• $S_1(\mathcal{K}_X, \mathcal{K}_X)$ 선택 원리는 $S_1(\Omega_{C_k(X),\mathbf{0}}, \Omega_{C_k(X),\mathbf{0}})$와 등가이며, 이는 $C_k(X)$에서 게임 이론적 성질과 선택 이론적 성질이 일치함을 시사한다.
• $C_k(X)$의 강한 가산 팬 조임성은 $G_1(\mathscr{T}_{C_k(X)}, CD_{C_k(X)})$에서 플레이어 I의 승리 전략이 존재하지 않음과 등가이다.
• $G_1(\mathscr{N}[K(X)], \neg\mathcal{K}_X)$에서 플레이어 II가 마르코프 승리 전략을 가진다는 것은, $C_k(X)$에서의 닫힌 이산 선택 게임에서도 마르코프 승리 전략이 존재한다는 것을 의미한다.
• 논문은 이전 결과의 오류를 수정하며, 특히 Theorem 47과 Propositions 43, 45를 재수정하고 $k$-커버와 $\gamma_k$-커버에 대한 정확한 진술을 복원한다.
• $S_1(\mathcal{D}_{C_k(X)}, \Omega_{C_k(X),\mathbf{0}})$와 다른 선택 원리 간의 등가성은 다양한 게임 및 선택 설정 간의 특성화가 강건함을 확인한다.