A counterexample on non-archimedean regularity (Q2479537)

An inductive limit \(E=\bigcup_{n=1}^\infty E_n\) of locally convex spaces \(E_1\subset E_2\subset\dots\) is called regular if each bounded subset of \(E\) is contained in some \(E_n\) and is bounded there. If each \(E_n\) is a Banach space, then one uses the term LB-limit. It is known that every LB-limit of reflexive Banach spaces over \(\mathbb R\) or \(\mathbb C\) is regular [see \textit{J. Kucera} and \textit{K. McKennon}, Proc. Am. Math. Soc. 78, 366--368 (1980; Zbl 0435.46054)]. The main result of the present paper asserts that in the non-archimedean case the validity of this result depends on the ground field \(K,\) which is supposed to be a non-trivially n.a. valued field \((K,| \cdot| )\) containing \(\mathbb Q_p \) (\(p\) a prime number) and which is complete with respect to the valuation \(| \cdot| .\) If \(K\) is further spherically complete, then every LB-limit with reflexive steps is regular. If \(K\) is not spherically complete, then there exists a Hausdorff LB-limit with reflexive steps which is not regular. The second assertion is proved by constructing a counterexample of an LB-limit of some reflexive Banach spaces of infinitely differentiable functions \(E_n=C^\infty(D_n), \) where \(D_n=\mathbb Q_p\setminus\{1,\frac{1}{p},\dots,\frac{1}{p^{n-1}}\}\).