On maps of spaces determined by countable subspaces
We call a function P-preserving if, for every subspace with property P, its image also has property P. Of course, all continuous maps are both compactness- and connectedness-preserving and the natural question about when the converse of this holds, i.e. under what conditions such a map is continuous, has a long history. Our main result is that any nontrivial product function, i.e. one having at least two nonconstant factors, that has connected domain, range, and is connectedness-preserving...
A Mazurkiewicz set is a subset of a plane with the property that each straight line intersects in exactly two points. We modify the original construction to obtain a Mazurkiewicz set which does not contain vertices of an equilateral triangle or a square. This answers some questions by L.D. Loveland and S.M. Loveland. We also use similar methods to construct a bounded noncompact, nonconnected generalized Mazurkiewicz set.
The set of points of upper semicontinuity of multi-valued mappings with a closed graph is studied. A topology on the space of multi-valued mappings with a closed graph is introduced.
A subset of a product of topological spaces is called -thin if every its two distinct points differ in at least coordinates. We generalize a construction of Gruenhage, Natkaniec, and Piotrowski, and obtain, under CH, a countable space without isolated points such that contains an -thin dense subset, but does not contain any -thin dense subset. We also observe that part of the construction can be carried out under MA.
We present a forcing construction of a Hausdorff zero-dimensional Lindelöf space whose square is again Lindelöf but its cube has a closed discrete subspace of size , hence the Lindelöf degree . In our model the Continuum Hypothesis holds true. After that we give a description of a forcing notion to get a space such that for all positive integers , but .
We introduce notions of projectively quotient, open, and closed functors. We give sufficient conditions for a functor to be projectively quotient. In particular, any finitary normal functor is projectively quotient. We prove that the sufficient conditions obtained are necessary for an arbitrary subfunctor of the functor of probability measures. At the same time, any “good” functor is neither projectively open nor projectively closed.