English

The continuity properties of compact-preserving functions

General Topology 2013-05-28 v1

Abstract

A function f:XYf:X\to Y between topological spaces is called {\em compact-preserving} if the image f(K)f(K) of each compact subset KXK\subset X is compact. We prove that a function f:XYf:X\to Y defined on a strong Frechet space XX is compact-preserving if and only if for each point xXx\in X there is a compact subset KxYK_x\subset Y such that for each neighborhood Of(x)YO_{f(x)}\subset Y of f(x)f(x) there is a neighborhood OxXO_x\subset X of xx such that f(Ox)Of(x)Kxf(O_x)\subset O_{f(x)}\cup K_x and the set KxOf(x)K_x\setminus O_{f(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:XYf:X\to Y defined on a (strong) Fr\'echet space XX, the restriction fLIff|LI'_f (resp. fLIf)f|LI_f) is continuous. Here LIfLI_f is the set of points xXx\in X of local infinity of ff and LIfLI'_f is the set of non-isolated points of the set LIfLI_f. Suitable examples show that the obtained results cannot be improved.

Keywords

Cite

@article{arxiv.1208.2319,
  title  = {The continuity properties of compact-preserving functions},
  author = {Taras Banakh and Artur Bartoszewicz and Marek Bienias and Szymon Glab},
  journal= {arXiv preprint arXiv:1208.2319},
  year   = {2013}
}

Comments

6 pages

R2 v1 2026-06-21T21:49:17.283Z