Unbounded towers and products

Piotr Szewczak; Magdalena Włudecka

Home/Archive/arXiv

arXiv · 1912.02528

Unbounded towers and products

Piotr Szewczak·Magdalena Włudecka

View original source ↗Read source document ↗Export metadata ↓

Abstract

We investigate products of sets of reals with combinatorial covering properties. A topological space satisfies $\mathsf{S}_1(Γ,Γ)$ if for each sequence of point-cofinite open covers of the space, one can pick one element from each cover and obtain a point-cofinite cover of the space. We prove that, if there is an unbounded tower, then there is a nontrivial set of reals satisfying $\mathsf{S}_1(Γ,Γ)$ in all finite powers. In contrast to earlier results, our proof does not require any additional set-theoretic assumptions. A topological space satisfies $Ω\chooseΓ$ (also known as Gerlits--Nagy's property $γ$) if every open cover of the space such that each finite subset of the space is contained in a member of the cover, contains a point-cofinite cover of the space. We investigate products of sets satisfying $Ω\chooseΓ$ and their relations to other classic combinatorial covering properties. We show that finite products of sets with a certain combinatorial structure satisfy $Ω\chooseΓ$ and give necessary and sufficient conditions when these sets are productively $Ω\chooseΓ$.

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Piotr Szewczak, Magdalena Włudecka. 2019-12-05. Unbounded towers and products. https://arxiv.org/abs/1912.02528

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

KEEP EXPLORING

Related papers

arXiv2026

Homogeneous linearly ordered spaces

Every compact subset of a homogeneous generalized ordered (GO) space has character at most $ω_1$ and cardinality at most $2^{ω_1}$; if such a subset has uncountable character, then the character of the whole space equals $ω_1$ and its $π$-character is countable. We construct a homogeneous $σ$-compact linearly ordered space (LOTS) $\mathbf{H}$ containing a compact subset $\mathbf{S}$ of cardinality $2^{ω_1}$ whose character is $ω_1$ at every point and whose weight and Souslin number are both $2^{ω_1}$; thus both bounds obtained are sharp. We prove that a semitopological group that is a GO space is hereditarily paracompact; if, in addition, it is not a $P$-space, then it is submetrizable, has countable character, and its compact subsets are metrizable. Every linearly ordered semitopological group (and, more generally, every GO semitopological group) is either metrizable or is a $P$-space; the same holds for topological groups. We also show that in an order-homogeneous LOTS every compact subset is first countable.

math.GN↗

arXiv2026

A New Approach to Universal Measurability

V. Fedorchuk, A. Chizogidze, and T. Banakh in 2003 and V. Bogachev in 2024 posed the following questions: (i) is it true that $P_τ(X)$ is $C$-embedded in $P_σ(X)$; (ii) Is it true that $P_R(X)$ is $C$-embedded in $P_R(βX)$ if and only if $X$ is pseudocompact, where $P_σ$, $P_τ$, and $P_R$ are the functors of probability $σ$-additive on the Baire $σ$-algebra, $τ$-additive, and Radon measures on the space $X$? The answers to these questions are negative. However, if instead of probability measures we consider the corresponding alternating measures $M_σ$, $M_τ$, and $M_R$, the situation changes. It is proved that (i) $M_τ(X)$ is $C$-embedded in $M_σ(X)$; (ii) $M_R(X)$ is $C$-embedded in $M_R(βX)$ if and only if $X$ is pseudocompact. The question of $C$-embedding of measure spaces is an extension of the question of coincidence of measure spaces, which is a development of the classical concepts of universally measurable and universal measure zero sets. A general theorem is obtained, which leads to the mentioned results.

math.GN↗

arXiv2026

One-Point Metrizable Coarsenings: Gauges and Local Metric Preservation

Let $(X,τ)$ be metrizable and let $a\in X$. We give a constructive account of metrizable topologies $σ\subseteqτ$ that agree with $τ$ on $X\setminus\{a\}$. Applying Hausdorff's classical metric collapse construction, for every noncompact $(X,τ)$ and every compatible metric $d$ we obtain a strict coarsening with a metric $p\le d$ that agrees with $d$ on a common neighborhood of each point other than $a$. A prescribed countably infinite closed discrete set $\{x_n:n\in\N\}\subseteq X\setminus\{a\}$ can be made to satisfy $p(a,x_n)\leλ_n$ for any positive null sequence $(λ_n)$. The resulting metric is greatest among the metrics dominated by $d$ that satisfy these bounds, and is complete whenever $d$ is complete. We exhibit its realization as a classical metric quotient. We also represent all localized metrizable coarsenings by continuous scalar gauges using a standard cone metric. Inclusion is expressed by the cofinal comparison of sublevel sets familiar from extension-trace theory, while pointwise maximum and minimum realize finite joins and meets. A closed-discrete criterion detects strictness. Standard preservation results for Borel structure, complete metrizability, and Polishness, together with function-space and local-field examples, complete the account.

math.GN↗