[논문 리뷰] Lindelof spaces which are indestructible, productive, or D

Franklin D. Tall, Leandro F. Aurichi|arXiv (Cornell University)|2011. 04. 14.

Advanced Topology and Set Theory참고 문헌 36인용 수 8

한 줄 요약

이 논문은 가산적으로 닫힌 포스팅 하에서 린델뢰프 공간에서 파괴되지 않는 성질, 생산성, 그리고 D-성질 간의 상호작용을 조사한다. Alster 공간이 Menger이므로 D이 되며, 메트라이즈블 공간이 파괴되지 않게 생산적으로 린델뢰프일 조건은 σ-콤���임을 증명함으로써 포스팅 확장 하에서 생산적으로 린델뢰프 문제의 핵심 케이스를 해결한다.

ABSTRACT

We discuss relationships in Lindelof spaces among the properties "indestructible", "productive", "D", and related properties.

연구 동기 및 목표

• 린델뢰프 공간에서 파괴되지 않는 성질, 생산성, D-성질 간의 관계를 이해하기 위해.
• 포스팅 확장 하에서 파괴되지 않게 생산적으로 린델뢰프인 공간이 Alster 또는 D인지 조사하기 위해.
• 파괴되지 않게 생산적으로 린델뢰프인 메트라이즈블 공간의 정확한 특성화를 결정하기 위해.
• 포스팅이 Menger, Hurewicz, D와 같은 위상적 성질을 유지하는 데서 수행하는 역할을 명확히 하기 위해.
• ZFC와 CH 기반의 예시를 제시하여 이러한 성질들 간의 차이를 명확히 하고 마이클 문제에 대한 함의를 밝히기 위해.

제안 방법

• 가산적으로 닫힌 포스팅 확장을 사용하여 린델뢰프, 생산성, D-성질의 파괴되지 않는 성질을 정의하고 분석한다.
• 선택 원리—Menger, Rothberger, Hurewicz—을 개방 커버의 수열을 이용한 등가 정의를 통해 적용한다.
• Alster 성질(콤팩트 집합의 Gδ 커버에 대한 유한한 개선)을 사용하여 Alster 공간에서 Menger 및 D-성질을 증명한다.
• 완전한 사상과 포스팅 하에서의 보존성을 이용하여 메트라이즈블 케이스를 0차원 공간으로 환원한다.
• 기존의 예시(예: 무어의 L-공간, 마이클의 공간, 소르렌게프라 직선)를 사용하여 성질 간의 함의관계와 반대 가능성 여부를 시험한다.
• CH와 기수 불변량(예: 𝔪 < 𝔤)을 적용하여 Rothberger ⇒ Hurewicz 또는 생산적으로 린델뢰프 ⇒ Menger 등의 함의관계를 유도한다.

실험 결과

연구 질문

• RQ1 모든 파괴되지 않게 생산적으로 린델뢰프인 T3 공간은 Alster 또는 D인가?
• RQ2 CH 하에서, 무게 ≤ ℵ1인 모든 생산적으로 린델뢰프인 T3 공간은 Alster인가?
• RQ3 일반적으로 파괴되지 않게 생산적으로 린델뢰프인 성질이 Hurewicz 또는 Menger를 의미하는가?
• RQ4 린델뢰프 공간이 무리수와의 곱이 린델뢰프가 아니게 되는 ZFC 예시를 구성할 수 있는가?
• RQ5 생산적으로 린델뢰프이지만 강력히 린델뢰프가 아닌 공간이 존재하는가?

주요 결과

• 모든 Alster 공간은 Menger이며, 따라서 모든 Alster 공간은 D이다.
• CH 하에서, 첫 번째 가산성 또는 가산밀도를 가진 모든 생산적으로 린델뢰프인 T3 공간은 D이다.
• 메트라이즈블 공간이 파괴되지 않게 생산적으로 린델뢰프일 조건은 σ-콤팩트일 조건과 동치이다.
• 파괴되지 않게 생산적으로 린델뢰프인 공간은 Hurewicz이며, 강력히 린델뢰프이다.
• 소르렌게프라 직선은 린델뢰프이지만 생산적으로 린델뢰프가 아니며, 그 제곱은 린델뢰프가 아니기 때문이다.
• Menger 공간이지만 Hurewicz가 아닌 경우, Hurewicz 공간이지만 σ-콤팩트가 아닌 경우가 존재하여 엄밀한 계층이 있음을 보여준다.