On non-archimedean Gurariĭ spaces (Q2408756)

Let \(\varepsilon >0\). An \(\varepsilon\)-isometry between two normed spaces \(X,Y\) is a linear mapping \(f:X\to Y\) such that \((1+\varepsilon)^{-1}\|x\|\leq \|f(x)\|\leq (1+\varepsilon)\|x\|\) for all \(x\in X\). If these inequalities hold with \(\varepsilon =0\) (i.e., \(\|f(x)\|=\|x\|\) for all \( x\in X\)), then \(f\) is called an isometry. Let \(\mathcal U\) denote the class of all finite-dimensional Banach spaces. A Banach space \(E\) is called of almost universal disposition (AUD) for the class \(\mathcal U\) if, for every \(X,Y\in\mathcal U\) with \(X\subset E\) and every \(\varepsilon\)-isometry \(g:X\to Y\), there exists an \(\varepsilon\)-isometry \(f:Y\to E\) such that \(f(g(x))=x\) for all \(x\in X\). If this holds with ``isometry'' instead of ``\(\varepsilon\)-isometry'' (in all places), then one says that \(E\) is of universal disposition (UD) for the class \(\mathcal U\). \textit{V. I. Gurarij} [Sib. Mat. Zh. 7, 1002--1013 (1966; Zbl 0166.39303)] proved the existence of a separable Banach space \(\mathbb{G}\) which is of AUD for the class \(\mathcal U\). Later it was shown that this space is unique up to an isometric isomorphy. The aim of the present paper is to study the existence and the properties of non-archimedean (NA) Banach spaces which are of AUD or UD for the class \(\mathcal U_{FNA}\) of finite-dimensional NA Banach spaces. For an NA valued field \(\mathbb{K}\), one denotes by \(|\mathbb{K}^*|\) the value group \(\{|\lambda| :\lambda\in \mathbb{K}^*\}\), where \(\mathbb{K}^*=\mathbb{K}\setminus\{0\}\). Two situations can occur: \(|\mathbb{K}^*|\) is dense in \((0,\infty)\) or there exists \(0<\rho<1\) such that \(|\mathbb{K}^*|=\{\rho^n : n\in\mathbb Z\}\). In the first case, one says that \(\mathbb{K}\) is densely valued and discretely valued in the second one. For an NA normed space \(E\) over \(\mathbb{K}\), one puts \(\|E^*\|=\{\|x\| : x\in E\setminus\{0\}\}\) and one supposes that \(|\mathbb{K}^*|\subset \|E^*\|\). The space \(E\) is called of countable type if it contains a dense countable subset (see, for instance [\textit{C. Perez-Garcia} and \textit{W. H. Schikhof}, Locally convex spaces over non-Archimedean valued fields. Cambridge: Cambridge University Press (2010; Zbl 1193.46001)]). In the study of NA Banach spaces of AUD or UD for \(\mathcal U_{FAN}\), a key role is played by the properties of the field \(\mathbb{K}\). For instance, an NA Banach space \(E\) of countable type is of AUD for \(\mathcal U_{FAN} \) if and only if \(\|E^*\|\) is dense in \((0,\infty).\) In particular, if \(\mathbb{K}\) is densely valued, then every NA Banach space of countable type is of AUD for \(\mathcal U_{FAN} \). Also, all NA Banach spaces of countable type of AUD for \(\mathcal U_{FAN} \) are \(\varepsilon\)-isometric for sufficiently small \(\varepsilon>0\). They are all isometrically isomorphic if and only if the field \(\mathbb{K}\) is spherically complete and \(|\mathbb{K}^*|=(0,\infty).\) The spaces of UD for \(\mathcal U_{FAN} \) are studied in Section 4. The authors show that they can be embedded in a space of type \(c_0(I)\) and that there exist non-isometrically isomorphic NA Banach spaces of UD for \(\mathcal U_{FAN} \).