[논문 리뷰] A Hofmann-Mislove Theorem for Scott open sets

Matthias Schröder|arXiv (Cornell University)|2015. 01. 26.

Computability, Logic, AI Algorithms참고 문헌 3인용 수 8

한 줄 요약

이 논문은 순차적으로 하우스도르프 순차 공간 내의 스코트 개방 집합에 대해 일반화된 호프만-미슬로브 정리를 수립하며, 공집합이 아닌 ω-스코트 개방 집합의 모임에서 가산 콤���트 부분집합으로의 교차 사상이 연속적이고 재구성 가능한 임베딩임을 증명한다. 이 결과는 종속 선택 공리를 전제로 하며, 고전적 호프만-미슬로브 정리를 더 넓은 범주인 위상적이고 범주론적인 성질을 향상시킨 공간으로 확장한다.

ABSTRACT

We consider the intersection map on the family of non-empty $ω$-Scott-open sets of the lattice of opens of a topological space. We prove that in a certain class of topological spaces the intersection map forms a continuous retraction onto the space of countably compact subsets of the space equipped with (the sequentialisation of) the upper Vietoris topology. This class consists of all sequential spaces which are sequentially Hausdorff.

연구 동기 및 목표

• 고전적 호프만-미슬로브 정리를 필터를 초월하여 공집합이 아닌 모든 ω-스코트 개방 집합의 모임으로 확장하기.
• 교차 사상이 연속적이고 재구성 가능한 임베딩이 되는 위상공간의 범주—특히 순차적으로 하우스도르프 순차 공간—를 규명하기.
• 개방 집합의 가족에 대한 ω-스코트 위상에서부터 가산 콤파クト 부분집합의 순차화된 상부 비에토리스 위상으로의 교차 사상의 연속성을 확립하기.
• 전체 선택 공리를 사용하는 대신 증명에서 종속 선택 공리만을 사용하여 선택 공리 의존도를 줄이기.

제안 방법

• 위상공간 X의 개방 집합 랏의 공집합이 아닌 ω-스코트 개방 부분집합의 집합을 정의하고, 이를 𝒪𝒪₊(X)로 표기한다.
• 𝒪𝒪₊(X)에 ω-스코트 위상을 도입하고, 가산 콤파クト 부분집합의 공간에는 상부 비에토리스 위상의 순차화된 위상을 부여한다.
• 순차적으로 하우스도르프 순차 공간 내에서 순차 수렴에 대해 교차 사상 H ↦ ⋂H 가 연속적임을 증명한다.
• qcb-공간 내의 콤파クト성 성질과 순차 수렴을 활용하여 연속성과 재구성 성질을 확립한다.
• 순차 하우스도르프 성질을 활용하여 수렴하는 수열의 극한이 유일함을 보장함으로써 재구성 사상의 단사성과 연속성을 확보한다.
• 보조정리 3.4를 적용하여 ⋂H 내의 수열이 수렴하는 부분수열을 가짐을 보여, 이는 순차 콤파クト성과 따라서 가산 콤파クト성을 의미한다.

실험 결과

연구 질문

• RQ1 어느 위상공간에서 공집합이 아닌 ω-스코트 개방 집합의 모임에서의 교차 사상이 가산 콤파クト 부분집합의 공간으로 연속적이고 재구성 가능한 임베딩이 되는가?
• RQ2 고전적 호프만-미슬로브 정리는 필터를 초월하여 임의의 공집합이 아닌 ω-스코트 개방 집합의 모임으로 어떻게 일반화될 수 있는가?
• RQ3 이 일반화된 설정에서 교차 사상의 연속성을 보장하기 위해 필요한 필수 조건은 무엇인가? (예: 순차성, 순차 하우스도르프 성질)
• RQ4 일반화된 정리에서 전체 선택 공리를 종속 선택 공리와 같은 더 약한 선택 공리로 대체할 수 있는가?
• RQ5 순차 공간 내에서 ω-스코트 개방 집합, 가산 콤파クト성, 순차 콤파クト성 간의 관계는 무엇인가?

주요 결과

• 교차 사상 H ↦ ⋂H 는 순차적으로 하우스도르프 순차 공간 내에서 공집합이 아닌 ω-스코트 개방 집합의 모임 공간에서 가산 콤파クト 부분집합의 공간으로의 연속적이고 재구성 가능한 임베딩이다.
• 모든 공집합이 아닌 ω-스코트 개방 집합 H 에 대해 교차 ⋂H 는 순차 콤파クト이자 가산 콤파クト이다.
• 사상 H ↦ ⋂H 는 𝒪𝒪₊(X) 에서의 ω-스코트 위상과 ℒ(X) 에서의 상부 비에토리스 위상의 순차화된 위상에 대해 연속적이다.
• 재구성 사상은 연속적인 단면 e: K ↦ {U ∈ 𝒪(X) | K ⊆ U} 를 가지며, 이는 각 가산 콤파クト 집합을 그 이웃의 상부 집합으로 매핑한다.
• qcb-공간에서는 이 결과로 인해 공집합이 아닌 스코트 개방 집합의 가족의 교차는 콤파クト함을 의미한다. 왜냐하면 콤파クト성과 가산 콤파クト성이 일치하기 때문이다.
• 비순차 하우스도르프 공간의 예는 순차 하우스도르프 성질이 필수적임을 보여준다. 이 성질이 없을 경우, ω-스코트 개방 집합의 교차가 가산 콤파クト성이 아닐 수 있다 (예: 동일한 수열이 두 개의 서로 다른 극한을 가진 공간 내의 ℕ).