The Hurewicz covering property and slaloms in the Baire space
Abstract
According to a result of Kocinac and Scheepers, the Hurewicz covering property is equivalent to a somewhat simpler selection property: For each sequence of large open covers of the space one can choose finitely many elements from each cover to obtain a groupable cover of the space. We simplify the characterization further by omitting the need to consider sequences of covers: A set of reals $X$ satisfies the Hurewicz property if, and only if, each large open cover of $X$ contains a groupable subcover. This solves in the affirmative a problem of Scheepers. The proof uses a rigorously justified abuse of notation and a "structure" counterpart of a combinatorial characterization, in terms of slaloms, of the minimal cardinality b of an unbounded family of functions in the Baire space. In particular, we obtain a new characterization of $\b$.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- January 2003
- DOI:
- 10.48550/arXiv.math/0301085
- arXiv:
- arXiv:math/0301085
- Bibcode:
- 2003math......1085T
- Keywords:
-
- Mathematics - General Topology;
- Mathematics - Combinatorics;
- Mathematics - Logic;
- 37F20;
- 26A03;
- 03E75
- E-Print:
- Small updates