Mappings in \(\sigma \)-Ponomarev-systems (Q629744)

In this paper, the author uses \(\sigma\)-Ponomarev-systems \((f,M,X,\{\mathcal{P}_n\})\) to give a consistent method to construct \(s\)-mappings (\(msss\)-mappings, \(mssc\)-mappings) \(f\) from a metric space \(M\) onto \(X\) with certain covering properties. The main results are as follows: (I) Let \((f,M,X,\{\mathcal{P}_n\})\) be a \(\sigma\)-Ponomarev-system. Then the following hold. (1) \(f\) is an \(s\)-mapping if and only if each \(\mathcal{P}_n\) is point-countable. (2) \(f\) is an \(msss\)-mapping if and only if each \(\mathcal{P}_n\) is locally-countable. (3) \(f\) is an \(mssc\)-mapping if and only if each \(\mathcal{P}_n\) is locally finite. (II) Let \((f,M,X,\{\mathcal{P}_n\})\) be a \(\sigma\)-Ponomarev-system. Then the following hold. (1) \(f\) is sequence-covering if and only if \(\mathcal{P}\) is a strong \(cs\)-network for \(X\). (2) \(f\) is compact-covering if and only if \(\mathcal{P}\) is a strong \(cfp\)-network for \(X\). (3) \(f\) is pseudo-sequence-covering if and only if \(\mathcal{P}\) is a strong \(wcs\)-network for \(X\). (4) \(f\) is sequentially-quotient (subsequence-covering) if and only if \(\mathcal{P}\) is a strong \(cs^*\)-network for \(X\).