[논문 리뷰] Sequential convergence in topological spaces

Anthony Goreham|arXiv (Cornell University)|2004. 12. 31.

Advanced Topology and Set Theory참고 문헌 14인용 수 9

한 줄 요약

이 종합 검토는 일반 위상수학에서 수열과 가산 집합의 역할을 조사하며, 첫 번째 가산, 순차적, 프레셰, 가산 밀도, 완전한 공간의 다섯 가지 위상 공간 유형에 초점을 맞춘다. 순차적 공간과 프레셰 공간에 대한 연속 사상에 의한 특성 정리들을 수립하고, 모든 완전히 정규적인 가산 컴팩트 공간이 가산 밀도를 가짐을 증명하며, ZFC로부터 완전히 정규적인 순차적 공간에서 컴팩트성과 순차적 컴팩트성 간의 독립성을 입증함으로써 집합론적 위상수학의 핵심 문제를 해결한다.

ABSTRACT

In this survey, my aim has been to discuss the use of sequences and countable sets in general topology. In this way I have been led to consider five different classes of topological spaces: first countable spaces, sequential spaces, Frechet spaces, spaces of countable tightness and perfect spaces. We are going to look at how these classes are related, and how well the various properties behave under certain operations, such as taking subspaces, products, and images under proper mappings. Where they are not well behaved we take the opportunity to consider some relevant examples, which are often of special interest. For instance, we examine an example of a Frechet space with unique sequential limits that is not Hausdorff. I asked the question of whether there exists in ZFC an example of a perfectly normal space that does not have countable tightness: such an example was supplied and appears below. In our discussion we shall report two independence theorems, one of which forms the solution to the Moore-Mrowka problem. The results that we prove below include characterisation theorems of sequential spaces and Frechet spaces in terms of appropriate classes of continuous mappings, and the theorem that every perfectly regular countably compact space has countable tightness.

연구 동기 및 목표

• 일반 공간, 특히 거리 공간을 초월한 경우에서 수열이 위상적 성질을 기술하는 데 한계를 분석하는 것.
• 첫 번째 가산, 순차적, 프레셰, 가산 밀도, 완전한 공간의 다섯 가지 위상 공간 유형 간의 관계를 명확히 하는 것.
• 부분공간, 곱공간, 적절한 사상에 의한 상의 위상 연산에서 이러한 성질의 행동을 조사하는 것.
• 모어-므로우카 문제 및 완전히 정규 공간에서 컴팩트성과 순차적 컴팩트성 간의 독립성과 같은 집합론적 위상수학의 기초적 문제를 해결하는 것.
• 연속 사상에 기반한 순차적 공간과 프레셰 공간의 특성 정리 수립 및 완전한 공간에서의 가산 밀도의 역할 탐구

제안 방법

• 수열적 성질과 가산 성질에 기반한 다섯 가지 위상 공간 유형 간의 체계적 종합 및 비교.
• 일반 위상수학에서 수열 기반 특성 정의의 실패를 보여주기 위해 알려진 반례(예: βℕ)의 사용.
• 다이아몬드 및 마틴의 공리와 ¬CH를 포함한 집합론적 공리의 적용을 통해 컴팩트성과 가산 컴팩트성 간의 다름 또는 같음을 보여주는 모델을 구성하는 것.
• 적절한 연속 사상의 클래스를 사용하여 순차적 공간과 프레셰 공간에 대한 특성 정리 증명.
• 완전히 정규적인 가산 컴팩트 공간이 항상 가산 밀도를 가짐을 보이는 결과를 정수적 귀납법과 비가산离산 부분공간의 구성에 의해 확립하는 것.
• 집합론적 독립 결과(예: ♢ 하에서 오스타셰프스키의 공간, MA+¬CH 하에서 Weiss의 결과)를 활용하여, 완전한 공간에서 컴팩트성과 순차적 컴팩트성 간의 ZFC 독립성을 입증하는 것.

실험 결과

연구 질문

• RQ1 위상 공간에서의 순차 수렴 성질이 거리 공간에서의 성질과 어떻게 다를까?
• RQ2 모어-므로우카 문제의 맥락에서 순차적 공간과 가산 밀도 공간 간의 관계는 무엇인가?
• RQ3 모든 완전히 정규 공간이 반드시 가산 밀도를 가져야 하는가? 만약 그렇지 않다면 ZFC에서 반례를 구성할 수 있는가?
• RQ4 완전히 정규 공간에서 컴팩트성과 순차적 컴팩트성이 동치가 되는 조건은 무엇인가?
• RQ5 완전히 정규 순차적 공간에서 컴팩트성과 순차적 컴팩트성 간의 동치성은 ZFC 내에서 결정 가능한가?

주요 결과

• 비가산 이산 부분공간의 정수적 구성에 기반하여, 모든 완전히 정규적인 가산 컴팩트 공간이 가산 밀도를 가짐을 증명함.
• ZFC 내에서 가산 밀도가 없는 완전히 정규 공간의 예가 존재함을 입증하여, 완전성 성질과 밀도 간의 열린 질문을 해결함.
• 완전히 정규 순차적 공간에서 컴팩트성과 순차적 컴팩트성이 동치임을 보여주는 진술은 ZFC에 대해 독립적이며, ♢ 하와 MA+¬CH 하에서 모델을 구성함으로써 동치가 성립하지 않거나 성립하는 경우를 각각 보여줌.
• 특성 정리 수립: 위상공간이 프레셰 공간이 되는 것은, 순차적 극한을 보존하는 연속 사상에 의한 거리 공간의 상과 동치임을 보임.
• 연속 사상에 의한 순차적 공간의 특성 정의를 제시하여, 일부 몰입 유사 구성에서 순차성이 유지됨을 보임.
• βℕ의 예는 컴팩트성이 순차적 컴팩트성을 의미하지 않으며, 심지어 컴팩트 공간에서도 폐쇄를 항상 순차적 극한으로 기술할 수 없음을 보여줌.