\(p\)-adic spaces of continuous functions. I (Q936471)

Let \(X\) be a Hausdorff zero-dimensional topological space, \(K\) a complete field with a nontrivial non-Archimedean valuation, \(E\) a Hausdorff locally convex space over \(K\), and \(E'\) its topological dual. After some preliminaries in Section 1, the author proves in Section 2 several properties of the space \(M(X,E')\) of all finitely-additive \(E'\)-valued measures on the algebra of all clopen (i.e., closed and open) subsets of \(X\). In Section 3, he studies some properties of \(\Theta_0 X\) (the set of all \(z \in \beta_0X\) with the property that for each clopen partition \((V_i)\) of \(X\) there is an \(i\) such that \(z \in \overline{V_i}^{\beta_0X}\), where \(\beta_0X\) is the Banaschewski compactification of \(X\)), of the \(\Theta_0\)-complete spaces (those \(X\) for which \(X= \Theta_0 X\)), and of the bounding subsets of \(X\) (\(A \subset X\) is called bounding is \(\overline{A}^{\upsilon_0 X}\) is compact, where \(\upsilon_0 X\) is the \(\mathbb{N}\)-repletion of \(X\), being \(\mathbb{N}\) the set of natural numbers), as well as certain relations between \(\Theta_0 X\) and the bounding subsets of \(X\). Now, let \(C_c(X,E)\) be the space of all continuous functions \(X \rightarrow E\), equipped with the topology of uniform convergence on the compact subsets of \(X\) (whose dual is the subspace \(M_c(X,E')\) of \(M(X,E')\), formed by all the measures in \(M(X,E')\) with compact support). In the final Section 4 of the paper, the author characterizes when \(C_c(X,E)\) is barrelled or polarly quasi-barrelled. Recall that a locally convex space \(F\) over \(K\) is called polarly barrelled if every weakly\(^{*}\)-bounded subset of \(F'\) is equicontinuous; polarly quasi-barrelled if every strongly bounded subset of \(F'\) is equicontinuous. In Section 4, the author uses some of his previous results of the paper to prove that, if \(E' \neq \{ 0\}\), then \(C_c(X,E)\) is polarly barrelled (resp., polarly quasi-barrelled) if and only if \(E\) is polarly barrelled (resp., \(E\) is polarly quasi-barrelled) and \(X\) is a \(\mu_0\)-space, i.e., every bounding subset of \(X\) is relatively compact (resp., \(X\) is a \(\omega_0\)-space, i.e., every \(\omega_0\)-bounded subset \(A\) of \(X\) is relatively compact, with \(A \subset X\) called \(\omega_0\)-bounded if every family of clopen subsets of \(X\) which is finite on each compact subset of \(X\) is also finite on \(A\)).