[논문 리뷰] Topological Scott Convergence Theorem

Hadrian Andradi, Weng Kin Ho|arXiv (Cornell University)|2017. 10. 09.

Constraint Satisfaction and Optimization참고 문헌 6인용 수 6

한 줄 요약

이 논문은 $T_0$ 공간에서 방향 집합을 비가역 부분집합으로 대체하는 $τ_{\mathcal{ID}}$ 대체 원리를 사용하여, $τ_{\mathcal{I}}$-연속, $τ_{\mathcal{I}}$-안정, $τ_{\mathcal{DI}}$ 공간이라는 새로운 개념을 도입함으로써 스코트 수렴 정리의 위상적 유사체를 제안한다. 주요 결과는 $τ_{\mathcal{I}}$-연속이면서 초상소버 공간인 경우 반드시 $τ_{\mathcal{I}}$-안정이 되며, 이는 $τ_{\mathcal{I}}$-수렴이 위상적임을 보장하는 필요 조건을 제공한다.

ABSTRACT

Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of $T_0$ spaces instead of restricting to posets. In this paper, we respond to this calling with an attempt to formulate a topological version of the Scott Convergence Theorem, i.e., an order-theoretic characterisation of those posets for which the Scott-convergence $\mathcal{S}$ is topological. To do this, we make use of the $\mathcal{ID}$ replacement principle to create topological analogues of well-known domain-theoretic concepts, e.g., $\mathcal{I}$-continuous spaces correspond to continuous posets, as $\mathcal{I}$-convergence corresponds to $\mathcal{S}$-convergence. In this paper, we consider two novel topological concepts, namely, the $\mathcal{I}$-stable spaces and the $\mathcal{DI}$ spaces, and as a result we obtain some necessary (respectively, sufficient) conditions under which the convergence structure $\mathcal{I}$ is topological.

연구 동기 및 목표

• 제이. 디. 로우슨의 제안에 응답하여 도메인 이론을 제한된 부분순서집합이 아닌 더 넓은 $T_0$ 공간의 맥락에서 발전시키기 위해.
• 고전적인 스코트 수렴 정리의 위상적 변형을 제시하여 스코트 수렴이 언제 위상적일 수 있는지 특성화하기 위해.
• 기존 도메인 이론의 개념에 해당하는 새로운 위상적 개념—$τ_{\mathcal{I}}$-연속, $τ_{\mathcal{I}}$-안정, $τ_{\mathcal{DI}}$ 공간—을 도입하고 분석하기 위해.
• 위상적 성질 간의 관계를 규명하기 위해 $T_0$ 공간에서의 $τ_{\mathcal{I}}$-수렴 구조가 언제 위상적일 수 있는지 비가역 집합의 관점에서 조사하기 위해.

제안 방법

• $τ_{\mathcal{ID}}$ 대체 원리를 적용하여, 부분순서집합에서의 방향 집합을 $T_0$ 공간에서의 비가역 부분집합으로 대체함으로써 도메인 이론의 개념을 일반화한다.
• 비가역 부분집합의 집합에 대한 하부 비에토리스 위상과 함께, $T_0$ 공간 위에 비가역적으로 유도된 위상 $\tau_{\mathcal{I}}$를 구성한다.
• 논문은 각 점이 그 점을 근사하는 상한을 가지는 비가역 부분집합의 기저를 갖는 공간을 $τ_{\mathcal{I}}$-연속 공간으로 정의한다.
• $τ_{\mathcal{I}}$-안정 공간의 개념을 도입하여, 위상이 비가역 상한에 대해 안정되어 있어 수렴의 호환성을 보장한다.
• $τ_{\mathcal{DI}}$ 공간은 모든 비가역 집합이 상한을 가지며, 위상이 이 구조와 일관되게 유지되는 $T_0$ 공간으로 정의된다.
• 논문은 모든 비가역 집합이 유일한 상한을 가지는 초상소버 공간의 개념을 사용하여 위상적 성질 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $T_0$ 공간에서의 $τ_{\mathcal{I}}$-수렴 구조가 위상적일 수 있는가?
• RQ2 $T_0$ 공간의 맥락에서 연속 dcpo의 위상적 유사체는 무엇이며, 비가역 집합과 어떻게 관련되는가?
• RQ3 새로운 개념들—$τ_{\mathcal{I}}$-연속, $τ_{\mathcal{I}}$-안정, $τ_{\mathcal{DI}}$ 공간—는 상호간에 어떻게 관련되어 있으며, 고전적인 도메인 이론적 성질과 어떻게 연결되는가?
• RQ4 비가역 집합 수렴을 통해 스코트 수렴 정리가 $T_0$ 공간으로 일반화될 수 있는가? 그리고 이 경우의 필요 및 충분 조건은 무엇인가?
• RQ5 비가역 집합 수렴을 통해 $τ_{\mathcal{I}}$-연속, $τ_{\mathcal{I}}$-안정, $τ_{\mathcal{DI}}$ 공간을 구별하는 예시는 존재하는가? 그들 간의 상호관계는 어떠한가?

주요 결과

• $τ_{\mathcal{I}}$-연속이면서 초상소버 공간인 경우 반드시 $τ_{\mathcal{I}}$-안정이 되며, 이는 $τ_{\mathcal{I}}$-수렴이 위상적임을 보장하는 충분 조건을 제공한다.
• $τ_{\mathcal{I}}$-안정이면서 $τ_{\mathcal{I}}$-연속인 공간의 클래스는 보간 성질을 만족하여 구조적 풍부성을 나타낸다.
• $τ_{\mathcal{I}}$-안정이면서 $τ_{\mathcal{I}}$-연속인 공간에 대해 형식 $\mathord{\mathord{\rotatebox[origin={c}]{90.0}{$\twoheadrightarrow$}}}_{\mathcal{I}}x = \{p \in X \mid x \ll_{\mathcal{I}} p\}$의 기저 존재를 추측한다. 이는 스코트 위상의 기저와 유사하다.
• 논문은 $τ_{\mathcal{I}}$-안정, $τ_{\mathcal{I}}$-연속, 초상소버, $τ_{\mathcal{DI}}$의 네 가지 위상적 성질을 구별하는 예시의 부족을 지적하며, 이들의 상호관계 이해 부족을 드러낸다.
• ‘+~{}+~{}+~{}-’ 구성(즉, $τ_{\mathcal{I}}$-연속, 초상소버, $τ_{\mathcal{I}}$-안정, $τ_{\mathcal{DI}}$가 아님)은 정리 16에 의해 불가능하다. 이는 특정 조합을 배제한다.