[論文レビュー] Core-compactness of Smyth powerspaces

Zhenchao Lyu, Xiaodong Jia|arXiv (Cornell University)|Jul 10, 2019

Advanced Topology and Set Theory参考文献 8被引用数 4

ひとこと要約

この論文は、位相空間 $X$ のSmyth冪空間 $Q(X)$ がcore-compactであることと、$X$ が局所コンパクトであることの同値性を確立している。著者らは、一般にcore-compact性がSmyth冪空間構成によって保たれないことを証明しており、core-compactだが局所コンパクトでない空間が存在し、それらのSmyth冪空間はcore-compactでないことを示している。

ABSTRACT

We prove that the Smyth powerspace Q(X) of a topological space X is core-compact if and only if X is locally compact. As a straightforward consequence we obtain that the Smyth powerspace construction does not preserve core-compactness generally.

研究の動機と目的

• core-compact性がSmyth冪空間構成によって保たれるかどうかを調査すること。
• $Q(X)$ のcore-compact性と $X$ の局所コンパクト性の関係を明確にすること。
• 反例を構成することで、core-compact性が一般には保たれないことを示すこと。
• 基本空間 $X$ の局所コンパクト性を用いて、core-compactなSmyth冪空間を特徴づけること。

提案手法

• 上位ヴィエトリス位相を用いて、$Q(X)$ がc-空間であることと $X$ が局所コンパクトであることの同値性を証明する。
• c-空間と素性連続な開集合ラティス ($O(X)$) の同値性を用いて、core-compact性を分析する。
• 連続ラティスにおける素性連続性の基本基底基準を適用し、条件 $\Box U \subseteq \Box V \cup \Box W$ が成り立つと $\Box U \subseteq \Box V$ または $\Box U \subseteq \Box W$ が成り立つことを検証する。
• 既知の結果を活用する：$X$ がc-空間であることと $O(X)$ が素性連続であることの同値性、およびcore-compactだが局所コンパクトでない空間が存在すること。
• 背理法を用いて、$Q(X)$ がcore-compactならば $O(Q(X))$ が素性連続であることを示し、その結果 $X$ が局所コンパクトでなければならないと結論づける。
• [9] の結果を応用し、core-compactだが局所コンパクトでない空間が存在することを示し、その場合に $Q(X)$ がcore-compactでないことを示す。

実験結果

リサーチクエスチョン

• RQ1 Smyth冪空間 $Q(X)$ がcore-compactとなる条件は何か？
• RQ2 Smyth冪空間構成は、すべての位相空間に対してcore-compact性を保つのか？
• RQ3 $X$ の局所コンパクト性と $Q(X)$ のcore-compact性の関係は何か？
• RQ4 core-compactな空間 $X$ に対して、そのSmyth冪空間 $Q(X)$ がcore-compactでないことはあり得るか？
• RQ5 core-compactなSmyth冪空間を、基本空間 $X$ の性質を用いて特徴づけることは可能か？

主な発見

• $Q(X)$ がcore-compactであることと $X$ が局所コンパクトであることの同値性が確立された。
• Smyth冪空間構成は一般にcore-compact性を保たないことが、反例によって示された。
• $Q(X)$ がcore-compactならば $O(Q(X))$ は素性連続であり、その結果 $X$ が局所コンパクトであると結論づけられる。
• 上位ヴィエトリス位相と基底の議論を用いて、$Q(X)$ がc-空間であることと $X$ が局所コンパクトであることの同値性が確立された。
• [9] に示された、core-compactだが局所コンパクトでない空間の存在から、そのSmyth冪空間がcore-compactでないことが導かれる。
• 証明は、$\{\Box U \mid U \in O(X)\}$ が $O(Q(X))$ の基底をなすこと、および素性連続性条件が $X$ が局所コンパクトである場合にのみ成り立つという事実に依存している。