Michael, Dowker, Worrell, Banerjee Theorems Extended to Multifunctions

E. Michael, in 1957, proved that the pracompactness is preserved by continuous closed functions from a space onto another. Michael’s proof is an immediate consequence of his characterization of paracompact spaces as those spaces with the property that each open cover of the space has a closure preserving refinement. Normality and transfinite induction were used to produce this characterization. J. M. Worrell, in 1985, proved, using the well-ordering principle, that continuous closed images of metacompact spaces are metacompact, as a consequence of a characterization of metacompact spaces he established earlier the same year. C. H. Dowker and R. N. Banerjee have provided the corresponding results for countable paracompactnes and countable metacompactness. In this article we extend these results for continuous, image closed and onto multifunctions. A result due to Joseph and Kwack that all open sets in Y have the form g(V) - g(X - V); where V is open in X, if g : X → Y is continuous, closed and onto (2006), is extended to image-closed, continuous, multifunctions. Such multifunctions as well as a characterization that a space is paracompact (metacompact) if and only if every ultrafilter of type P (M) converges, proved, in 1918, by Joseph and Nayar, is used to give generalizations of the invariance of paracompactness and metacompactness under continuous closed surjections to multifunctions.