On the simplicity of some categories of closure spaces
We characterize those Tychonoff quasi-uniform spaces for which the Hausdorff-Bourbaki quasi-uniformity is uniformly locally compact on the family of nonempty compact subsets of . We deduce, among other results, that the Hausdorff-Bourbaki quasi-uniformity of the locally finite quasi-uniformity of a Tychonoff space is uniformly locally compact on if and only if is paracompact and locally compact. We also introduce the notion of a co-uniformly locally compact quasi-uniform space and show...
Suppose a metrizable separable space Y is sigma hereditarily disconnected, i.e., it is a countable union of hereditarily disconnected subspaces. We prove that the countable power of any subspace X ⊂ Y is not universal for the class ₂ of absolute -sets; moreover, if Y is an absolute -set, then contains no closed topological copy of the Nagata space = W(I,ℙ); if Y is an absolute -set, then contains no closed copy of the Smirnov space σ = W(I,0). On the other hand, the countable power of...
It is shown that for every integer n the (2n+1)th power of any locally path-connected metrizable space of the first Baire category is 𝓐₁[n]-universal, i.e., contains a closed topological copy of each at most n-dimensional metrizable σ-compact space. Also a one-dimensional σ-compact absolute retract X is found such that the power X^{n+1} is 𝓐₁[n]-universal for every n.
In the main result, partially answering a question of Telgársky, the following is proven: if X is a first countable R₀-space, then player β (i.e. the EMPTY player) has a winning strategy in the strong Choquet game on X if and only if X contains a nonempty -subspace which is of the first category in itself.
A space is said to be -metrizable if it has a -discrete -base. The behavior of -metrizable spaces under certain types of mappings is studied. In particular we characterize strongly -separable spaces as those which are the image of a -metrizable space under a perfect mapping. Each Tychonoff space can be represented as the image of a -metrizable space under an open continuous mapping. A question posed by Arhangel’skii regarding if a -metrizable topological group must be metrizable receives...