On the product of a perfect paracompact space and a countable product of scattered paracompact spaces
We investigate, in set theory without the Axiom of Choice , the set-theoretic strength of the statement Q(n): For every infinite set X, the Tychonoff product , where 2 = 0,1 has the discrete topology, is n-compact, where n = 2,3,4,5 (definitions are given in Section 1). We establish the following results: (1) For n = 3,4,5, Q(n) is, in (Zermelo-Fraenkel set theory minus ), equivalent to the Boolean Prime Ideal Theorem , whereas (2) Q(2) is strictly weaker than in set theory (Zermelo-Fraenkel set...
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.
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...
The notion of the ordinal product of a transfinite sequence of topological spaces which is an extension of the finite product operation is introduced. The dimensions of finite and infinite ordinal products are estimated. In particular, the dimensions of ordinary products of Smirnov's [S] and Henderson's [He1] compacta are calculated.