[논문 리뷰] On $Δ$-spaces

Arkady Leiderman, Paul J. Szeptycki|arXiv (Cornell University)|2023. 07. 29.

Advanced Topology and Set TheoryMathematics인용 수 3

한 줄 요약

이 논문은 함수 공간 $C_p(X)$가 구분된다는 조건을 만족하는 위상수학적 공간 $X$인 $Δ$-공간의 클래스를 새 예시와 반례를 통해 조사한다. Souslin 나무가 어떤 경우에도 $Δ$-공간이 아니라는 것을 증명하고, CH 하에서 계단계 구조 공간에 대한 일致성 결과를 확립하며, 코hen 실을 추가하면 비-$Δ$ 계단계 구조 공간이 얻어져 집합론적 위상수학에서 여러 미해결 문제를 해결한다.

ABSTRACT

$Δ$-spaces have been defined by a natural generalization of a classical notion of $Δ$-sets of reals to Tychonoff topological spaces; moreover, the class $Δ$ of all $Δ$-spaces consists precisely of those $X$ for which the locally convex space $C_p(X)$ is distinguished. The aim of this article is to better understand the boundaries of the class $Δ$, by presenting new examples and counter-examples. 1) We examine when trees considered as topological spaces equipped with the interval topology belong to $Δ$. In particular, we prove that no Souslin tree is a $Δ$-space. Other main results are connected with the study of 2) $Ψ$-spaces built on maximal almost disjoint families of countable sets; and 3) Ladder system spaces. It is consistent with CH that all ladder system spaces on $ω_1$ are in $Δ$. We show that in forcing extension of ZFC obtained by adding one Cohen real, there is a ladder system space on $ω_1$ which is not in $Δ$. We resolve several open problems posed in the literature.

연구 동기 및 목표

• 새로운 예시와 반례를 제시함으로써 $Δ$-공간의 경계를 더 잘 이해하기 위해.
• 특히 나무, 최대 거의 서로소 가닥에 대한 $ψ$-공간, 계단계 구조 공간과 같은 특정 위상공간들이 $Δ$-공간 클래스에 속하는지 조사하기 위해.
• [12], [25], [31], [32]에서 제기된 $Δ$-공간의 구조 및 성질에 관한 미해결 문제를 해결하기 위해.
• ZFC와 강제 확장의 맥락에서 $Δ$-공간, $Q$-집합, $σ$-이산 공간 간의 관계를 명확히 하기 위해.

제안 방법

• 모든 가산 상호배타적 부분집합족이 점유한 열린 확장(점유한 열린 확장)을 갖는 것과 $X$가 $Δ$-공간임은 동치라는 등가 조건을 사용하기 위해.
• 순서수 공간과 그 $G_δ$-위상의 구조를 분석하기 위해 Fodor의 보조정리 적용, 특히 산란된 컴팩트 공간에서의 응용.
• 특정 계단계 구조 공간이 $Δ$-공간이 아님을 보이기 위해 강제 기법을 사용, 특히 단일 코hen 실 추가.
• 점유한 이웃 할당과 그 $G_δ$-집합에 대한 영향을 분석, 특히 산란된 Eberlein 컴팩트 공간에서의 응용.
• PCF 이론과 CH를 활용해 $Δ$ 내에서 일관된 계단계 구조 공간 예시를 구성하고, 이러한 공간이 $Δ$에 속하지 않는 모델들과 대비함.
• 실수에서의 $Q$-집합과 $Δ$-집합에 관한 기존 결과를 활용해 일반적인 $Δ$-공간의 위상적 구조를 이해함.

실험 결과

연구 질문

• RQ1 연속체 가설 하에서 $\omega_1$ 위의 모든 계단계 구조 공간이 $\Delta$-공간에 속하는가?
• RQ2 Souslin 나무가 언제나 $\Delta$-공간이 될 수 있는가?
• RQ3 $\sigma$-이산이 아니며 모든 닫힌 집합이 $G_\delta$이지만 $Q$-집합 공간이 아닌 $\Delta$-공간이 존재하는가?
• RQ4 $\Delta$-집합의 존재는 $2^{\aleph_0} = 2^{\aleph_1}$를 암시하는가?
• RQ5 산란된 컴팩트 공간 $W$ 중 $W_\delta$가 $\Delta$-공간이 되는 것은 어떤 특성을 갖는가?

주요 결과

• Fodor의 보조정리와 비가산 코finality를 갖는 극한 순서수의 구조를 통해, 어떤 Souslin 나무도 $Δ$-공간이 아니라는 것이 입증됨.
• CH 하에서는 $\omega_1$ 위의 모든 계단계 구조 공간이 $Δ$-공간임이 일관되지만, 단일 코hen 실을 추가한 강제 확장에서는 이 성질이 성립하지 않음.
• 코헨 실 확장에서 $\omega_1$ 위의 계단계 구조 공간 중 $Δ$-공간이 아닌 것이 존재함을 보여, 이 클래스가 집합론적 가정에 민감함을 입증함.
• $Q$-집합 공간의 알렉산드로프 복제본은 $\sigma$-이산이 아니지만 $Δ$-공간이 되며, 닫힌 비$G_\delta$ 부분집합을 포함함.
• 산란된 Eberlein 컴팩트 공간에 속한 모든 $G_\delta$ 점들의 부분집합 $F$는 스스로도 $G_\delta$-집합이 되며, 이는 $F$가 $Q$-집합임을 의미함.
• 점유한 이웃 할당을 갖는 위상공간은 $Δ$-공간이며, 이러한 공간의 모든 $G_\delta$ 부분집합은 다시 $G_\delta$-집합임.