On \(\mathfrak{P}\)-spaces and related concepts (Q2352132)

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 Hausdorff spaces \(X\) and \(Y\), the expression \(C_c(X,Y)\) stands for the set of all continuous functions from \(X\) to \(Y\) endowed with the compact-open topology. Say that a space \(X\) has \textit{the strong Pytkeev property} if for every \(x\in X\), there exists a countable family \(\mathcal D\) of subsets of \(X\) such that for each neighborhood \(U\) of \(x\) and each \(A\subset X\) with \(x\in \overline A\setminus A\) there is \(D\in \mathcal D\) such that \(D\subset U\) and \(D\cap A\) is infinite. A family \(\mathcal N\) of subsets of a space \(X\) is called a \(cp\)-network at a point \(x\in X\) if either \(x\) is an isolated point of \(X\) and \(\{x\}\in \mathcal N\) or for each subset \(A\subset X\) with \(x\in \overline A\setminus A\) and each neighborhood \(U\) of the point \(x\), there is a set \(N\in \mathcal N\) such that \(x\in N\subset U\) and \(N\cap A\) is infinite. The family \(\mathcal N\) is a \(cp\)-network in \(X\) if it is a \(cp\)-network at every \(x\in X\). The authors say that \(X\) is a \(\mathfrak P\)-space if \(X\) has a \(\sigma\)-locally finite \(cp\)-network. The main result of the paper states that if \(X\) is an \(\aleph_0\)-space and \(Y\) is a \(\mathfrak P\)-space, then \(C_c(X,Y)\) has the strong Pytkeev property. One of the consequences of this result is the fact that, for any second countable space \(X\), if \(G\) is a metrizable topological group, then \(C_c(X,G)\) is metrizable if and only if it is Fréchet--Urysohn.