Sequentially continuous mappings of product spaces
We shall describe a modification of homotopy theory of maps which we call shape theory of maps. This is accomplished by constructing the shape category of maps HMb. The category HMb is built using multi-valued functions. Its objects are maps of topological spaces while its morphisms are homotopy classes of collections of pairs of multi-valued functions which we call multi-binets. Various authors have previously given other descriptions of shape categories of maps. Our description is intrinsic in...
We determine the size levels for any function on the hyperspace of an arc as follows. Assume Z is a continuum and consider the following three conditions: 1) Z is a planar AR; 2) cut points of Z have component number two; 3) any true cyclic element of Z contains at most two cut points of Z. Then any size level for an arc satisfies 1)-3) and conversely, if Z satisfies 1)-3), then Z is a diameter level for some arc.
We introduce and investigate the class of skeletally Dugundji spaces as a skeletal analogue of Dugundji space. Our main result states that the following conditions are equivalent for a given space X: (i) X is skeletally Dugundji; (ii) every compactification of X is co-absolute to a Dugundji space; (iii) every C*-embedding of the absolute p(X) in another space is strongly π-regular; (iv) X has a multiplicative lattice in the sense of Shchepin [Shchepin E.V., Topology of limit spaces with uncountable...
Certain equivalences of Mrowka's separating condition enable us to characterize when parametric maps are open, closed or quotient.
If X is a compact metric space of dimension n, then K(X), the n- dimensional kernel of X, is the union of all n-dimensional Cantor manifolds in X. Aleksandrov raised the problem of what the descriptive complexity of K(X) could be. A straightforward analysis shows that if X is an n-dimensional complete separable metric space, then K(X) is a or PCA set. We show (a) there is an n-dimensional continuum X in for which K(X) is a complete set. In particular, ; K(X) is coanalytic but is not an analytic...
Let K(X) be the hyperspace of a compact metric space endowed with the Hausdorff metric. We give a general theorem showing that certain subsets of K(X) are true sets.