The dual of \(C_{ps}(X)\) (Q1029217): Difference between revisions

This paper is related with the following three papers of these authors: [Rend. Ist. Mat. Univ. Trieste 39, 421--444 (2007; Zbl 1153.54006), Topol. Proc. 30, No.~1, 279--299 (2006; Zbl 1126.54008), Math. Slovaca 58, No.~3, 325--338 (2008; Zbl 1174.54009)]. As is natural, the pseudocompact-open topology on \(C(X)\) is the topology of uniform convergence on the pseudocompact subsets of \(X\) and \(C_{ps}(X)\) is the space \(C(X)\) endowed with this topology. Its dual is denoted by \( \Lambda _{ps}(X)\). The main result of this paper is related with the separability of \(\Lambda _{ps}(X)\). In fact, in Theorem 4.6 it is stated that, for a Tychonoff space \(X \), the following assertions are equivalent: {\parindent6mm \begin{itemize}\item[(a)] \((\Lambda _{ps}^{+}(X),d_*)\) is separable. \item[(b)] \((\Lambda _{ps}(X),\|\cdot\|_*)\) is separable. \item[(c)] \(X\) is countable. \item[(d)] \((M_{ps}^{+}(X),d)\) is separable. \item[(e)] \((M_{ps}(X),\|\cdot\|)\) is separable. \end{itemize}} The map \(L:\Lambda _{ps}(X)\rightarrow \Lambda _{\infty }(X)\) defined by natural inclusions, with \(\Lambda _{\infty }(X)\) the dual of \(C_{\infty }^{\ast }(X)\), enables the authors to get the norm \(\|\lambda \|_*=\|L(\lambda )|_*\) and the distance \(d_{\ast }\) given by \(d_{\ast }(\lambda ,\mu )=\) \(\|\lambda -\mu \|_*\). \(M(X)\) is the linear space of all closed regular \(\sigma \)-additive Borel measures defined on the \(\sigma \)-algebra \(\mathcal{B}_{0}(X)\) generated by the closed subsets of \(X\), \(\|\mu \|=|\mu|(X)\) and \(d(\lambda ,\mu )=\) \(\|\lambda -\mu\|\). In order to get this deep theorem, the authors introduce the notion of \(pz\)-spaces: \(X\) is a \(pz\)-space if every pseudocompact subset of \(X\) is contained in a pseudocompact zero subset of \(X\). Some properties of \(pz\)-spaces related with \(p\)-isocompactification and \(P^{\prime }\)-spaces are given in Section 4.