A density counterpart of the Scheepers covering property

Basic Information

• Paper ID: 2510.11033
• Title: A density counterpart of the Scheepers covering property
• Authors: Leandro Aurichi, Fortunato Maesano, Lyubomyr Zdomskyy
• Classification: math.GN (General Topology)
• Publication Date: October 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.11033

Abstract

This paper introduces a density dual of the Scheepers covering property $\bigcup_{\mathrm{fin}}(\mathcal{O},\Omega)$ and investigates its relationship with known combinatorial density properties. In particular, the authors prove that under the Near Coherence of Filters (NCF) principle of Blass and Weiss, this new property is equivalent to M-separability.

Research Background and Motivation

Problem Background

1. Development of combinatorial covering properties: Combinatorial covering properties (selection principles) are important concepts in topology, introduced by Hurewicz and Menger, with Scheepers creating a unified notation system and classification diagram.
2. Introduction of density properties: As duals of covering properties, combinatorial density properties were introduced in the literature 20, including concepts such as M-separability and H-separability.
3. Missing dual of Scheepers property: While Hurewicz and Menger properties have corresponding density duals (H-separability and M-separability), the Scheepers property $\bigcup_{\mathrm{fin}}(\mathcal{O},\Omega)$ has lacked a corresponding density dual.

Research Motivation

1. Perfecting the theoretical framework: Providing complete density duals for properties in the Scheepers diagram to make the theoretical system more comprehensive.
2. Exploring equivalence relationships: Investigating the relationship between the newly introduced S-separability and known M-separability under specific set-theoretic assumptions.
3. Application value: This property has potential applications in the study of uniform covering properties of free topological groups and function space theory.

Core Contributions

1. Introduction of S-separability: First defines S-separability, the density dual of the Scheepers covering property.
2. Establishment of equivalence theorem: Under the NCF principle, proves the equivalence of S-separability, mS-separability, and M-separability (Theorem 1.1).
3. Construction of separating examples: Under the Continuum Hypothesis (CH), constructs a countable regular space that is mS-separable but not S-separable (Theorem 1.3).
4. Characterization of function spaces: Proves that for Tychonoff spaces T, S-separability, mS-separability, and M-separability of $C_p(T)$ are equivalent in ZFC (Theorem 1.6).
5. Properties of Fréchet-Urysohn spaces: Proves that every countable Fréchet-Urysohn space is S-separable (Theorem 1.8).

Detailed Methodology

Task Definition

S-separability definition: A topological space X is S-separable if for every sequence of dense subsets $\langle D_n : n \in \omega \rangle$ of X, there exists a sequence $\langle F_n : n \in \omega \rangle$ such that:

• $F_n \in [D_n]^{<\omega}$ ($F_n$ is a finite subset of $D_n$)
• For every finite family of non-empty open sets $\{U_i : i \in k\}$ of X, there exists $n \in \omega$ such that $U_i \cap F_n \neq \emptyset$ for all $i \in k$

Related concepts:

• mS-separability: S-separability considering only decreasing sequences of dense subsets
• M-separability: Requires $\bigcup_{n \in \omega} F_n$ to be dense in X
• H-separability: Based on M-separability, requires every non-empty open set to intersect all but finitely many $F_n$

Core Technical Methods

1. Filter Parameterization Method

Introduces a free filter G as a parameter, defining $S_G$-separability:

For a sequence of dense subsets ⟨D_n : n ∈ ω⟩, there exists ⟨F_n : n ∈ ω⟩ such that
{n ∈ ω : U ∩ F_n ≠ ∅} ∈ G for all non-empty open U ⊂ X

2. Application of Cardinal Characteristics

• Utilizes the cardinal characteristic d (controlling the minimum cardinality of functions)
• Applies the NCF principle: for any two non-principal filters, there exists a monotone surjection whose image's union is centered

3. Recursive Construction Technique

When constructing counterexamples under CH, employs recursive methods:

• Constructs a sequence of topologies $\langle \tau_\beta : \beta \in \omega_1 \rangle$
• At each step ensures satisfaction or violation of certain combinatorial properties
• Utilizes properties of choice ultrafilters

Technical Innovations

1. New perspective on density properties: Transforms the "finite selection" concept of covering properties into the "finite intersection" concept of density properties.
2. Deep application of filter theory: Skillfully applies the NCF principle to establish connections between different separability concepts.
3. Refinement of construction techniques: In counterexample construction, precisely controls different levels of topological structure to separate relevant concepts.

Experimental Setup

Theoretical Verification Framework

This paper primarily conducts theoretical proofs, with verification methods including:

1. Proofs of positive results:
   • Uses the NCF principle to prove equivalences
   • Utilizes known properties of function spaces
2. Counterexample construction:
   • Constructs separating examples under CH assumption
   • Verifies that constructed spaces satisfy expected properties
