Non-archimedean function spaces and the Lebesgue dominated convergence theorem (Q2428784)

Let \(X\) a compact Hausdorff 0-dimensional topological space, \(\Omega(X)\) the algebra of clopen (closed and open) subsets of \(X\), and \(\mathbb K\) a complete non-Archimedean (n.a.) valued field. Denote by \(C(X,\mathbb K)\) the Banach space of all continuous functions \(f:X\to\mathbb K\) with the supremum norm and let \(C_p(X,\mathbb K)\) be the space \(C(X,\mathbb K)\) with the pointwise topology. It is known that the dual of \(C(X,\mathbb K)\) is the space \(M(X,\mathbb K)\) of all bounded additive measures \(\mu:\Omega(X)\to\mathbb K\) with the norm \(\|\mu\|:=\sup\{|\mu(U)| : U\in\Omega(X)\}.\) One says that \(X\) has the \(\mathbb K\)-Lebesgue property if \(\int_Xf_n d\mu\to 0,\,\forall \mu\in M(X,\mathbb K),\) for every uniformly bounded sequence \((f_n)\) in \(C(X,\mathbb K)\) which converges pointwisely to 0. Since the Banach space \(C(X,\mathbb K)\) has the Orlicz-Pettis property (see \textit{C. Perez-Garcia} and \textit{W. H. Schikhof} [Collect. Math. 43, No. 3, 225--233 (1992; Zbl 0788.46078)]) this is equivalent to \(\|f_n\|\to 0.\) By the Lebesgue dominated convergence theorem, in the case \(\mathbb K=\mathbb R \) any compact Hausdorff space \(X\) has the Lebesgue property, but in the non-Archimedean case \(X\) has the \(\mathbb K\)-Lebesgue property iff \(X\) is finite (Theorem 2). In the same theorem one shows that the \(\mathbb K\)-Lebesgue property is also equivalent to the following ones: (ii) the unit ball of \(C(X,\mathbb K)\) is a Fréchet-Urysohn space; (iii) every decreasing sequence of clopen subsets of \(X\) is eventually constant; (v) every uniformly bounded \(C_p(X,\mathbb K)\)-compact (\(C_p(X,\mathbb K)\)-metrizable) subset of \(C(X,\mathbb K)\) is weakly compact. In the second part of the paper, the authors give characterizations of weakly Lindelöf n.a. Banach spaces \(E\) with a basis as well as of Corson \(\sigma(E',E)\)-compact unit balls in their duals, completing and extending the results obtained by \textit{J. Kakol} and \textit{W. Śliwa} [Topology Appl. 158, No. 9, 1131--1135 (2011; Zbl 1230.46060)]. An n.a. version of Kunen compact space is also considered.