No label defined (Q4232268)

The purpose of this paper is a discussion about quotient and compact images of metric spaces. Let \(f:X\to Y\) be a continuous and onto map. \(f\) is a compact map if each \(f^{-1}(y)\) is compact, \(f\) is a compact-covering map (a sequence-covering map) if each compact subset (convergent sequence) of \(Y\) is the image of some compact subset of \(X\) and \(f\) is a sequentially quotient map (in the sense of J. R. Boone and F. Siwiec) if for each convergent sequence \(L\) of \(Y\), there is a convergent sequence \(S\) of \(X\) such that \(f(S)\) is a subsequence of \(L\). Some interesting characterizations of compact images of metric spaces are obtained as follows. Theorem 1. For a \(T_2\)-space \(X\) the following are equivalent: (1) \(X\) is a sequence-covering and compact image of a metric space; (2) \(X\) is a sequentially quotient and compact image of a metric space; (3) \(X\) has a sequence \(\{{\mathcal U}_n\}\) of point-finite covers such that \(\{\text{st} (x,{\mathcal U}_n): n\in \mathbb{N}\}\) is a network of \(x\) and each \(\text{st} (x,{\mathcal U}_n)\) is a sequential neighborhood of \(x\) for each \(x\in X\). Theorem 2. A \(T_2\)-space \(X\) is a compact-covering and compact image of a metric space if and only if \(X\) has a sequence \(\{{\mathcal U}_n\}\) of point-finite and CFP-covers such that \(\{\text{st} (x,{\mathcal U}_n): n\in \mathbb{N}\}\) is a network of \(x\) for each \(x\in X\), here a cover \({\mathcal P}\) of \(X\) has a CFP-property (i.e., compact finite partition property) if, whenever \(K\) is compact in \(X\), there are a finite collection \(\{K_n: n\leq k\}\) of closed subsets of \(K\) and \(\{P_n: n\leq k\}\subset{\mathcal P}\) such that \(K= \bigcup \{K_n: n\leq k\}\) and each \(K_n\subset P_n\). Some researches have shown that CFP-property is very important for a study of compact-covering images of metric spaces.