Covering dimension modulo a class of spaces
We define Peano covering maps and prove basic properties analogous to classical covers. Their domain is always locally path-connected but the range may be an arbitrary topological space. One of characterizations of Peano covering maps is via the uniqueness of homotopy lifting property for all locally path-connected spaces. Regular Peano covering maps over path-connected spaces are shown to be identical with generalized regular covering maps introduced by Fischer and Zastrow....
In this paper, we discuss covering properties in countable products of Čech-scattered spaces and prove the following: (1) If is a perfect subparacompact space and is a countable collection of subparacompact Čech-scattered spaces, then the product is subparacompact and (2) If is a countable collection of metacompact Čech-scattered spaces, then the product is metacompact.
We develop the theory of topological Hurewicz test pairs: a concept which allows us to distinguish the classes of the Borel hierarchy by Baire category in a suitable topology. As an application we show that for every and not subset of a Polish space there is a -ideal such that but for every set there is a set satisfying . We also discuss several other results and problems related to ideal generation and Hurewicz test pairs.
This paper deals with questions of how many compact subsets of certain kinds it takes to cover the space of irrationals, or certain of its subspaces. In particular, given , we consider compact sets of the form , where for all, or for infinitely many, . We also consider “-splitting” compact sets, i.e., compact sets such that for any and , .
2000 Mathematics Subject Classification: 54C10, 54D15, 54G12.For given completely regular topological spaces X and Y, there is a completely regular space X ~⊗ Y such that for any completely regular space Z a mapping f : X × Y ⊗ Z is separately continuous if and only if f : X ~⊗ Y→ Z is continuous. We prove a necessary condition of normality, a sufficient condition of collectionwise normality, and a criterion of normality of the products X ~⊗ Y in the case when at least one factor is scattered.