A categorical guide to separation, compactness and perfectness.
It is well known that a function from a space into a space is continuous if and only if, for every set in the image of the closure of under is a subset of the closure of the image of it. In this paper we characterize almost continuity and weak continuity by proving similar relations for the subsets of .
Let f be a Borel measurable mapping of a Luzin (i.e. absolute Borel metric) space L onto a metric space M such that f(F) is a Borel subset of M if F is closed in L. We show that then is a set for all except countably many y ∈ M, that M is also Luzin, and that the Borel classes of the sets f(F), F closed in L, are bounded by a fixed countable ordinal. This gives a converse of the classical theorem of Arsenin and Kunugui. As a particular case we get Taĭmanov’s theorem saying that the image of...
A new class of spaces which contains the class of all normal spaces is defined and its characterization and properties are discussed.