On the existence of basic sequences in non-Archimedean locally convex spaces (Q2469427)

Basic orthogonal sequences and Schauder bases in \(p\)-adic locally convex spaces are among the favorite subjects of the author, who can be considered as the main responsible of the development of this interesting part of \(p\)-adic functional analysis in the last decade. Let \(K\) be a complete non-Archimedean and non-trivially valued field. In this paper, the author proves that there exist locally convex spaces (all over \(K\)) without basic orthogonal sequences, and even without Schauder basic sequences. Among other things, he shows the following. (Propositions 2, 4) If \(E\) is a Köthe space, then neither \((E,\sigma(E,E'))\) nor \((E',\sigma(E',E))\) have basic orthogonal sequences (as usual, \(\sigma(E,E')\) and \(\sigma(E',E)\) denote the weak topology on \(E\) and the weak\(^{*}\) topology on \(E'\), respectively). (Proposition 7) Assume that \(K\) is spherically complete and the valuation of \(K\) is dense. If \(E\) is an infinite-dimensional Banach space, then \((E'',\sigma(E'',E'))\) (e.g., \((\ell_{\infty}', \sigma(\ell_{\infty}', \ell_{\infty})))\) has no Schauder basic sequence. On the other hand, the author gives some positive results about the existence of basic orthogonal sequences. Among them, we point out the ones saying that the strong dual of any infinite-dimensional polar Fréchet space (Proposition 12), and any infinite-dimensional inductive limit of Fréchet spaces (Corollary 15), has a basic orthogonal sequence.