Coincidence of the upper Vietoris topology and the Scott topology
Abstract
For a T0 space X, let (X) be the poset of all compact saturated sets of X with the reverse inclusion order. The space X is said to have property Q if for any K1, K2∈ (X), K2 K1 in (X) iff K2⊂eq ~\!K1. In this paper, we give several connections among the well-filteredness of X, the sobriety of X, the local compactness of X, the core compactness of X, the property Q of X, the coincidence of the upper Vietoris topology and Scott topology on (X), and the continuity of x x : X ~\!\! (X) (where ~\!\! (X) is the Scott space of (X)). It is shown that for a well-filtered space X for which its Smyth power space PS(X) is first-countable, the following three properties are equivalent: the local compactness of X, the core compactness of X and the continuity of (X). It is also proved that for a first-countable T0 space X in which the set of minimal elements of K is countable for any compact saturated subset K of X, the Smyth power space PS(X) is first-countable. For the Alexandroff double circle Y, which is Hausdorff and first-countable, we show that its Smyth power space PS(Y) is not first-countable.