Some characterizations of weak sobriety and upper spaces (Q2033201)

A topological space \(X\) is called \textit{weak sober} if every proper irreducible closed subset has a unique generic point. Equivalently, the authors show, \(X\) is \(\Psi_{\chi}\)-fine, that is for any nonempty open subset \(U\) of \(X\) and any \(\mathcal{A} \in \Psi_{\chi}(X)\), where \(\Psi_{\chi}\) consists of the irreducible subsets of the upper Vietoris space \(\mathcal{Q}_{v}(X)\) of nonempty saturated compacta of \(X\), \(\bigcap \mathcal{A} \subseteq U\) implies \(A \subseteq U\) for some \(A \in \mathcal{A}\). Restricting irreducible to directed subsets with respect to the specialization order yields the wider notion of a \textit{weak well-filtered} or \(\Psi_{\omega}\)-fine space. It is shown that for locally compact, and even core-compact spaces, both notions coincide. The authors restate the equivalence of core-compactness with local compactness for weak well-filtered, and by another proof for weak sober spaces. Further theorems concern the interplay between \(X\) and \(\mathcal{Q}_{v}(X)\), among others \(X\) is weak sober iff \(\mathcal{Q}_{v}(X)\) is, a weak well-filtered space \(X\) is core-compact iff \(\mathcal{Q}_{v}(X)\) is, and a locally compact and weak sober space \(X\) is coherent iff \(\mathcal{Q}_{v}(X)\) is.