Topological completeness of first countable Hausdorff spaces I
We discuss various results on the existence of ‘true’ preimages under continuous open maps between -spaces, -lattices and some other spaces. The aim of the paper is to provide accessible proofs of this sort of results for functional-analysts.
A function is two-to-one if every point in the image has exactly two inverse points. We show that every two-to-one continuous image of ℕ* is homeomorphic to ℕ* when the continuum hypothesis is assumed. We also prove that there is no irreducible two-to-one continuous function whose domain is ℕ* under the same assumption.