On \(\mathfrak{P}\)-spaces and related concepts (Q2352132)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On \(\mathfrak{P}\)-spaces and related concepts |
scientific article |
Statements
On \(\mathfrak{P}\)-spaces and related concepts (English)
0 references
30 June 2015
0 references
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.
0 references
network
0 references
network character
0 references
cosmic space
0 references
\(\aleph\)-space
0 references
\(\mathfrak P\)-space
0 references
function space
0 references
0 references