\(\aleph\)-spaces and spaces with a \(\sigma\)-hereditarily closure- preserving \(k\)-network (Q1203838)

We recall that a cover \({\mathcal P}\) of a space \(X\) is a \(k\)-network for \(X\) if for any compact set \(K\) and any open set \(U\) which contains \(K\), there exist finitely many \(P_ 1,P_ 2,\dots\), \(P_ n\in{\mathcal P}\) such that \(K\subset P_ 1\cup P_ 2\cup \dots \cup P_ n\subset U\). A space is called an \(\aleph\)-space if it is a regular space having a \(\sigma\)- locally finite \(k\)-network. Let \(S_{\omega_ 1}\) be the quotient space obtained from the topological sum of \(\omega_ 1\) many convergent sequences by identifying the limit points to a single point. This paper gives the following main results, and their applications. (A) Let \(X\) be a regular space. Then \(X\) is an \(\aleph\)-space if and only if \(X\) has a \(\sigma\)-hereditarily closure-preserving \(k\)-network, and \(X\) contains no closed copy of \(S_{\omega_ 1}\). (B) Let \(X\) and \(Y\) be regular spaces having a \(\sigma\)-hereditarily closure-preserving \(k\)-network. Then \(X\times Y\) has a \(\sigma\)- hereditarily closure-preserving \(k\)-network if and only if either both \(X\) and \(Y\) are \(\aleph\)-spaces, or in one of them every compact subset is finite.