Domains of Paracompactness and Regularity

Abstract

Given a class of topological spaces and a class of maps of topological spaces, our interest is in characterization of the class () of topological spaces whose every -image lies in . The class () is referred to as the -resolvent of and is the largest class of spaces smaller than closed under -images (provided is closed under composition and includes identity maps).In the present paper, will be either the class of paracompact spaces or the class of regular spaces, and the conditions determining will always include separation axioms on the range, some of which can be dispensed with now by agreeing that all spaces are Hausdorff.