The dual of C_ps(X)

Spaces of measures, convergence of measures (28A33) Duality and reflexivity in normed linear and Banach spaces (46B10) Topological linear spaces of continuous, differentiable or analytic functions (46E10) Function spaces in general topology (54C35) Topology of special sets defined by functions (54C50)

Review text

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.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: The dual of \(C_{ps}(X)\)

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