Factorization of mappings (products of proximally fine spaces)
An embedding from a Cartesian product of two spaces into the Cartesian product of two spaces is said to be factorwise rigid provided that it is the product of embeddings on the individual factors composed with a permutation of the coordinates. We prove that each embedding of a product of two pseudo-arcs into itself is factorwise rigid. As a consequence, if X and Y are metric continua with the property that each of their nondegenerate proper subcontinua is homeomorphic to the pseudo-arc, then X ×...
We effectively construct in the Hilbert cube two sets with the following properties: (a) , (b) is discrete-dense, i.e. dense in , where denotes the unit interval equipped with the discrete topology, (c) , are open in . In fact, , , where , . , are basic open sets and , , (d) , is point symmetric about . Instead of we could have taken any -space or a digital interval, where the resolution (number of points) increases with .
Necessary conditions and sufficient conditions are given for to be a (σ-) m₁- or m₃-space. (A space is an m₁-space if each of its points has a closure-preserving local base.) A compact uncountable space K is given with an m₁-space, which answers questions raised by Dow, Ramírez Martínez and Tkachuk (2010) and Tkachuk (2011).