P₀-spaces

-spaces. It is closed under many topological operations: taking subspaces, countable Tychonoff products, small countable box-products, countable direct limits, hyperspaces of compact subsets. For an

a l e p h_{0}

-space

X

and a

m a t h f r a k P_{0}

-space

Y

the function space

C_{k} (X, Y)

endowed with the compact-open topology is a

m a t h f r a k P_{0}

-space. For any sequential

a l e p h_{0}

-space

X

the free abelian topological group

A (X)

and the free locally convex linear topological space

L (X)

both are

m a t h f r a k P_{0}

-spaces. A sequential space is a

m a t h f r a k P_{0}

-space if and only if it is an

a l e p h_{0}

-space. A topological space is metrizable and separable if and only if it is a

m a t h f r a k P_{0}

-space with countable fan tightness.

Review text

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.

Recommendations

Cites work

Cited in

(29)

This page was built for publication: \(\mathfrak{P}_0\)-spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q890067)