Some new results on well-filteredness of $T_0$-spaces

Abstract

For a $T_0$-space $X$, let $Q(X)$ be the poset of nonempty compact saturated sets of $X$ with the reverse inclusion order. The space $X$ is said to have property Q if it satisfies the following two conditions: (1) $\wedge K$ exists for any $K\in Q(X)$, and (2) for any filtered family $\{K_d:d\in D\}\subseteq Q(X)$ and $x\in X$, if ${\bigvee }_{d\in D}^{\uparrow }\bigwedge K_d$ exists and $x\nleqq {\bigvee }_{d\in D}^{\uparrow }\bigwedge K_d$, then there is $\phi \in \prod _{d\in D}{K}_d$ and an upper bound $u$ of $\phi (D)$ such that $x\nleqq u$. In this paper, we prove that every $d$-space with property Q is well-filtered and the Smyth power space of a $T_0$-space always has property Q. Hence the Smyth power construction preserves the well-filteredness. For a complete lattice $L$ and an order-compatible $d$-topology $\tau$ on it, we show that when $L$ possesses a certain distributivity, $(L,\tau )$ is well-filtered.

9 pages, 1 figure