arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.34517

Baire 1 functions and the strong Choquet property

Ľubica Holá
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let X be a Tychonoff space and B_1(X) be the space of real-valued Baire 1 functions. Using the classical Lebesgue's characterization of Baire 1 functions and the strong Choquet game we prove that if X is locally compact or a topological sum of sigma-compact spaces, the space B_1(X) equipped with the topology τ_UC of uniform convergence on compacta, is a strong Choquet space. For the Sorgenfrey line S, the space (B_1(S); τ_UC) is of the first Baire category in itself.

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ľubica Holá. 2026-09-28. Baire 1 functions and the strong Choquet property. https://arxiv.org/abs/2609.34517

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

KEEP EXPLORING

Related papers

arXiv2026

From samples to shape: a finite approach to topological invariants

Given a metric space $Y$ and a compact subspace $X$, we present a method for constructing an inverse sequence of finite topological spaces by sampling points from neighborhoods of $X$ in $Y$. We show that these inverse sequences can be employed to define shape theory and to approximate shape invariants, such as Čech homology groups.

math.GN↗
arXiv2026

On disjoint tilings of $\ell_1(κ)$ by star-shaped bodies

We employ the set-theoretic methods yielding the consistency of the existence of nontrivial pairwise disjoint covers of the unit interval (or equivalently $\mathbb{R}^n$ for $n\in\mathbb{N}\setminus\{0\}$) by less than $2^ω$ closed sets in the context of covers of infinite dimensional Banach spaces $\ell_1(κ)$ for infinite $κ$ under geometric conditions arising in tiling theory and in approximation theory. Specifically, for $κ=ω_1, ω_2$, using side-by-side Sacks forcing we prove the consistency of an arbitrarily large continuum above $κ$ with the existence of a highly disconnected proximinal set in $\ell_1(κ)$, built from norm-compact pieces separated by a common positive distance, and the existence of a normal disjoint tiling of $\ell_1(κ)$ by star-shaped bodies of the form $X+B$, where $X$ is norm compact and $B$ is the unit ball. We also prove that if $κ$ is an uncountable cardinal of countable cofinality, then $\ell_1(κ)$ does not admit any normal disjoint tiling by bodies of the form $X+B$, where $X$ is closed and norm-separable and $B$ is the unit ball. These results complement a result of Klee of 1981 obtained for $κ$ satisfying $κ^ω=κ$, recent results of De Bernardi, Russo, Sezgek and Somaglia, and a $\mathsf{ZFC}$ a machine-discovered result (included in the appendix) that there are no nontrivial discrete Chebyshev sets in $\ell_1(κ)$ when $κ<2^ω$.

math.GN↗
arXiv2026

A solution of the D-space Problem

Settling a central problem in set-theoretic topology, and many related problems, we prove that there is, consistently, a regular Lindelöf space of cardinality $\aleph_1$ that is not a D-space. The existence of such a space is independent of ZFC; we establish its equivalence to a weak form of the Continuum Hypothesis. The proof of the main theorem is adjustable to produce consistent examples with a variety of stronger properties.

math.GN↗