3. Application verification:
   • Verifies S-separability of Fréchet-Urysohn spaces
   • Checks equivalence in $C_p$ spaces

Set-Theoretic Assumptions

• NCF: Near Coherence of Filters principle
• CH: Continuum Hypothesis
• Cardinal inequalities: $u < d$, $r \geq d$, $b = d$, etc.

Experimental Results

Main Results

Theorem 1.1 (Equivalence under NCF)

Under the NCF principle, for countable spaces X the following conditions are equivalent:

1. X is S-separable
2. X is mS-separable
3. X is M-separable

Theorem 1.3 (Separation under CH)

Under CH, there exists a countable regular space without isolated points that is mS-separable but not S-separable.

Theorem 1.6 (Equivalence for function spaces)

For Tychonoff spaces T, the following are equivalent in ZFC:

1. $C_p(T)$ is S-separable
2. $C_p(T)$ is mS-separable
3. $C_p(T)$ is M-separable

Theorem 1.8 (Properties of FU spaces)

Every countable Fréchet-Urysohn space is S-separable.

Technical Lemmas

Lemma 2.2: A technical result involving function control that provides support for the proofs of main theorems.

Proposition 2.3: Under NCF, ultrafilters generated by fewer than d sets make M-separable spaces become $S_G$-separable.

Open Problems

The paper raises several important open problems:

1. Problem 1.2: Are Menger and Scheepers covering properties equivalent under NCF?
2. Problem 1.4: Does $r \geq d$ imply the existence of M-separable but non-S-separable spaces?
3. Problem 1.7: Is every M-separable countable topological group S-separable?

Related Work

Historical Development

1. Hurewicz-Menger theory: Classical foundation of combinatorial covering property theory
2. Scheepers diagram: Unified classification system of selection principles
3. Density property theory: Dual theory of covering properties developed by Scheepers and others

Technical Connections

• Filter theory: Blass-Weiss NCF principle
• Cardinal characteristics: Fundamental concepts in infinite combinatorics
• Function space theory: Applications of $C_p$ theory

Positioning of This Paper's Contribution

This paper fills the theoretical gap of Scheepers property lacking a density dual, perfecting the dual theory system of selection principles.

Conclusions and Discussion

Main Conclusions

1. Theoretical completeness: S-separability as a natural density dual of Scheepers property perfects the theoretical framework.
2. Dependence on conditions: The equivalence of different separability concepts strongly depends on set-theoretic assumptions, with NCF and CH giving opposite results.
3. Special nature of function spaces: The equivalence of relevant concepts in $C_p$ spaces does not depend on additional assumptions.

Limitations

1. Set-theoretic dependence: Main results require strong set-theoretic assumptions (NCF or CH).
2. Construction complexity: The construction of separating examples is extremely technical and difficult to generalize.
3. Application scope: Currently limited mainly to theoretical research, with practical applications yet to be developed.

Future Directions

1. Optimization of cardinal assumptions: Seeking weaker set-theoretic assumptions to achieve the same results.
2. Topological group theory: Deeper investigation of related properties in topological groups.
3. Generalization to function spaces: Extension to more general categories of function spaces.

In-Depth Evaluation

Strengths

1. Theoretical innovation: First systematically introduces and studies the density dual of Scheepers property, filling an important theoretical gap.
2. Technical depth: Skillfully combines filter theory, cardinal characteristics, and topological construction, demonstrating superior technical mastery.
3. Complete results: Provides both positive equivalence results and precise separating examples, with a clear theoretical picture.
4. Problem-oriented: Raises several profound open problems that point directions for subsequent research.

Weaknesses

1. Readability: Highly technical, requiring deep background in set theory and topology for complete understanding.
2. Limited applications: Primarily pure theoretical research with insufficient connection to practical problems.
3. Assumption dependence: Key results depend on strong set-theoretic assumptions, limiting the universality of results.

Impact

1. Theoretical contribution: Makes important advances in combinatorial topology and selection principle theory.
2. Method value: Filter parameterization and recursive construction techniques may have applications in other problems.
3. Research inspiration: The raised open problems may inspire subsequent in-depth research.

Applicable Scenarios

1. Theoretical topology: Researchers in combinatorial topology and selection principles
2. Set theory: Scholars studying cardinal characteristics and filter theory
3. Function space theory: Experts in $C_p$ theory and related fields

References

The paper cites 24 important references, mainly including:

• Scheepers' series of works on combinatorial covering properties
• Blass-Weiss research on filter coherence
• Bella et al.'s work on selective separability
• Classical literature on cardinal characteristics and set theory

Overall Assessment: This is a high-quality theoretical mathematics paper that makes important contributions to combinatorial topology. Although highly technical and dependent on strong set-theoretic assumptions, its theoretical value and originality are indisputable, laying important foundations for the development of related fields.