On \(D\)-paracompact \(p\)- and \(\Sigma\)-spaces (Q1277158): Difference between revisions

A topological space \(X\) is called \(d\)-paracompact if for every open cover \({\mathcal U}\) of \(X\) there exists a developable \(T_1\)-space \(Y\), an open cover \({\mathcal V}\) of \(Y\), and a continuous mapping \(f\) from \(X\) onto \(Y\) such that \(f^1({\mathcal V})\) refines \({\mathcal U}\). Although much work has been done by several authors, it is still not known whether \(d\)-paracompactness is preserved by perfect mappings (see Problem L of our survey [the reviewer, Separation axioms, covering properties, and inverse limits generated by developable topological spaces, Diss. Math. 284 (1989; Zbl 0714.54030)]). In [Fundam. Math. 122, 175-186 (1984; Zbl 0542.54018)] it was shown by \textit{J. Chaber} that every perfect image of a \(d\)-paracompact \(p\)-space is again a \(d\)-paracompact \(p\)-space, and in [Tsukuba J. Math. 15, No. 2, 425-449 (1991; Zbl 0782.54022)] \textit{T. Mizokami} has shown that perfect images of \(d\)-paracompact \(\sigma\)-spaces are \(d\)-paracompact \(\sigma\)-spaces. Both theorems are generalized by the following result. Theorem 1: Every perfect image of a \(d\)-paracompact \(\Sigma\)-space is a \(d\)-paracompact \(\Sigma\)-space. The technique used to prove Theorem 1 also yields: Theorem 2: Every perfect image of a \(d\)-paracompact \(\beta\)-space with a \(G_\delta\)-diagonal is a \(d\)-paracompact \(\beta\)-space (but it does not necessarily have a \(G_\delta\)-diagonal). Additionally, a sound proof is given for a characterization of \(d\)-paracompact \(p\)-spaces due to \textit{C. M. Pareek} [Can. J. Math. 24, 1033-1042 (1972; Zbl 0265.54028)], and it is shown that a regular \(T_1\)-space is a Moore space if and only if it is a \(d\)-paracompact \(p\)-space with a \(G_\delta\)-diagonal.