[논문 리뷰] The Shore Point Existence Problem is Equivalent to the Non Block Point Existence Problem

Daron Anderson|arXiv (Cornell University)|2018. 01. 01.

Advanced Topology and Set Theory참고 문헌 13인용 수 1

한 줄 요약

이 논문은 하우스도르프 연속체에서 해안점, 비블록점, 해안가 점의 존재라는 연속론의 세 기본 문제들 간의 동치성을 확립한다. 이는 세 성질이 논리적으로 동치임을 증명하며, 구성성에서 점을 제외한 부분연속체의 넷을 이용한 해안점의 더 강력한 특성화를 제시한다. 이로써 분해 불가능한 연속체의 모든 점이 해안점임을 보여준다.

ABSTRACT

We prove the three propositions are equivalent: $(a)$ Every Hausdorff continuum has two or more shore points. $(b)$ Every Hausdorff continuum has two or more non-block points. $(c)$ Every Hausdorff continuum is coastal at each point. Thus it is consistent that all three properties fail. We also give the following characterisation of shore points: The point $p$ of the continuum $X$ is a shore point if and only if there is a net of subcontinua in $\{K \in C(X): K \subset κ(p) - p\}$ tending to $X$ in the Vietoris topology. This contrasts with the standard characterisation which only demands the net elements be contained in $X-p$. In addition we prove every point of an indecomposable continuum is a shore point.

연구 동기 및 목표

• 하우스도르프 연속체가 해안점을 갖지 않을 수 있는지에 대한 열린 문제를 해결하기 위해.
• 해안점 존재 문제, 비블록점 존재 문제, 해안가 점 존재 문제의 논리적 동치성을 확립하기 위해.
• 구성성에서 점을 제외한 부분연속체의 넷을 이용한 해안점의 정교한 특성화를 제공하기 위해.
• 분해 불가능한 연속체의 해안점에 대한 구조적 성질을 조사하기 위해.
• 근접 필터의 일관성(NCF)과 같은 집합론적 공리가 비블록점 및 해안가 점 존재성에 미치는 영향을 탐색하기 위해.

제안 방법

• 하우스도르프 연속체의 부분연속체 초공간 위의 비에토리스 위상 구조를 이용하여 넷의 수렴을 통해 해안점을 특성화한다.
• 존의 보조정리를 적용하여 부분연속체로 분해된 연속체의 최소 분해 존재성을 증명한다.
• 단조 사상과 반연속체 이론을 활용하여 몰입 사상 하에서 조밀한 부분연속체의 행동을 분석한다.
• 경계 붕괴 원리를 적용하여 X−p의 연속체 성분이 X에 조밀하게 존재함을 보여준다.
• 집합론적 공리(NCF 등)를 적용하여 비블록점 및 해안가 점이 존재하지 않는 일致한 반례를 구성한다.
• 최소 분해 X1⊕X2의 구조를 분석하고, 조밀한 반연속체의 성질을 이용하여 해안점이 존재하지 않는 가정 하에서 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 해안점이 없는 하우스도르프 연속체에 대해 일관된 예가 존재하는가?
• RQ2 해안점 존재 문제와 비블록점 존재 문제가 논리적으로 동치인가?
• RQ3 구성성에서 점을 제외한 부분연속체의 넷을 이용하여 해안점을 더 강력하게 특성화할 수 있는가?
• RQ4 분해 불가능한 연속체의 모든 점이 해안점으로 간주될 수 있는가?
• RQ5 비거리 하우스도르프 연속체에서 해안가 점, 비블록점, 해안점 간의 관계는 무엇인가?

주요 결과

• 하우스도르프 연속체에서 해안점 존재, 비블록점 존재, 해안가 점 존재는 모두 논리적으로 동치이다.
• NCF 하에서는 어떤 하우스도르프 연속체도 비블록점을 갖지 않으며, 따라서 해안가 점이나 해안점도 갖지 않는 것이 일관되게 가능하다.
• 분해 불가능한 연속체의 모든 점은 해안점이다.
• 점 p ∈X가 해안점이 되는 것은, {K ∈C(X) : K ⊂κ(p)−p}에 속하는 부분연속체의 넷이 비에토리스 위상에서 X로 수렴하는 것이 존재하는 것과 동치이다.
• 만약 연속체에 해안점이 없다면, p ∈X1∩X2인 최소 분해 X = X1⊕X2에서, 점 p는 X1과 X2 양쪽에서 비해안점이 된다.
• 최소 분해 X1⊕X2에서 X1∩X2 = {p}이고, p가 X1과 X2 양쪽에서 모두 해안점이라면, C1∩C2 = ∅ 또는 C1∪C2 = X1∩X2를 만족하는 C1과 C2가 존재한다. 여기서 C1과 C2는 X1∩X2와 X1−X2 둘 모두와 만날 모든 조밀한 반연속체에 공통으로 속하는 점들의 집합이다.