Separable measures and strict topologies on spaces of non-Archimedean valued functions (Q2574785)

Let \(\mathbb K\) be a complete non-Archimedean valued field and \(X\) a zero-dimensional Hausdorff topological space. The paper is concerned with Riesz-type representation theorems for the dual of the space \(C_b(X)\) of bounded \(\mathbb K\)-valued functions in terms of some bounded finitely additive \(\mathbb K\)-valued measures defined on the algebra of clopen subsets of \(X.\) One denotes by \(M(X)\) the space of all these measures. A measure \(\mu\in M(X)\) is called \(\tau\)-additive if \(\mu(A_\alpha)\to 0\) for every descending net \(\{A_\alpha\}\) of clopen sets with \(\bigcap_\alpha A_\alpha =\emptyset.\) A specific property of \(\tau\)-additive measures is that they are tight, in contrast to real-valued measures, and for these kind of measures the integrals as defined by \textit{A. C. M. Van Rooij} [Non-Archimedean functional analysis. Monographs and Textbooks in Pure and Applied Mathematics. 51. New York, Basel: Marcel Dekker, Inc. (1978; Zbl 0396.46061)] and by the author [Indag. Math. 46, 189--201 (1984; Zbl 0548.46059)] agree. The paper contains a detailed study of the representation of the dual of the space \(C_b(X),\) equipped with various topologies of strict type, in terms of measures from \(M(X).\) The author studies the topological properties of equicontinuous subsets of \(M(X)\) and proves the sequential weak\(^*\)-completeness of the dual of \(C_b(X).\)