On transfinite dimension
In this paper we study the behavior of the (transfinite) small inductive dimension on finite products of topological spaces. In particular we essentially improve Toulmin’s estimation [T] of for Cartesian products.
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.
We will construct weakly infinite-dimensional (in the sense of Y. Smirnov) spaces X and Y such that Y contains X topologically and and . Consequently, the subspace theorem does not hold for the transfinite dimension dim for weakly infinite-dimensional spaces.
Improving the recent result of the author we show that is equivalent to for every subgroup of a Hausdorff locally compact group .
An open continuous map f from a space X onto a paracompact C-space Y admits two disjoint closed sets F₀,F₁ ⊂ X with f(F₀) = Y = f(F₁), provided all fibers of f are infinite and C*-embedded in X. Applications are given to the existence of "disjoint" usco multiselections of set-valued l.s.c. mappings defined on paracompact C-spaces, and to special type of factorizations of open continuous maps from metrizable spaces onto paracompact C-spaces. This settles several open questions.
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.
As a special case of the general question - “What information can be obtained about the dimension of a subset of by looking at its orthogonal projections into hyperplanes?” - we construct a Cantor set in each of whose projections into 2-planes is 1-dimensional. We also consider projections of Cantor sets in whose images contain open sets, expanding on a result of Borsuk.