[논문 리뷰] A solution to the L space problem and related ZFC constructions

Justin Tatch Moore|CERN Document Server (European Organization for Nuclear Research)|2005. 01. 28.

Advanced Topology and Set Theory참고 문헌 10인용 수 29

한 줄 요약

이 논문은 ZFC에서 비분리적이고 고유로 리인델뢰프 공간(L 공간)을 구성하며, 오랫동안 남아 있던 문제를 해결한다. 일관된 유한-일대함수들의 수열을 사용하여, 강력한 조합적 성질을 갖는 함수 $ f:[\omega_1]^2 \to \omega_1 $의 존재를 증명하고, 크기 $ \aleph_1 $인 비가산 정규 하우스도르프 공간에 대한 기저가 존재하지 않음을 보이며, 집합론적 위상수학에서 주요 추측을 반증한다.

ABSTRACT

In this paper I will construct a non-separable hereditarily Lindelof space (L space) without any additional axiomatic assumptions. I will also show that there is a function f from [omega_1]^2 to omega_1 such that if A,B, subsets of omega_1, are uncountable and x omega_1, then there are a < b in A and B respectively with f(a,b) = x. Previously it was unknown whether such a function existed even if omega_1 was replaced by 2. Finally, I will prove that there is no basis for the uncountable regular Hausdorff spaces of cardinality aleph_1. Each of these results gives a strong refutation of a well known and longstanding conjecture. The results all stem from the analysis of oscillations of coherent sequences {e_i : i < omega_1} of finite-to-one functions. I expect that the methods presented will have other applications as well.

연구 동기 및 목표

• ZFC에서 비분리적이고 고유로 리인델뢰프 공간(L 공간)이 존재할 수 없다는 오랫동안 남아 있던 추측을 해결하는 것.
• 모든 비가산 $ A,B \subseteq \omega_1 $ 및 $ \xi < \omega_1 $에 대해 $ A \times B $ 내의 $ \alpha < \beta $가 존재하여 $ f(\alpha,\beta) = \xi $가 되는 함수 $ f:[\omega_1]^2 \to \omega_1 $를 구성하는 것. 이는 부정적 분할 관계에 관한 질문에 대한 답을 제공한다.
• 크기 $ \aleph_1 $인 비가산 정규 하우스도르프 공간의 클래스에 대해 기저가 존재하지 않음을 증명하여, 위상수학에서 널리 알려진 추측을 반증하는 것.

제안 방법

• 일관된 수열 $ \langle e_\alpha : \alpha < \omega_1 \rangle $의 진동을 분석하여 L 공간을 구성한다.
• 투키 순서와 트리의 성질을 사용하여, 특정 유도된 트리들이 아론샤인 트리임을 보이며, 이는 비가산 분지 또는 비가산 반사계열이 존재하지 않음을 암시한다.
• 강제법의 응용과 c.c.c. 불파괴성의 성질을 사용하여, 위상 $ \tau[X] $의 비가산 부분공간이 첫 번째 가산이 될 수 없음을 보인다.
• $ \tau[X]^2 $ 내에서 닫힌 열린 이웃을 구성하여 비가산离산 부분공간을 고립시키며, 공간이 첫 번째 가산이 아님을 증명한다.
• 고유 리인델뢰프 성질을 활용하여, $ \tau[X] $ 위의 연속 실수값 함수는 반드시 가산 범위를 가져야 한다고 보여준다.
• 크기 $ \aleph_2 $인 거의 서로소 가닥의 존재를 활용하여, 기저의 크기가 최소 $ \aleph_2 $ 이상이어야 한다고 증명한다.

실험 결과

연구 질문

• RQ1 ZFC에서 비분리적이고 고유로 리인델뢰프 공간(L 공간)이 존재하는가? 이는 L 공간 문제를 해결하는 것이다.
• RQ2 모든 비가산 $ A,B \subseteq \omega_1 $ 및 $ \xi < \omega_1 $에 대해 $ A \times B $ 내의 $ \alpha < \beta $가 존재하여 $ f(\alpha,\beta) = \xi $가 되는 함수 $ f:[\omega_1]^2 \to \omega_1 $를 구성할 수 있는가? 이는 부정적 분할 관계에 관한 질문이다.
• RQ3 크기 $ \aleph_1 $인 비가산 정규 하우스도르프 공간의 클래스에 기저가 존재하는가? 만약 존재한다면, 그 최소 기수는 얼마인가?
• RQ4 $ X \subseteq \omega_1 $에 대해 위상 $ \tau[X] $를 사용하여, 비가산 이산 부분공간과 첫 번째 가산이 아님과 같은 강력한 위상적 성질을 갖는 공간을 구성할 수 있는가?
• RQ5 ZFC 구성의 맥락에서, 유한-일대함수들의 일관된 수열과 아론샤인 트리의 존재 간의 관계는 무엇인가?

주요 결과

• ZFC에서 비분리적이고 고유로 리인델뢰프 공간(L 공간)이 구성되었으며, 추가 공리 없이도 L 공간 문제를 해결하였다.
• 모든 비가산 $ A,B \subseteq \omega_1 $ 및 $ \xi < \omega_1 $에 대해 $ A \times B $ 내의 $ \alpha < \beta $가 존재하여 $ f(\alpha,\beta) = \xi $가 되는 함수 $ f:[\omega_1]^2 \to \omega_1 $가 구성되었으며, 이는 $ \omega_1 $가 2로 대체되더라도 그러한 함수의 존재를 증명한다.
• $ X \subseteq \omega_1 $에 대해 위상 $ \tau[X] $는 $ \tau[X]^2 $ 내에 비가산 이산 부분공간을 포함하지 않지만, 적절한 $ X $에 대해 $ \tau[X]^2 $ 내에는 비가산 이산 부분공간이 존재하므로 강력한 조합적 구조를 보인다.
• $ \tau[X] $의 모든 비가산 부분공간은 첫 번째 가산이 아니며, $ \tau[X] $ 위의 연속 실수값 함수는 반드시 가산 범위를 가져야 하므로, 강력한 위상적 제약 조건을 보여준다.
• 크기 $ \aleph_1 $인 비가산 정규 하우스도르프 공간의 클래스에 대해 기저가 존재하지 않으며, 그러한 기저의 기수는 최소 $ \aleph_2 $ 이상이어야 한다. 이는 오랫동안 남아 있던 추측을 반증한다.
• L 공간과 함수 $ f $의 구성은 유한-일대함수들의 일관된 수열과 그의 진동 성질에 의존하며, 유도된 트리 $ T(o) $가 아론샤인 트리임을 보여, 이는 증명의 핵심이다.