We prove that if the topology on the set Seq of all finite sequences of natural numbers is determined by -filters and λ ≤ , then Seq is a -set in its Čech-Stone compactification. This improves some results of Simon and of Juhász and Szymański. As a corollary we obtain a generalization of a result of Burke concerning skeletal maps and we partially answer a question of his.
We prove that the maximal Hausdorff compactification of a -compactifiable mapping and the maximal Tychonoff compactification of a Tychonoff mapping (see [P]) are perfect. This allows us to give a characterization of all perfect Hausdorff (respectively, all perfect Tychonoff) compactifications of a -compactifiable (respectively, of a Tychonoff) mapping, which is a generalization of two results of Skljarenko [S] for the Hausdorff compactifications of Tychonoff spaces.
We show that a Tychonoff space is the perfect pre-image of a cofinally complete metric space if and only if it is paracompact and cofinally Čech complete. Further properties of these spaces are discussed. In particular, cofinal Čech completeness is preserved both by perfect mappings and by continuous open mappings.
The main result is slightly more general than the following statement: Let f: X → Y be a quasi-perfect mapping, where X is a regular space and Y a Hausdorff totally non-meagre space; if X or Y is χ-scattered, or if Y is a Lasnev space, then X is totally non-meagre. In particular, the product of a compact space X and a Hausdorff regular totally non-meagre space Y which is χ-scattered or a Lasnev space, is totally non-meagre.
A simple machinery is developed for the preservation of Baire spaces under preimages. Subsequently, some properties of maps which preserve nowhere dense sets are given.
Let be a continuous map such as an open map, a closed map or a quotient map. We study under what circumstances remains an open, closed or quotient map in forcing extensions.
Let X be a Borel subset of the Cantor set C of additive or multiplicative class α, and f: X → Y be a continuous function onto Y ⊂ C with compact preimages of points. If the image f(U) of every clopen set U is the intersection of an open and a closed set, then Y is a Borel set of the same class α. This result generalizes similar results for open and closed functions.
We discuss functions f : X × Y → Z such that sets of the form f (A × B) have non-empty interiors provided that A and B are non-empty sets of second category and have the Baire property.