[논문 리뷰] Small Locally Compact Linearly Lindelof Spaces

Kenneth Kunen|ArXiv.org|2004. 02. 04.

Rings, Modules, and Algebras참고 문헌 8인용 수 6

한 줄 요약

이 논문은 $X$를 무게 $\aleph_\omega$인 컴팩트 하우스도르프 공간으로 구성하며, 점 $p$의 특성은 $\aleph_\omega$이면서 $p$로 수렴하는 서로 다른 점들의 비가산 수열이 존재하지 않도록 한다. 이로 인해 $X \setminus \{p\}$는 선형 리인델뢰프이지만 리인델뢰프가 아니며, 이는 $\aleph_\omega$의 무게를 가진 작은 선형 리인델뢰프이지만 리인델뢰프가 아닌 공간의 존재를 보여준다. 이 구성은 역극한의 방법을 사용하며, 컴팩트 공간의 역계단, 기본 하위모델, 양호한 초월수를 이용하여 $p$가 약한 $P_{\aleph_n}$-점임을 보장하면서도, 무게와 위상적 성질을 유지한다.

ABSTRACT

There is a locally compact Hausdorff space of weight aleph_omega which is linearly Lindelof and not Lindelof. This improves an earlier result, which produced such a space of weight beth_omega.

연구 동기 및 목표

• 무게 $\aleph_\omega$인 컴팩트 하우스도르프 공간 $X$와 점 $p$의 특성이 $\aleph_\omega$이면서, $p$로 수렴하는 서로 다른 점들의 비가산 수열이 존재하지 않는 공간을 구성한다.
• $X \setminus \{p\}$가 선형 리인델뢰프이자 국소 컴팩트이지만 리인델뢰프가 아니며, 이는 작은 선형 리인델뢰프이지만 리인델뢰프가 아닌 공간의 예를 제공한다.
• 이러한 공간에 대해 가능한 최소한의 비가산 특성과 무게가 $\aleph_\omega$임을 보이며, 선형 리인델뢰프 위상의 맥락에서 최소성을 확립한다.
• 이전의 $\beth_\omega$ 기반 결과를 $\aleph_\omega$로 확장하기 위해, 역극한 구성에서 기본 하위모델과 양호한 초월수를 활용한다.

제안 방법

• 컴팩트 하우스도르프 공간 $X_n$의 역계단 $\langle X_n, \pi^{n+1}_n \rangle$을 구성하며, 무게 $w(X_n) = \aleph_n$이 되도록 하며, 레마 4를 이용한 귀납적 확장을 통해 수행한다.
• 각 $p_n = \pi^\omega_n(p)$가 $X_n$에서 약한 $P_{\aleph_n}$-점이 되도록 보장하기 위해, $\aleph_n$ 위의 양호한 초월수를 구성에 활용한다.
• 기본 하위모델 $M \prec H(\theta)$를 적용하여, 역극한의 무게를 $2^{\aleph_n}$에서 $\aleph_n$으로 줄이며, 위상적 성질을 유지한다.
• 자연스러운 사상 $\Gamma: \beta\kappa \twoheadrightarrow \mathrm{st}({\mathcal{B}})$를 사용하여, 양호한 초월수를 축소된 공간 $\mathrm{st}({\mathcal{B}})$에 투영함으로써 $\Gamma(x)$가 약한 $P_{\lambda^+}$-점으로 남아 있도록 보장한다.
• $\aleph_n^+$와 $\lambda$-커버링 모델의 비-존슨성(Non-Jónsson property)을 활용하여, $\Gamma(x)$가 $\mathrm{st}({\mathcal{B}})$에서 어떤 작은 집합의 폐쇄에도 속하지 않음을 보장한다.
• 레마 3를 통해 역극한 $X_\omega = \varprojlim X_n$이 요구되는 특성, 무게, 수렴 조건을 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 무게 $\aleph_\omega$인 선형 리인델뢰프이지만 리인델뢰프가 아닌 국소 컴팩트 하우스도르프 공간을 구성할 수 있는가?
• RQ2 $\aleph_\omega$는 이러한 공간에 대해 가능한 최소한의 비가산 특성과 무게인가?
• RQ3 기존의 $\beth_\omega$ 기반 구성에서 기본 하위모델과 초월수 성질을 활용하여 $\aleph_\omega$로 확장할 수 있는가?
• RQ4 어떤 집합론적 가정 하에 컴팩트 공간의 점 $p$가 비가산 수열로 수렴하지 않지만, 높은 특성과 무게를 유지하는가?
• RQ5 양호한 초월수와 존슨 카디널이 몰입 사상과 기본 하위모델 하에서 약한 $P$-점 성질을 유지하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 무게 $\aleph_\omega$인 컴팩트 하우스도르프 공간 $X$와 특성이 $\aleph_\omega$인 점 $p$를 구성하며, $p$로 수렴하는 서로 다른 점들의 비가산 수열이 존재하지 않음을 보장함으로써, 정리 1의 조건을 만족한다.
• $X \setminus \{p\}$는 선형 리인델뢰프이자 국소 컴팩트이지만 리인델뢰프가 아니며, 이는 작은 선형 리인델뢰프이지만 리인델뢰프가 아닌 공간의 존재를 보여준다.
• 역극한의 구성에서 $w(X_n) = \aleph_n$인 컴팩트 공간 $X_n$을 사용함으로써, $w(X_\omega) = \aleph_\omega$ 및 $\chi(p,X_\omega) = \aleph_\omega$를 확보한다.
• 기본 하위모델과 양호한 초월수를 활용하여, 역극한의 무게를 $2^{\aleph_n}$에서 $\aleph_n$으로 줄이며, $p_n$의 약한 $P_{\aleph_n}$-점 성질을 유지한다.
• 증명은 $\aleph_n^+$와 $\lambda$-커버링 모델의 비-존슨 성질을 기반으로 하며, $\Gamma(x)$가 축소된 공간 $\mathrm{st}({\mathcal{B}})$에서 약한 $P_{\lambda^+}$-점임을 보장한다.
• 이전의 $\beth_\omega$ 기반 구성에서 $\aleph_\omega$로 일반화하여, 이러한 공간에 대해 가능한 최소한의 비가산 무게와 특성이 $\aleph_\omega$임을 보여준다.