No label defined (Q3983153)

The Bochner problem is investigated for the category of locally convex Hausdorff spaces over a local field. The main result is a \(p\)-adic version of Minlos' theorem for the category of locally convex nuclear metric spaces over \(\mathbb{R}\). Let \(G\) be a topological abelian group and \(\hat G\) denotes its dual. \({\mathcal R}(G)\) is the set of Radon measures on \(G\). For each \(\mu\in {\mathcal R}(G)\) a function \(\hat\mu\) is defined on \(\hat G\) by the formula \(\hat\mu(g^*)=\int_ G g^*(g)\mu(dg),\;g^*\in \hat G\). An inversion formula \(\check\mu\) of \(\mu\in {\mathcal R}(\hat G)\) is defined on \(G\) by \[ \check\mu(g)=\int_{\hat G}g^*(g)\mu(dg^*),\;g\in G. \] We set \(\hat{\mathcal R}(G)=\{\hat\mu:\mu\in{\mathcal R}(G)\}\) and \(\check {\mathcal R}(G)=\{\check \mu\in {\mathcal R}(\hat G)\}\). We denote by \(PC(G)\) the set of all positive- definite and continuous functions on \(G\). The main result is the following Theorem: Let \(V\) be a locally convex Hausdorff space over a local field \(F\). Then \(PC(V)=\check {\mathcal R}\{(V^*,\sigma_ F(V^*,V))\}\) where the topology \(\sigma_ F(V^*,V)\) is the weak-star topology on the dual space \(V^*\) of \(V\). An immediate consequence of this theorem is the following Corollary: Let \(B\) be a \(p\)-adic Banach space over a local field \(F\). Then \(PC\{(B^*,n_ F(B^*,B))\}=\hat {\mathcal R}(B)\) where the topology \(n_ F(B^*,B)\) is the nuclear (normal) topology on the dual space \(B^*\) of \(B\).