On the weighted function space \(CV_0 (X,E)\) in the non-Archimedean setting (Q441379): Difference between revisions

The present paper is a continuation of some previous ones of the first author related to \(p\)-adic weigthed spaces of continuous functions. Let \(X\) be a zero-dimensional Hausdorff topological space and \(V\) a Nachbin family on \(X\). For a Hausdorff locally convex space \(E\) over a complete non-archimedean non-trivially valued field \(K\), consider the following weighted space of continuous functions: The \(K\)-vector space \(CV_0(X,E)\) of all continuous functions \(f: X \rightarrow E\) for which, for each \(v \in V\), \(\varepsilon >0\) and each continuous seminorm \(p\) on \(E\), there exists a compact subset \(Y\) of \(X\) such that \(v(x) p(f(x)) < \varepsilon\) for all \(x \in X \setminus Y\). We equip \(CV_0(X,E)\) with the Nachbin locally convex topology induced by \(V\). The authors prove that the dual space of \(CV_0(X,E)\) is algebraically isomorphic to a certain space of finitely additive \(E'\)-valued measures on the ring \({\mathcal R}\) formed by the clopen subsets of \(X\) whose associated characteristic function is in \(CV_0(X,K)\). They also show that if \(F\) is another Hausdorff locally space over \(K\), then the space of continuous linear operators \(CV_0(X,E) \rightarrow F\) is represented by certain finitely additive \(L(E,F)\)-valued measures on the ring \({\mathcal R}\).