[논문 리뷰] A note on Noetherian type of spaces

Lajos Soukup|arXiv (Cornell University)|2010. 03. 16.

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

한 줄 요약

이 논문은 칸토어 입자 $2^{\aleph_\omega}_\delta$의 노에터형을 조사한다. 여기서 $\delta$는 칸토어 입자 $2^{\aleph_\omega}$ 위의 $G_\delta$ 위상수를 나타낸다. $(\aleph_\omega)^\omega = \aleph_{\omega+1}$ 및 찬의 추측 변형 $(\aleph_{\omega+1}, \aleph_\omega) \twoheadrightarrow (\aleph_1, \aleph_0)$의 가정 하에, 노에터형 $Nt(2^{\aleph_\omega}_\delta) \geq \omega_2$임을 증명하며, 스파다로가 제기한 질문을 해결한다. 즉, 이러한 조건 하에서 노에터형이 $\omega_1$일 수 없다는 것을 보여준다.

ABSTRACT

The Noetherian type of a space X, Nt(X), is the least cardinal kappa such that X has a base B such that every element of the base is contained in less than kappa many elements of the base. Denote X the space obtained from 2^{aleph_omega} by declaring the G_delta sets to be open. Milovich proved that if Square_{aleph_omega} holds and (aleph_omega)^omega=aleph_{omega+1} then Nt(X)=omega_1. Answering a question of Spadaro, we show that if (aleph_omega)^omega=aleph_{omega+1} and a strong form of Chang Conjecture holds for aleph_ωthen Nt(X)>omega_1.

연구 동기 및 목표

• 스파다로가 제기한 $2^{\aleph_\omega}_\delta$의 노에터형이 $\mathfrak{c}^+$인지 여부에 대한 질문을 해결하기 위해.
• 큰 기수 가정과 조합론적 원리 하에서 노에터형의 일致성 강도와 기수 범위를 조사하기 위해.
• 밀로비치의 이전 결과인 $\square_{\aleph_\omega}$ 및 $(\aleph_\omega)^\omega = \aleph_{\omega+1}$ 하에서 $Nt(2^{\aleph_\omega}_\delta) = \omega_1$를 더 높은 하한으로 확장하기 위해.
• 찬의 추측 하에서 $[\aleph_\omega]^\omega$의 공역 가족의 구조를 분석하고, 노에터형이 너무 작다면 모순을 유도하기 위해.

제안 방법

• 집합론적 성질과 $G_\delta$ 위상수를 코딩하는 관계와 함수를 포함한 구조 $\mathcal{A} = (\aleph_{\omega+1}, \aleph_\omega, \leq, E, f, g, h)$를 구성한다.
• 가정 $(\aleph_{\omega+1}, \aleph_\omega) \twoheadrightarrow (\aleph_1, \aleph_0)$을 사용하여 찬의 추측을 적용하여 크기가 $\aleph_1$인 원소적 부분구조 $\mathcal{A}'$와 가산 부분집합 $U'$를 얻는다.
• 모든 $\alpha$에 대해 $a_\alpha \subset a_{f(\alpha)}$ 이고 $a_{f(\alpha)} \in \mathcal{D}$가 되도록 함수 $f: \aleph_{\omega+1} \to \aleph_{\omega+1}$를 정의한다. 여기서 $\mathcal{D}$는 $[\aleph_\omega]^\omega$에서의 공역 가족이다.
• 함수 $h$를 이용해 집합 차이의 무한성을 정의함으로써, $a_\alpha \setminus a_\beta$가 무한함을 $\mathcal{A}$에서 일阶논리 공식으로 표현한다.
• 모순을 유도하기 위해, $\mathcal{A}'$에서 모든 $f$의 상에 속하는 $\beta$에 대해 $a_\gamma \setminus a_\beta$가 무한한 $\gamma$가 존재함을 보이고, 동시에 $a_{f(\gamma)} \supset a_\gamma$ 이므로 $a_\gamma \setminus a_{f(\gamma)} = \emptyset$임을 유도함으로써 모순을 도출한다.
• 이 모순을 이용해, 어떤 $A \in [\aleph_\omega]^\omega$에 대해 $\mathcal{P}(A)$와의 교차가 비가산이어야 하는 공역 가족 $\mathcal{D}$가 존재함을 보이고, 이는 $Nt(2^{\aleph_\omega}_\delta) \geq \omega_2$임을 증명한다.

실험 결과

연구 질문

• RQ1 GCH보다 약하거나 $\square_{\aleph_\omega}$보다 강한 조건보다 약한 가정 하에, $2^{\aleph_\omega}_\delta$의 노에터형이 $\omega_2$로 아래에서 유계일 수 있는가?
• RQ2 $(\aleph_\omega)^\omega = \aleph_{\omega+1}$ 및 찬의 추측이 성립할 때, $Nt(2^{\aleph_\omega}_\delta) \geq \omega_2$가 일致하는가?
• RQ3 지역 노에터형이 $\omega_1$가 아니라는 것이 $[\aleph_\omega]^\omega$의 공역 가족에서 구조적 장애를 유도하는가?
• RQ4 가정 $(\aleph_{\omega+1}, \aleph_\omega) \twoheadrightarrow (\aleph_1, \aleph_0)$을 사용하여 $2^{\aleph_\omega}_\delta$의 노에터형에 하한을 도출할 수 있는가?
• RQ5 주어진 집합론적 가정 하에서 $Nt(2^{\aleph_\omega}_\delta)$가 $\omega_1$보다 엄밀히 큰가능성이 있는가?

주요 결과

• 가정 $(\aleph_\omega)^\omega = \aleph_{\omega+1}$ 및 $(\aleph_{\omega+1}, \aleph_\omega) \twoheadrightarrow (\aleph_1, \aleph_0)$ 하에, $2^{\aleph_\omega}_\delta$의 노에터형은 최소 $\omega_2$ 이상이다.
• 증명은 찬의 추측을 적절히 구성된 $G_\delta$ 위상수를 코딩하는 구조에 적용하여 도출된 모순에 기반한다.
• 모순은 점 $x \in 2^{\aleph_\omega}$에서 크기가 $\omega_1$인 국소 기저가 존재한다고 가정했을 때 발생하며, 이는 어떤 공역 가족 $\mathcal{D} \subset [\aleph_\omega]^\omega$가 임의의 $A \in [\aleph_\omega]^\omega$ 아래에서 가산 개 이하의 원소만을 포함함을 의미한다.
• 이는 원소적 성질과 정의 가능성 조건이 부분구조 $\mathcal{A}'$에서 위반됨을 의미하며, 따라서 그러한 국소 기저는 존재할 수 없다는 것을 보여준다.
• 결과적으로 $Nt(2^{\aleph_\omega}_\delta) \geq \omega_2$는 적절한 큰 기수의 존재에 대해 일치함을 보이며, [1]의 모델이 이러한 가정을 실현하므로 일치성에 대한 근거를 제공한다.
• 논문은 스파다로의 질문을 해결하여 $Nt(2^{\aleph_\omega}_\delta) = \mathfrak{c}^+$는 주어진 가정에서 유도되지 않으며, 실제로는 $\omega_2$ 이상으로 유계임을 보였다.