Range inclusion of operators on non-archimedean Banach space (Q625958): Difference between revisions

The authors present some counterparts, for non-archimedean Banach spaces, of the classical result given by \textit{R. G. Douglas} [Proc. Am. Math. Soc. 17, 413--415 (1966; Zbl 0146.12503)] for operators \(A,B\) on a Hilbert space \(H\) over \(\mathbb{R}\) or \(\mathbb{C}\). This classical result establishes the equivalence of the range inclusion, \(\text{Ran}A \subset \text{Ran} B\), of the majorization \(\| A^{*} x \| \leq C_0 \| B^{*} x \|\) for some positive constant \(C_0\) and all \(x \in H\), and of the factorization \(A= B C\) for some operator \(C \in {\mathcal B} (H)\). The authors show that the situation differs substantially from the classical one, because of the failure of the Hahn-Banach extension theorem, for non-spherically complete ground fields, in the non-archimedean case. In order to overcome this difficulty, they consider non-archimedean Banach spaces \(X\) satisfying what they call the \textit{uniformly continuous extension property}: There exists a constant \(C >0\) such that, for any one-dimensional subspace \(M\) of \(X\), every continuous linear functional \(f \in M'\) can be extended to a continuous linear functional \(g \in X'\) with \(\| g \| \leq C \| f \|\). They prove some range inclusion theorems for this kind of non-archimedean Banach spaces, proving also that these theorems are false when the uniformly continuous extension property assumption is dropped. Reviewer's remark. I would like to point out that the non-archimedean Banach spaces having the above continuous extension property coincide with the well-known non-archimedean polar Banach spaces, see, e.g., \textit{C. Perez-Garcia} and \textit{W. H. Schikhof} [``Locally convex spaces over non-Archimedean valued fields'' (Cambridge Studies in Advanced Mathematics 119; Cambridge University Press) (2010; Zbl 1193.46001)].