\(\mathfrak{P}_0\)-spaces (Q890067)

A family \(\mathcal N\) of subsets of a space \(X\) is \textit{a network} in \(X\) if for any \(x\in X\) and any open set \(U\subset X\) with \(x\in U\), we can find \(N\in \mathcal N\) such that \(x\in N\subset U\). Say that a regular space \(X\) is a \textit{\(\mathfrak P_0\)-space} if it has a countable network \(\mathcal N\) such that for any \(x\in X\), if \(U\) is a neighborhood of \(x\) and \(x\in \overline A\setminus A\) for some \(A\subset X\), then there is a set \(N\in \mathcal N\) such that \(x\in N\subset U\) and \(N\cap A\) is infinite. A regular space \(X\) is called an \(\aleph_0\)-space if there exists a countable family \(\mathcal N\) of subsets of \(X\) such that for any compact set \(K\subset X\), if \(K\subset U\) and \(U\) is open, then \(K\subset N \subset U\) for some \(N\in \mathcal N\). Given spaces \(X\) and \(Y\), the expression \(C_k(X,Y)\) stands for the set of all continuous functions from \(X\) to \(Y\) endowed with the compact-open topology. The paper is devoted to a systematic study of \(\mathfrak P_0\)-spaces. The author proves, among other things, that \noindent\hangafter=1 \hangindent=.27in\rlap{(a)}\hskip.27in any subspace of a \(\mathfrak P_0\)-space is a \(\mathfrak P_0\)-space; \smallskip \noindent\hangafter=1 \hangindent=.27in\rlap{(b)}\hskip.27in any countable product of \(\mathfrak P_0\)-spaces is a \(\mathfrak P_0\)-space; \smallskip \noindent\hangafter=1 \hangindent=.27in\rlap{(c)}\hskip.27in if \(X\) is an \(\aleph_0\)-space and \(Y\) is a \(\mathfrak P_0\)-space, then the function space \(C_k(X,Y)\) is a \(\mathfrak P_0\)-space; \smallskip \noindent\hangafter=1 \hangindent=.27in\rlap{(d)}\hskip.27in if \(X\) is a sequential \(\aleph_0\)-space, then the free Abelian topological group of \(X\) is a \(\mathfrak P_0\)-space; \smallskip \noindent\hangafter=1 \hangindent=.27in\rlap{(e)}\hskip.27in A space \(X\) is separable and metrizable if and only if \(X\) is a \(\mathfrak P_0\)-space of countable fan tightness.