超Sober空间与k-有界Sober空间的性质

讨论了超Sober空间与k-有界Sober空间的一些性质,厘清相关拓扑之间的关系.特别地证明了一个空间是超Sober空间当且仅当其Smyth上幂空间为超Sober空间;任意一族k-有界Sober空间的积空间为k-有界Sober空间.

κ-有界sober空间的收缩与Smyth幂空间

主要讨论κ-有界sober空间对遗传、收缩、函数空间和Smyth幂构造的封闭性,证明了κ-有界sober空间是饱和遗传的,但不是闭遗传的;对收缩与Smyth幂构造均不具有封闭性.还证明了存在κ-有界sober空间X使得函数空间[X→X]赋予点式收敛拓扑不是κ-有界sober空间.

有界sober空间和有界well-filtered空间的若干性质

本文主要讨论有界sober空间、有界well-filtered空间和有界d-空间的基本性质,证明了对T0空间X,以下三个条件等价:(1)X的Smyth幂空间P_(S)(X)是有界sober空间;(2)对任意有上界的既约子集A∈Irr(P_(S)(X)),U∈O(X),若∩A■U,则存在K∈A使得K■U;(3)对任意既约子集A∈Irr(P_(S)(X)),U∈O(X),若∩A≠∅,且∩A■U,则存在K∈A使得K■U。证明了:若T_(0)空间X的Smyth幂空间P_(S)(X)是有界sober空间,则X是有界sober空间。给出了两个例子说明:与sober性不同,存在有界sober空间X,X不是有界well-filtered的,其Smyth幂空间P_(S)(X)不是有界sober空间。对T_(0)空间X,证明了以下三个条件等价:(1)X为有界well-filtered空间;(2)X的Smyth幂空间P_(S)(X)为有界d-空间;(3)P_(S)(X)为有界well-filtered空间。

可数k-有界sober空间

可数k-有界sober空间是k-有界sober空间的一种推广。本文引入由可数既约集所诱导的拓扑、可数k-有界sober空间以及CSI-连续空间等概念并讨论它们的一些基本性质。特别地,证明CSI-连续的P-空间中由可数既约集所诱导的拓扑是可数k-有界sober拓扑。