On the weak topology of Banach spaces over non-Archimedean fields (Q549130)

In [Trans. Am. Math. Soc. 101, 1--15 (1961; Zbl 0104.08502)], \textit{H. H. Corson} started a systematic study of certain topological properties of the weak topology of Banach spaces over \(\mathbb{R}\) or \(\mathbb{C}\). Since then, this subject has been extensively investigated in the Archimedean literature. However, it seems that nothing is known about this interesting line of research for the case of Banach spaces over non-Archimedean valued fields. The paper under review opens this line of research, which I guess will have a fruitful development in the future. The main result of the paper (Theorem 7) shows that the non-Archimedean situation differs substantially from the classical one. In fact, Theorem 7 states that, if \(E\) is an infinite-dimensional Banach space over a locally compact non-Archimedean field \(\mathbb{K}\), the following conditions are equivalent. (1) \(E\) is weakly compactly generated. (2) \(E\) is weakly web-compact. (3) \(E\) is weakly separable. (4) \(E\) is separable. (5) \(E\) is isomorphic to \(c_0(\mathbb{N},\mathbb{K})\). (6) \(E\) is weakly analytic. (7) \(E\) is weakly \(K\)-analytic. (8) \(E\) is weakly Lindelöf \(\Sigma\). (9) \(E\) is weakly Lindelöf. (10) There is an increasing family \(\{ E_{\alpha} : \alpha \in \mathbb{N}^{\mathbb{N}} \}\) of weakly compact subsets of \(E\) with \(\bigcup \{ E_{\alpha} : \alpha \in \mathbb{N}^{\mathbb{N}} \} =E\). It would be interesting to study if this result remains true for any non-Archimedean valued field \(\mathbb{K}\) and, of course, replacing ``compact'' by ``compactoid and complete'' and ``separable'' by ``of countable type''.