The continuity properties of compact-preserving functions

From MaRDI portal




Abstract: A function f:XoY between topological spaces is called {em compact-preserving} if the image f(K) of each compact subset KsubsetX is compact. We prove that a function f:XoY defined on a strong Frechet space X is compact-preserving if and only if for each point xinX there is a compact subset KxsubsetY such that for each neighborhood Of(x)subsetY of f(x) there is a neighborhood OxsubsetX of x such that f(Ox)subsetOf(x)cupKx and the set KxsetminusOf(x) is finite. This characterization is applied to give an alternative proof of a classical characterization of continuous functions on locally connected metrizable spaces as functions that preserve compact and connected sets. Also we show that for each compact-preserving function f:XoY defined on a (strong) Fr'echet space X, the restriction f|LI'f (resp. f|LIf) is continuous. Here LIf is the set of points xinX of local infinity of f and LI'f is the set of non-isolated points of the set LIf. Suitable examples show that the obtained results cannot be improved.









This page was built for publication: The continuity properties of compact-preserving functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q390806)