Generalized open mapping theorem for \(X\)-normed spaces (Q2281428)

The paper is concerned with \(X\)-scaled normed spaces, an extension of non-Archimedean (nA) normed spaces proposed by \textit{H. Ochsenius} and \textit{W. H. Schikhof} [Lect. Notes Pure Appl. Math. 207, 233--293 (1999; Zbl 0938.46056)]. Let \((X,\le)\) be a totally ordered set with an ideal element 0 satisfying \(0 < x\) for all \(x\in X\). An \(X\)-scale on a set \(M\) is a mapping \(d:M\times M\to X\) satisfying the axioms of an ultrametric with respect to the order in \(X\). The triple \((M,X,d)\) is called an \(X\)-scaled space. If \(G\) is a totally ordered abelian group (with \(0 < g\), \(g\in G\)) and \(K\) a field, then a Krull-valuation is a mapping \(|\cdot|:K\to G\cup\{0\}\) satisfying the usual axioms of an nA valuation within this context. An important case is that of Krull-valued Hahn fields \(K((G))\subset K^G.\) One defines a \(G\)-action as a mapping \((g,x)\mapsto gx\) from \(G\times X\) to \(X\) satisfying some appropriate axioms that makes \(X\) a \(G\)-module. Finally, an \(X\)-norm on a vector space \(E\) over a field \((K,|\cdot|)\) is a mapping \(\|\cdot\|:E\to X\) satisfying formally the axioms of an nA-norm. The author shows that the boundedness of linear operators between two \(X\)-normed spaces is related to the Dedekind completeness of \(G\), and proves the spherical completeness of a quotient space of a spherically complete \(X\)-normed space. The final subsection 5.7 contains a generalized Baire category theorem with application to an open mapping theorem for this new context.