[論文レビュー] A Hofmann-Mislove Theorem for Scott open sets

Matthias Schröder|arXiv (Cornell University)|Jan 26, 2015

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空間では、この結果により、任意の非空なスコット開集合族の交わりがコンパクトであることが示され、コンパクト性と可算コンパクト性が一致する。
• 非逐次ハウスドルフ空間の例は、逐次ハウスドルフ性が本質的であることを示している：それがないと、ω-スコット開族の交わりが可算コンパクトでなくなることがある（例：同じ列が2つの異なる極限を持つ空間におけるℕ）。