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^{\uparrow}_{d\in D}\bigwedge K_d$ exists and $x\not\leq \bigvee^{\uparrow}_{d\in D}\bigwedge K_d$, then there is $\varphi\in \prod\limits_{d\in D}\!\!K_d$ and an upper bound $u$ of $\varphi(D)$ such that $x\not\leq 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.
From: Xiaoquan Xu [view email]
[v1]
Wed, 17 Jun 2026 08:08:56 UTC (65 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。