arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.02725

A note on power spaces and function spaces of strongly well-filtered spaces

Zhenzhu Yuan·Xiangrui Li·Bei Liu·Qinggguo Li
View original source ↗Read source document ↗Export metadata ↓

Abstract

Strong well-filteredness is a refinement of well-filteredness arising naturally in non-Hausdorff topology and domain theory. In this paper, we construct a countable locally compact strong R-space X such that neither its Smyth power space nor its Scott power space is a strong d-space. This example gives negative answers to the questions concerning the preservation of strong well-filteredness and the strong R-space property under power space constructions. Furthermore, for the two-point discrete space \two, the function space (\two,X) is not a strong d-space under any of the pointwise convergence, compact-open, Isbell, core-open or Scott topologies, where the Scott topology is induced by the pointwise order.

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zhenzhu Yuan, Xiangrui Li, Bei Liu, Qinggguo Li. 2026-10-02. A note on power spaces and function spaces of strongly well-filtered spaces. https://arxiv.org/abs/2610.02725

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A countable metric space whose Hoare power space is not co-sober

Xu asked whether the Hoare power space of a co-sober space, and in particular of a $T_2$-space or a metric space, must be co-sober. We give a negative answer. He and Zhao recently constructed a countable $T_{1}$ space $X$ whose lattice of open sets has a non-sober Scott topology. We observe that their topology has a countable subbase. The classical Ponomarev construction then yields an open continuous surjection from a countable zero-dimensional metrizable space $M$ onto $X$. Direct and inverse images then make the Scott space $Σ\mathcal{O}(X)$ a retract of $Σ\mathcal{O}(M)$, so $Σ\mathcal{O}(M)$ is not sober. Finally, we show that, for every $T_{0}$-space $Y$, the Hoare power space $\PH(Y)$ is co-sober if and only if the Scott space $Σ\mathcal{O}(Y)$ is sober. Consequently, $\PH(M)$ is not co-sober. Therefore, the same example answers negatively a question of He and Zhao about Scott sobriety of the lattices of open sets of countable Hausdorff spaces.

math.GN↗
arXiv2026

Profinite rigidity and quandle colourings

We show that the numbers of colourings of a link by all finite quandles is equivalent, as an invariant of links, to the profinite completion of the peripheral system. This allows us to reformulate the classical question of the completeness of the former invariant in terms of profinite rigidity. We also develop some profinite quandle theory, and we show that a topological quandle is profinite if and only if it is compact and totally discontinuous and its group of inner automorphism is relatively compact in its homeomorphism group.

math.GN↗
arXiv2026

On properties close to Polish cofinality in spaces of Baire-one and continuous functions

In this paper we prove that $B_1(X)$ has a dense cofinally Polish subspace if and only if $X$ is a $Δ_1$-space. Also we prove that $B_1(X, [0,1])$ has a dense cofinally Polish subspace if and only if $X$ is a weak $λ$-space. We also establish that $C_p(X, [0,1])$ is pseudocompact if and only if $C_p(X,[0,1])$ has a dense cofinally Polish subspace. This result provides answers to four open questions from (Tkachuk in RACSAM 115(68), 2021).

math.GN↗