arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.04487

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

Alexander V. Osipov
View original source ↗Read source document ↗Export metadata ↓

Abstract

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).

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexander V. Osipov. 2026-10-03. On properties close to Polish cofinality in spaces of Baire-one and continuous functions. https://arxiv.org/abs/2610.04487

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

KEEP EXPLORING

Related papers

arXiv2026

A General Framework for $Q\text{--}P$ Spaces and Intermediate Hausdorff-Type Structures

We introduce a unified framework of $Q\text{--}P$ spaces, designed to encompass a broad class of generalized topological structures arising from the interaction of two topological properties. We establish general permanence and transfer results, including heredity, productivity, additivity, and separation properties. Specializing to the Hausdorff setting, we investigate the intermediate classes \(C\)-Hausdorff, \(PS\)-Hausdorff, and \(CC\)-Hausdorff, and obtain the hierarchy \[ T_2 \Longrightarrow Ps\text{-}Hausdorff \Longrightarrow CC\text{-}Hausdorff \Longrightarrow C\text{-}Hausdorff \Longrightarrow T_1. \] For \(C\)-Hausdorff spaces, we derive intrinsic characterizations and establish the equivalence with the simultaneous properties of \(k\)-Hausdorffness and \(KC\). We further examine their connections with \(k\)-spaces, Fréchet spaces, local compactness, realcompactness, and \(\aleph_0\)-boundedness. Finally, carefully constructed examples and counterexamples demonstrate the strictness of the hierarchy and the necessity of the hypothesis. Thus, the \(Q\!-\!P\) framework provides a unified perspective on generalized separation axioms and reveals a rich structure between classical Hausdorffness and \(T_1\)-separation.

math.GN↗
arXiv2026

Lindelöf-type properties of spaces of Baire-one functions

In this paper, we investigate Lindelöf-type properties of spaces of Baire-one functions equipped with the topology of pointwise convergence. In particular, we investigate the properties of normality, extent and realcompactness for the space $B_1(X)$ of Baire-one real-valued functions. We also study when $B_1(X)$ is realcompact: we show that this is the case for every hereditarily Baire (in particular, every Polish) separable metrizable space $X$ and for every Luzin set $X$. The paper provides answers to two Teng's questions. The paper raises open questions.

math.GN↗
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↗